Portability	non-portable (functional-dependencies)
Stability	experimental
Maintainer	Edward Kmett <[email protected]>

Control.Functor.Categorical

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

Instances

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