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. PragmaCompileUnparsable_ :: WarningName

   Agda	Agda.Interaction.Options.Warnings

   No documentation available.

2. PragmaCompileWrongName_ :: WarningName

   Agda	Agda.Interaction.Options.Warnings

   No documentation available.

3. PragmaCompileWrong_ :: WarningName

   Agda	Agda.Interaction.Options.Warnings

   No documentation available.

4. PragmaCompiled_ :: WarningName

   Agda	Agda.Interaction.Options.Warnings

   No documentation available.

5. PragmaExpectsDefinedSymbol_ :: WarningName

   Agda	Agda.Interaction.Options.Warnings

   No documentation available.

6. PragmaExpectsUnambiguousConstructorOrFunction_ :: WarningName

   Agda	Agda.Interaction.Options.Warnings

   No documentation available.

7. PragmaExpectsUnambiguousProjectionOrFunction_ :: WarningName

   Agda	Agda.Interaction.Options.Warnings

   No documentation available.

8. PragmaNoTerminationCheck_ :: WarningName

   Agda	Agda.Interaction.Options.Warnings

   No documentation available.

9. type Pattern = Pattern' Expr

   Agda	Agda.Syntax.Abstract

   No documentation available.

10. data Pattern' e

    Agda	Agda.Syntax.Abstract

    Parameterised over the type of dot patterns.

Page 1104 of many | Previous | Next