Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

Exact lookup

1. catMaybes :: List1 (Maybe a) -> [a]

   Agda	Agda.Utils.List1

   Like catMaybes.

2. mapMaybe :: (a -> Maybe b) -> List1 a -> [b]

   Agda	Agda.Utils.List1

   Like mapMaybe.

3. fromList1Maybe :: List1 a -> Maybe (List2 a)

   Agda	Agda.Utils.List2

   Safe. O(1).

4. fromListMaybe :: [a] -> Maybe (List2 a)

   Agda	Agda.Utils.List2

   Safe. O(1).

5. boolToMaybe :: Bool -> a -> Maybe a

   Agda	Agda.Utils.Maybe

   Retain object when tag is True.

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

   Agda	Agda.Utils.Maybe

   Version of maybe with different argument ordering. Often, we want to case on a Maybe, do something interesting in the Just case, but only a default action in the Nothing case. Then, the argument ordering of caseMaybe is preferable.

   caseMaybe m d f = flip (maybe d) m f
   

7. caseMaybeM :: Monad m => m (Maybe a) -> m b -> (a -> m b) -> m b

   Agda	Agda.Utils.Maybe

   Monadic version of caseMaybe. That is, maybeM with a different argument ordering.

8. filterMaybe :: (a -> Bool) -> a -> Maybe a

   Agda	Agda.Utils.Maybe

   Filtering a singleton list.

   filterMaybe p a = listToMaybe (filter p [a])
   

9. forMaybe :: [a] -> (a -> Maybe b) -> [b]

   Agda	Agda.Utils.Maybe

   Version of mapMaybe with different argument ordering.

10. fromMaybeM :: Monad m => m a -> m (Maybe a) -> m a

    Agda	Agda.Utils.Maybe

    Monadic version of fromMaybe.

Page 259 of many | Previous | Next