Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. varNumber :: BoundVariablePosition -> !Int

   Agda	Agda.Syntax.Common

   The position in the list of variables for this particular variable, counting from zero, and including wildcards. For instance, for syntax F (λ x _ y → A) = y ! A ! x the number for x is 0, the number for _ is 1, and the number for y is 2.

2. hlNumber :: Doc -> Doc

   Agda	Agda.Syntax.Common.Pretty

   No documentation available.

3. type DeclNum = Int

   Agda	Agda.Syntax.Concrete.Definitions.Types

   Numbering declarations in an interleaved mutual block.

4. interleavedDeclNum :: InterleavedDecl -> DeclNum

   Agda	Agda.Syntax.Concrete.Definitions.Types

   Internal number of the data signature.

5. interleavedDeclNum :: InterleavedDecl -> DeclNum

   Agda	Agda.Syntax.Concrete.Definitions.Types

   Internal number of the data signature.

6. metaNumber :: MetaInfo -> Maybe MetaId

   Agda	Agda.Syntax.Info

   No documentation available.

7. unnumberPatVars :: LabelPatVars a b => b -> a

   Agda	Agda.Syntax.Internal.Pattern

   No documentation available.

8. getNumberOfParameters :: HasConstInfo m => QName -> m (Maybe Nat)

   Agda	Agda.TypeChecking.Datatypes

   No documentation available.

9. WrongNumberOfConstructorArguments :: QName -> Nat -> Nat -> TypeError

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

10. showNum :: Int -> String

    BNFC	BNFC.Backend.Common.NamedVariables

    No documentation available.

Page 437 of many | Previous | Next