arrow-list-0.7: List arrows for Haskell.

Safe HaskellSafe
LanguageHaskell98

Control.Arrow.Kleisli.Class

Description

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

Documentation

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

Minimal complete definition

arrM

Methods

arrM :: (a -> m b) -> a `arr` b #

Instances

Monad m => ArrowKleisli m (Kleisli m) # 

Methods

arrM :: (a -> m b) -> Kleisli m a b #

Monad m => ArrowKleisli m (ListTArrow m) # 

Methods

arrM :: (a -> m b) -> ListTArrow m a b #

Monad m => ArrowKleisli m (SeqTArrow m) # 

Methods

arrM :: (a -> m b) -> SeqTArrow m a b #

constM :: ArrowKleisli m arr => m b -> a `arr` b #

effect :: ArrowKleisli m arr => m () -> a `arr` a #

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