Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. catMaybesMP :: MonadPlus m => m (Maybe a) -> m a

   Agda	Agda.Utils.Monad

   Generalises the catMaybes function from lists to an arbitrary MonadPlus.

2. forMaybeM :: Monad m => [a] -> (a -> m (Maybe b)) -> m [b]

   Agda	Agda.Utils.Monad

   The for version of mapMaybeM.

3. forMaybeMM :: Monad m => m [a] -> (a -> m (Maybe b)) -> m [b]

   Agda	Agda.Utils.Monad

   The for version of mapMaybeMM.

4. fromMaybeMP :: MonadPlus m => Maybe a -> m a

   Agda	Agda.Utils.Monad

   Translates Maybe to MonadPlus.

5. mapMaybeM :: Monad m => (a -> m (Maybe b)) -> [a] -> m [b]

   Agda	Agda.Utils.Monad

   A monadic version of mapMaybe :: (a -> Maybe b) -> [a] -> [b].

6. mapMaybeMM :: Monad m => (a -> m (Maybe b)) -> m [a] -> m [b]

   Agda	Agda.Utils.Monad

   A version of mapMaybeM with a computation for the input list.

7. tryMaybe :: (MonadError e m, Functor m) => m a -> m (Maybe a)

   Agda	Agda.Utils.Monad

   Try a computation, return Nothing if an Error occurs.

8. class (Null coll, Singleton el coll) => CMaybe el coll | coll -> el

   Agda	Agda.Utils.Singleton

   Create-only collection with at most one element.

9. cMaybe :: CMaybe el coll => Maybe el -> coll

   Agda	Agda.Utils.Singleton

   No documentation available.

10. caseMaybe :: Maybe a -> b -> (a -> b) -> b

    BNFC	BNFC.Utils

    Rotation of maybe.

Page 266 of many | Previous | Next