category-extras-0.53.1: Various modules and constructs inspired by category theory

Control.Monad.Categorical

Documentation

class CFunctor m c d => CPointed m c d whereSource

Methods

creturn :: d a (m a)Source

class CPointed m ~> ~> => CMonad m (~>) whereSource

Methods

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

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