The ArrowKleisli
typeclass allows for embedding monadic function in Kleisli
arrows.
Documentation
class (Monad m, Arrow ~>) => ArrowKleisli m (~>) | ~> -> m whereSource
Monad m => ArrowKleisli m (Kleisli m) | |
Monad m => ArrowKleisli m (ListTArrow m) |