Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. firstQuery :: MVar (SInteger, SInteger) -> MVar (SInteger, SInteger) -> Query (Maybe Integer)

   sbv	Documentation.SBV.Examples.Queries.Concurrency

   In our first query we will make a constrain, solve the constraint and return the values for our variables, then we'll mutate the MVar sending information to the second query. Note that you could use channels, or TVars, or TMVars, whatever you need here, we just use MVars for demonstration purposes. Also note that this effectively creates an ordering between the children queries

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

   test-fun	Test.Fun.Internal.Shrink

   No documentation available.

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

   test-fun	Test.Fun.Internal.Shrink

   No documentation available.

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

   test-fun	Test.Fun.Internal.Shrink

   No documentation available.

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

   test-fun	Test.Fun.Internal.Shrink

   No documentation available.

6. firstExtensionError :: ErrorCode

   xmonad	XMonad

   No documentation available.

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

   Agda	Agda.Mimer.Options

   No documentation available.

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

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

10. firstPart :: SplitTel -> Telescope

    Agda	Agda.TypeChecking.Telescope

    No documentation available.

Page 28 of many | Previous | Next