Portability | non-portable (functional-dependencies) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
A more categorical definition of Functor than endofunctors in the category Hask
Documentation
class (Category r, Category s) => CFunctor f r s | f r -> s, f s -> r whereSource
CFunctor [] Hask Hask | |
CFunctor IO Hask Hask | |
CFunctor Maybe Hask Hask | |
CFunctor Identity Hask Hask | |
CFunctor (Either a) Hask Hask | |
CFunctor ((,) e) Hask Hask | |
CFunctor (Cont e) Hask Hask | |
CFunctor (Writer e) Hask Hask | |
CFunctor (Writer e) Hask Hask | |
CFunctor (State s) Hask Hask | |
CFunctor (State s) Hask Hask | |
Monad m => CFunctor (ListT m) Hask Hask | |
CFunctor (Reader e) Hask Hask | |
Monad m => CFunctor (ContT r m) Hask Hask | |
Monad m => CFunctor (WriterT w m) Hask Hask | |
Monad m => CFunctor (WriterT e m) Hask Hask | |
Monad m => CFunctor (StateT s m) Hask Hask | |
Monad m => CFunctor (StateT e m) Hask Hask | |
Monad m => CFunctor (ReaderT e m) Hask Hask | |
CFunctor (RWS r w s) Hask Hask | |
CFunctor (RWS r w s) Hask Hask | |
Monad m => CFunctor (RWST r w s m) Hask Hask | |
Monad m => CFunctor (RWST r w s m) Hask Hask |
class CFunctor w ~> ~> => CCopointed w (~>) whereSource
class CFunctor w ~> ~> => CExtend w (~>) whereSource
cduplicate :: w a ~> w (w a)Source
class (CFunctor f ~> ~>, CFunctor g ~> ~>) => CDistributes f g (~>) whereSource
class (CCopointed m ~>, CExtend m ~>) => CComonad m (~>) Source
(CCopointed m ~>, CExtend m ~>) => CComonad m ~> |