category-extras-0.52.0: Various modules and constructs inspired by category theory Source code Contents Index

Control.Monad.Categorical

Documentation

class CFunctor m c d => CPointed m c d where Source

Methods creturn :: d a (m a) Source

class CPointed m ~> ~> => CMonad m (~>) where Source

Methods cbind :: (a ~> m b) -> m a ~> m b Source cjoin :: m (m a) ~> m a Source

Produced by Haddock version 2.3.0