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

class CFunctor m ~> ~> => CPointed m (~>) where

Methods

creturn :: a ~> m a

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

Methods

cextract :: w a ~> a

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

Methods

cjoin :: m (m a) ~> m a

cbind :: (a ~> m b) -> m a ~> m b

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

Methods

cduplicate :: w a ~> w (w a)

cextend :: (w a ~> b) -> w a ~> w b

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

Methods

cdist :: f (g a) ~> g (f a)

class (CPointed m ~>, CBind m ~>) => CMonad m (~>)

Instances

(CPointed m ~>, CBind m ~>) => CMonad m ~>

class (CCopointed m ~>, CExtend m ~>) => CComonad m (~>)

Instances

(CCopointed m ~>, CExtend m ~>) => CComonad m ~>