Control.Arrow.ArrowKleisli

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

Documentation

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

Methods

arrM :: (a -> m b) -> a `ar` b

Instances

(Arrow (Kleisli m), Monad m) => ArrowKleisli m (Kleisli m)

(Arrow (ListTArrow m), Monad m) => ArrowKleisli m (ListTArrow m)

(Arrow (SeqTArrow m), Monad m) => ArrowKleisli m (SeqTArrow m)

constM :: ArrowKleisli m ar => m b -> a `ar` b

effect :: ArrowKleisli m ar => m () -> a `ar` a

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