andM is:exact

andM :: Monad m => m Bool -> m Bool -> m Bool
directory System.Directory.Internal
andM :: Monad m => [m Bool] -> m Bool
extra Control.Monad.Extra Extra, verset Verset, distribution-opensuse OpenSuse.Prelude
A version of and lifted to a monad. Retains the short-circuiting behaviour. 
andM [Just True,Just False,undefined] == Just False
andM [Just True,Just True ,undefined] == undefined
\xs -> Just (and xs) == andM (map Just xs)
andM :: (Foldable f, Monad m) => f (m Bool) -> m Bool
extra Data.Foldable.Extra
A generalization of andM to Foldable instances. Retains the short-circuiting behaviour.
andM :: Monad m => [m Bool] -> m Bool
monad-loops Control.Monad.Loops
short-circuit and for values of type Monad m => m Bool
andM :: (Foldable f, Monad m) => f (m Bool) -> m Bool
relude Relude.Foldable.Fold
Monadic version of and. 
>>> andM [Just True, Just False]
Just False

>>> andM [Just True]
Just True

>>> andM [Just True, Just False, Nothing]
Just False

>>> andM [Just True, Nothing]
Nothing

>>> andM [putTextLn "1" >> pure True, putTextLn "2" >> pure False, putTextLn "3" >> pure True]
1
2
False
andM :: Monad m => [m Bool] -> m Bool
tasty-silver Test.Tasty.Silver.Internal
Short-cutting version of and . sequence.
andM :: (Foldable f, Monad m) => f (m Bool) -> m Bool
Agda Agda.Utils.Monad