Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
module Algebra.Monad
Kleisli | |
|
Monad m => Split (Kleisli m) | |
Monad m => Choice (Kleisli m) | |
Monad m => Category (Kleisli m) | |
Monad m => Deductive (Kleisli m) | |
Monad m => Apply (Kleisli m) | |
Monad m => Arrow (Kleisli m) | |
Functor f => Functor (Kleisli f a) | |
Contravariant f => Contravariant (Kleisli f a) | |
Isomorphic (a -> m b) (c -> m' d) (Kleisli m a b) (Kleisli m' c d) |