Control.Arrow.ArrowKleisli

The ArrowKleisli typeclass allows for embedding monadic function in Kleisli arrows.

Documentation

class (Monad m, Arrow ~>) => ArrowKleisli m (~>) where

Methods

arrM :: (a -> m b) -> a ~> b

Instances

Monad m => ArrowKleisli m (Kleisli m)

Monad m => ArrowKleisli m (ListTArrow m)