Safe Haskell | Safe |
---|---|
Language | Haskell98 |
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
Instances
Monad m => ArrowKleisli m (Kleisli m) # | |
Monad m => ArrowKleisli m (ListTArrow m) # | |
Monad m => ArrowKleisli m (SeqTArrow m) # | |
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 #