category-extras-0.53.4: Various modules and constructs inspired by category theory Source code Contents Index

Control.Functor.Categorical Portability non-portable (functional-dependencies) Stability experimental Maintainer Edward 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 where Source

Methods cmap :: r a b -> s (f a) (f b) Source 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 (~>) where Source

Methods creturn :: a ~> m a Source

class CFunctor w ~> ~> => CCopointed w (~>) where Source

Methods cextract :: w a ~> a Source

class CFunctor m ~> ~> => CBind m (~>) where Source

Methods cjoin :: m (m a) ~> m a Source cbind :: (a ~> m b) -> m a ~> m b Source

class CFunctor w ~> ~> => CExtend w (~>) where Source

Methods cduplicate :: w a ~> w (w a) Source cextend :: (w a ~> b) -> w a ~> w b Source

class (CFunctor f ~> ~>, CFunctor g ~> ~>) => CDistributes f g (~>) where Source

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.3.0