category-extras-0.53.6: Various modules and constructs inspired by category theory
Contents
Index
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