-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Utility functions that are missing from the standard library
--   
--   Utility functions that are missing from the standard library
@package UtilityTM
@version 0.0.2


-- | Monadic combinators missing from the standard library
module Control.Monad.TM

-- | Lifting bind into a monad. Often denoted <i>concatMapM</i>.
(.=<<.) :: (Monad q, Monad m, Traversable m) => (a -> q (m b)) -> m a -> q (m b)

-- | Lifting bind into a monad. Often denoted <i>concatMapM</i>.
(.>>=.) :: (Monad q, Monad m, Traversable m) => m a -> (a -> q (m b)) -> q (m b)

-- | Existential quantification.
anyM :: Monad m => (a -> m Bool) -> [a] -> m Bool

-- | Universal quantification.
allM :: Monad m => (a -> m Bool) -> [a] -> m Bool