category-extras-0.53.6: Various modules and constructs inspired by category theoryContentsIndex
Control.Monad.Categorical
Documentation
class (CPointed m ~>, CBind m ~>) => CMonad m (~>)
class CFunctor m ~> ~> => CBind m (~>) where
Methods
cjoin :: m (m a) ~> m a
cbind :: (a ~> m b) -> (m a ~> m b)
class CFunctor m ~> ~> => CPointed m (~>) where
Methods
creturn :: a ~> m a
Produced by Haddock version 2.1.0