category-extras-0.53.0: 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

Produced by Haddock version 2.3.0