Control.Monad.TM
Description
Monadic combinators missing from the standard library
- (.>>=.) :: (Monad q, Monad m, Traversable m) => (a -> q (m b)) -> m a -> q (m b)
- (.=<<.) :: (Monad q, Monad m, Traversable m) => m a -> (a -> q (m b)) -> q (m b)
Documentation
(.>>=.) :: (Monad q, Monad m, Traversable m) => (a -> q (m b)) -> m a -> q (m b)Source
Lifting bind into a monad. Often denoted concatMapM.
(.=<<.) :: (Monad q, Monad m, Traversable m) => m a -> (a -> q (m b)) -> q (m b)Source
Lifting bind into a monad. Often denoted concatMapM.