category-extras-0.52.0: Various modules and constructs inspired by category theory
Control.Monad.Categorical
class CFunctor m c d => CPointed m c d whereSource
Methods
creturn :: d a (m a)Source
class CPointed m ~> ~> => CMonad m (~>) whereSource
cbind :: (a ~> m b) -> m a ~> m bSource
cjoin :: m (m a) ~> m aSource