category-extras-0.53.5: Various modules and constructs inspired by category theory
Source code
Contents
Index
Control.Monad.Categorical
Documentation
class
(
CPointed
m ~>,
CBind
m ~>) =>
CMonad
m (~>)
Source
class
CFunctor
m ~> ~> =>
CBind
m (~>)
where
Source
Methods
cjoin
:: m (m a) ~> m a
Source
cbind
:: (a ~> m b) -> m a ~> m b
Source
class
CFunctor
m ~> ~> =>
CPointed
m (~>)
where
Source
Methods
creturn
:: a ~> m a
Source
Produced by
Haddock
version 2.4.2