Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

Exact lookup

1. BuiltinAgdaPatVar :: BuiltinId

   Agda	Agda.Syntax.Builtin

   No documentation available.

2. builtinAgdaPatVar :: BuiltinId

   Agda	Agda.Syntax.Builtin

   No documentation available.

3. data DBPatVar

   Agda	Agda.Syntax.Internal

   Type used when numbering pattern variables.

4. DBPatVar :: PatVarName -> Int -> DBPatVar

   Agda	Agda.Syntax.Internal

   No documentation available.

5. type PatVarName = ArgName

   Agda	Agda.Syntax.Internal

   Pattern variables.

6. dbPatVarIndex :: DBPatVar -> !Int

   Agda	Agda.Syntax.Internal

   No documentation available.

7. dbPatVarName :: DBPatVar -> PatVarName

   Agda	Agda.Syntax.Internal

   No documentation available.

8. nameToPatVarName :: Name -> PatVarName

   Agda	Agda.Syntax.Internal

   No documentation available.

9. patVarNameToString :: PatVarName -> String

   Agda	Agda.Syntax.Internal

   No documentation available.

10. class LabelPatVars a b

    Agda	Agda.Syntax.Internal.Pattern

    Label the pattern variables from left to right using one label for each variable pattern and one for each dot pattern.

Page 52 of many | Previous | Next