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.

Exact lookup

1. andM :: Monad m => [m Bool] -> m Bool

   verset	Verset

   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)
   

2. orM :: Monad m => [m Bool] -> m Bool

   verset	Verset

   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)
   

3. orM :: (Foldable f, Monad m) => f (m Bool) -> m Bool

   extra	Data.Foldable.Extra

   A generalization of orM to Foldable instances. Retains the short-circuiting behaviour.

4. 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.

5. 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
   

6. orM :: (Foldable f, Monad m) => f (m Bool) -> m Bool

   relude	Relude.Foldable.Fold

   Monadic version of or.

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

7. andM :: (Foldable f, Monad m) => f (m Bool) -> m Bool

   Agda	Agda.Utils.Monad

   No documentation available.

8. orM :: (Foldable f, Monad m) => f (m Bool) -> m Bool

   Agda	Agda.Utils.Monad

   No documentation available.

9. branch :: (MonadIO m, MonadBaseControl IO m) => [m a] -> m a

   fuzzcheck	Test.FuzzCheck

   No documentation available.

10. concat :: Vector v a => [v a] -> v a

    rio	RIO.Vector

    No documentation available.

Page 2 of many | Previous | Next