Hoogle Search

Within LTS Haskell 24.57 (ghc-9.10.3)

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

Exact lookup

1. primMaybe :: (HasBuiltins m, MonadError TCErr m, MonadTCEnv m, ReadTCState m) => m Term

   Agda	Agda.TypeChecking.Monad.Builtin

   No documentation available.

2. tMaybe :: TCM Term -> TCM Term

   Agda	Agda.TypeChecking.Primitive.Base

   No documentation available.

3. blockedFromMaybe :: Maybe NotBlocked -> Blocked_

   Agda	Agda.TypeChecking.Serialise.Instances.Internal

   No documentation available.

4. blockedToMaybe :: Blocked_ -> Maybe NotBlocked

   Agda	Agda.TypeChecking.Serialise.Instances.Internal

   No documentation available.

5. initMaybe :: [a] -> Maybe [a]

   Agda	Agda.Utils.List

   init, safe. O(n).

6. lastMaybe :: [a] -> Maybe a

   Agda	Agda.Utils.List

   Last element (safe). O(n).

7. mapMaybeAndRest :: (a -> Maybe b) -> [a] -> ([b], Suffix a)

   Agda	Agda.Utils.List

   Like mapMaybe, but additionally return the last partition of the list where the function always returns Nothing. O(n).

8. partitionMaybe :: (a -> Maybe b) -> [a] -> ([a], [b])

   Agda	Agda.Utils.List

   Partition a list into Nothings and Justs. O(n).

   partitionMaybe f = partitionEithers . map ( a -> maybe (Left a) Right (f a))
   

   Note: mapMaybe f = snd . partitionMaybe f.

9. tailMaybe :: [a] -> Maybe [a]

   Agda	Agda.Utils.List

   Tail function (safe). O(1).

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

    Agda	Agda.Utils.List1

    Like catMaybes.

Page 263 of many | Previous | Next