category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Monad.Categorical
Documentation
class (CPointed m ~>, CBind m ~>) => CMonad m (~>) Source
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
Methods
creturn :: a ~> m aSource
Produced by Haddock version 2.4.2