Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

Exact lookup

1. unblockOnAny :: Set Blocker -> Blocker

   Agda	Agda.Syntax.Internal.Blockers

   No documentation available.

2. unblockOnAnyMeta :: Set MetaId -> Blocker

   Agda	Agda.Syntax.Internal.Blockers

   No documentation available.

3. unblockOnAnyMetaIn :: AllMetas t => t -> Blocker

   Agda	Agda.Syntax.Internal.MetaVars

   A blocker that unblocks if any of the metas in a term are solved.

4. AmbiguousAnything :: AllowAmbiguousNames

   Agda	Agda.Syntax.Scope.Base

   Used for instance arguments to check whether a name is in scope, but we do not care whether is is ambiguous

5. mergeNamesMany :: Eq a => [ThingsInScope a] -> ThingsInScope a

   Agda	Agda.Syntax.Scope.Base

   No documentation available.

6. TooManyArgumentsToSort :: QName -> List1 (NamedArg Expr) -> Warning

   Agda	Agda.TypeChecking.Monad.Base

   Extra arguments to sort (will be ignored).

7. TooManyFields :: QName -> [Name] -> List1 Name -> TypeError

   Agda	Agda.TypeChecking.Monad.Base

   Record type, fields not supplied by user, possibly non-fields but supplied.

8. TooManyParameters :: Nat -> Expr -> UnquoteError

   Agda	Agda.TypeChecking.Monad.Base

   Attempt to shave of Nat many parameters from function type Expr.

9. TooManyPatternsInWithClause :: TypeError

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

10. TooManyPolarities :: QName -> PragmaPolarities -> Warning

    Agda	Agda.TypeChecking.Monad.Base

    Too many polarities given in POLARITY pragma for QName. PragmaPolarities contains the (likely) excessive polarities.

Page 213 of many | Previous | Next