Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

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

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

   Agda	Agda.Syntax.Scope.Base

   No documentation available.

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

   Agda	Agda.TypeChecking.Monad.Base

   Extra arguments to sort (will be ignored).

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

   Agda	Agda.TypeChecking.Monad.Base

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

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

   Agda	Agda.TypeChecking.Monad.Base

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

6. TooManyPatternsInWithClause :: TypeError

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

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

   Agda	Agda.TypeChecking.Monad.Base

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

8. TooManyFields :: QName -> [Name] -> List1 (Name, Range) -> RecordFieldWarning

   Agda	Agda.TypeChecking.Monad.Base.Warning

   Record type, fields not supplied by user, non-fields but supplied. The redundant fields come with a range of associated dead code.

9. primAgdaBlockerAny :: (HasBuiltins m, MonadError TCErr m, MonadTCEnv m, ReadTCState m) => m Term

   Agda	Agda.TypeChecking.Monad.Builtin

   No documentation available.

10. prettyTooManyFields :: MonadPretty m => QName -> [Name] -> List1 Name -> m Doc

    Agda	Agda.TypeChecking.Pretty.Warning

    No documentation available.

Page 212 of many | Previous | Next