Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. data PrintAgdaVersion

   Agda	Agda.Interaction.Options

   Options --version and --numeric-version (last wins).

2. PrintAgdaVersion :: PrintAgdaVersion

   Agda	Agda.Interaction.Options

   Print Agda version information.

3. data PrintAgdaVersion

   Agda	Agda.Interaction.Options

   Options --version and --numeric-version (last wins).

4. PrintAgdaVersion :: PrintAgdaVersion

   Agda	Agda.Interaction.Options

   Print Agda version information.

5. PatLamWithoutClauses_ :: UnquoteError_

   Agda	Agda.Interaction.Options.Errors

   No documentation available.

6. PathAbstractionFailed_ :: ErrorName

   Agda	Agda.Interaction.Options.Errors

   No documentation available.

7. PatternInPathLambda_ :: ErrorName

   Agda	Agda.Interaction.Options.Errors

   No documentation available.

8. PatternInSystem_ :: ErrorName

   Agda	Agda.Interaction.Options.Errors

   No documentation available.

9. PatternLambdas :: NotAllowedInDotPatterns

   Agda	Agda.Interaction.Options.Errors

   No documentation available.

10. PatternSynonymArgumentShadows_ :: ConstructorOrPatternSynonym -> ErrorName

    Agda	Agda.Interaction.Options.Errors

    No documentation available.

Page 1102 of many | Previous | Next