Control.Functor.Categorical

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

Methods

cmap :: r a b -> s (f a) (f b)

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