Safe Haskell | Safe-Inferred |
---|
The ArrowKleisli
type class allows for embedding monadic operations in
Kleisli arrows.
Documentation
class (Monad m, Arrow ar) => ArrowKleisli m ar | ar -> m whereSource
(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` bSource
effect :: ArrowKleisli m ar => m () -> a `ar` aSource
arrIO :: (MonadIO m, ArrowKleisli m ar) => (a -> IO b) -> a `ar` bSource