Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

Exact lookup

1. firstBin :: (r -> Maybe t) -> Bin r -> Maybe t

   test-fun	Test.Fun.Internal.Shrink

   No documentation available.

2. firstBranches :: forall x r t . (r -> Maybe t) -> Branches x r -> Maybe t

   test-fun	Test.Fun.Internal.Shrink

   No documentation available.

3. firstField :: forall x r t . (r -> Maybe t) -> Fields x r -> Maybe t

   test-fun	Test.Fun.Internal.Shrink

   No documentation available.

4. firstFun :: forall a r t . (r -> Maybe t) -> (a :-> r) -> Maybe t

   test-fun	Test.Fun.Internal.Shrink

   No documentation available.

5. firstExtensionError :: ErrorCode

   xmonad	XMonad

   No documentation available.

6. firstOr :: a -> [a] -> a

   Agda	Agda.Mimer.Options

   No documentation available.

7. firstNonTakenName :: FreshNameMode -> (Name -> Bool) -> Name -> Name

   Agda	Agda.Syntax.Concrete.Name

   Get the first version of the concrete name that does not satisfy the given predicate.

8. firstMeta :: AllMetas a => a -> Maybe MetaId

   Agda	Agda.Syntax.Internal.MetaVars

   Returns the first meta it find in the thing, if any. firstMeta == listToMaybe . allMetasList.

9. firstPart :: SplitTel -> Telescope

   Agda	Agda.TypeChecking.Telescope

   No documentation available.

10. firstHole :: Zipper z => Carrier z -> Maybe (Element z, z)

    Agda	Agda.Utils.Zipper

    No documentation available.

Page 27 of many | Previous | Next