Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | sjoerd@w3future.com |
This is an attempt at the Kleisli category, and the construction of an adjunction for each monad.
Documentation
data KleisliAdjF m Source
KleisliAdjF (Monad m) |
(Dom m ~ ~>, Cod m ~ ~>, Functor m) => Functor (KleisliAdjF m) |
data KleisliAdjG m Source
KleisliAdjG (Monad m) |
(Dom m ~ ~>, Cod m ~ ~>, Functor m) => Functor (KleisliAdjG m) |
kleisliAdj :: (Functor m, Dom m ~ ~>, Cod m ~ ~>) => Monad m -> Adjunction (Kleisli m) ~> (KleisliAdjF m) (KleisliAdjG m)Source