Control.Arrow.ArrowKleisli

The ArrowKleisli type class allows for embedding monadic operations in Kleisli arrows.

Documentation

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

Methods

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

Instances

Monad m => ArrowKleisli m (Kleisli m)

Monad m => ArrowKleisli m (ListTArrow m)

Monad m => ArrowKleisli m (SeqTArrow m)

constM :: ArrowKleisli m ~> => m b -> a ~> b

effect :: ArrowKleisli m ~> => m () -> a ~> a

arrIO :: (MonadIO m, ArrowKleisli m ~>) => (a -> IO b) -> a ~> b