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. ANum :: f n -> ANum (f :: Type -> Type) n

   ANum	Data.ANum

   No documentation available.

2. unANum :: ANum (f :: Type -> Type) n -> f n

   ANum	Data.ANum

   No documentation available.

3. lineNumPos :: LibPositionInfo -> LineNumber

   Agda	Agda.Interaction.Library

   Line number in libraries file.

4. type LineNumber = Int

   Agda	Agda.Interaction.Library.Base

   No documentation available.

5. hasLineNumber :: LibParseError -> Maybe LineNumber

   Agda	Agda.Interaction.Library.Base

   Does a parse error contain a line number?

6. lineNumPos :: LibPositionInfo -> LineNumber

   Agda	Agda.Interaction.Library.Base

   Line number in libraries file.

7. PrintAgdaNumericVersion :: PrintAgdaVersion

   Agda	Agda.Interaction.Options

   Print Agda version number.

8. PrintAgdaNumericVersion :: PrintAgdaVersion

   Agda	Agda.Interaction.Options

   Print Agda version number.

9. WrongNumberOfConstructorArguments_ :: ErrorName

   Agda	Agda.Interaction.Options.Errors

   No documentation available.

10. holeNumber :: BoundVariablePosition -> !Int

    Agda	Agda.Syntax.Common

    The position (in the left-hand side of the syntax declaration) of the hole in which the variable is bound, counting from zero (and excluding parts that are not holes). For instance, for syntax Σ A (λ x → B) = B , A , x the number for x is 1, corresponding to B (0 would correspond to A).

Page 436 of many | Previous | Next