Control.Flower.Monad

Documentation

(<<$) :: (Foldable f, Monad m) => (a -> m b) -> f a -> m () infixl 4

A left-associative operator alias for mapM

>>> putStrLn <. show <<$ [1,2,3]
1
2
3

($>>) :: (Foldable f, Monad m) => f a -> (a -> m b) -> m () infixr 4

An operator alias for mapM

>>> [1,2,3] $>> show .> putStrLn
1
2
3

(=<<$) :: (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b) infixl 4

A left-associative operator alias for mapM

>>> (\x -> [x+1]) =<<$ [1,2,3]
[[2,3,4]]

($>>=) :: (Traversable t, Monad m) => t a -> (a -> m b) -> m (t b) infixr 4

An operator alias for mapM

>>> [1,2,3] $>>= \x -> [x+1]
[[2,3,4]]