UtilityTM-0.0.2: Utility functions that are missing from the standard library

Control.Monad.TM

Description

Monadic combinators missing from the standard library

Synopsis

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.

anyM :: Monad m => (a -> m Bool) -> [a] -> m BoolSource

Existential quantification.

allM :: Monad m => (a -> m Bool) -> [a] -> m BoolSource

Universal quantification.