Monadic combinators missing from the standard library

- (.=<<.) :: (Applicative q, Monad m, Traversable m) => (a -> q (m b)) -> m a -> q (m b)
- (.>>=.) :: (Applicative q, Monad m, Traversable m) => m a -> (a -> q (m b)) -> q (m b)
- anyM :: Monad m => (a -> m Bool) -> [a] -> m Bool
- allM :: Monad m => (a -> m Bool) -> [a] -> m Bool
- findM :: Monad m => (a -> m Bool) -> [a] -> m (Maybe a)

# Documentation

(.=<<.) :: (Applicative q, Monad m, Traversable m) => (a -> q (m b)) -> m a -> q (m b)Source

Lifting bind into a monad. Often denoted *concatMapM*.

(.>>=.) :: (Applicative q, Monad m, Traversable m) => m a -> (a -> q (m b)) -> q (m b)Source

Lifting bind into a monad. Often denoted *concatMapM*.