Hoogle Search
Within LTS Haskell 24.43 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
orM :: Monad m => [m Bool] -> m Boolextra Control.Monad.Extra A version of or lifted to a monad. Retains the short-circuiting behaviour.
orM [Just False,Just True ,undefined] == Just True orM [Just False,Just False,undefined] == undefined \xs -> Just (or xs) == orM (map Just xs)
andM :: Monad m => [m Bool] -> m Boolextra Control.Monad.Extra 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)
orM :: Monad m => [m Bool] -> m Boolextra Extra A version of or lifted to a monad. Retains the short-circuiting behaviour.
orM [Just False,Just True ,undefined] == Just True orM [Just False,Just False,undefined] == undefined \xs -> Just (or xs) == orM (map Just xs)
andM :: Monad m => [m Bool] -> m Boolextra Extra 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 :: Monad m => [m Bool] -> m Boolmonad-loops Control.Monad.Loops short-circuit and for values of type Monad m => m Bool
orM :: Monad m => [m Bool] -> m Boolmonad-loops Control.Monad.Loops short-circuit or for values of type Monad m => m Bool
andM :: Monad m => [m Bool] -> m Booltasty-silver Test.Tasty.Silver.Internal orM :: Monad m => [m Bool] -> m Booltasty-silver Test.Tasty.Silver.Internal andM :: Monad m => [m Bool] -> m Booldistribution-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)
orM :: Monad m => [m Bool] -> m Booldistribution-opensuse OpenSuse.Prelude A version of or lifted to a monad. Retains the short-circuiting behaviour.
orM [Just False,Just True ,undefined] == Just True orM [Just False,Just False,undefined] == undefined \xs -> Just (or xs) == orM (map Just xs)
Page 1 of many | Next