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