category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Functor.Categorical
Portabilitynon-portable (functional-dependencies)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
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
Methods
cmap :: r a b -> s (f a) (f b)Source
show/hide Instances
CFunctor [] Hask Hask
CFunctor [] Hask Hask
CFunctor IO Hask Hask
CFunctor IO Hask Hask
CFunctor Maybe Hask Hask
CFunctor Maybe Hask Hask
CFunctor Identity Hask Hask
CFunctor Identity Hask Hask
CFunctor (Either a) Hask Hask
CFunctor (Either a) Hask Hask
CFunctor ((,) e) Hask Hask
CFunctor ((,) e) Hask Hask
CFunctor (Cont e) Hask Hask
CFunctor (Cont e) Hask Hask
CFunctor (Writer e) Hask Hask
CFunctor (Writer e) Hask Hask
CFunctor (Writer e) Hask Hask
CFunctor (Writer e) Hask Hask
CFunctor (State s) Hask Hask
CFunctor (State s) Hask Hask
CFunctor (State s) Hask Hask
CFunctor (State s) Hask Hask
CFunctor (Reader e) Hask Hask
CFunctor (Reader e) Hask Hask
Monad m => CFunctor (ListT m) Hask Hask
Monad m => CFunctor (ListT m) Hask Hask
Monad m => CFunctor (ContT r m) Hask Hask
Monad m => CFunctor (ContT r m) Hask Hask
Monad m => CFunctor (WriterT w m) Hask Hask
Monad m => CFunctor (WriterT w m) Hask Hask
Monad m => CFunctor (WriterT e m) Hask Hask
Monad m => CFunctor (WriterT e m) Hask Hask
Monad m => CFunctor (StateT s m) Hask Hask
Monad m => CFunctor (StateT s m) Hask Hask
Monad m => CFunctor (StateT e m) Hask Hask
Monad m => CFunctor (StateT e m) Hask Hask
Monad m => CFunctor (ReaderT 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
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
Monad m => CFunctor (RWST r w s m) Hask Hask
Monad m => CFunctor (RWST r w s m) Hask Hask
class CFunctor m ~> ~> => CPointed m (~>) whereSource
Methods
creturn :: a ~> m aSource
class CFunctor w ~> ~> => CCopointed w (~>) whereSource
Methods
cextract :: w a ~> aSource
class CFunctor m ~> ~> => CBind m (~>) whereSource
Methods
cjoin :: m (m a) ~> m aSource
cbind :: (a ~> m b) -> m a ~> m bSource
class CFunctor w ~> ~> => CExtend w (~>) whereSource
Methods
cduplicate :: w a ~> w (w a)Source
cextend :: (w a ~> b) -> w a ~> w bSource
class (CFunctor f ~> ~>, CFunctor g ~> ~>) => CDistributes f g (~>) whereSource
Methods
cdist :: f (g a) ~> g (f a)Source
class (CPointed m ~>, CBind m ~>) => CMonad m (~>) Source
class (CCopointed m ~>, CExtend m ~>) => CComonad m (~>) Source
Produced by Haddock version 2.4.2