Hoogle Search

Within LTS Haskell 24.18 (ghc-9.10.3)

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

Exact lookup

1. dbPatVarIndex :: DBPatVar -> !Int

   Agda	Agda.Syntax.Internal

   No documentation available.

2. dbPatVarName :: DBPatVar -> PatVarName

   Agda	Agda.Syntax.Internal

   No documentation available.

3. nameToPatVarName :: Name -> PatVarName

   Agda	Agda.Syntax.Internal

   No documentation available.

4. patVarNameToString :: PatVarName -> String

   Agda	Agda.Syntax.Internal

   No documentation available.

5. 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.

6. labelPatVars :: LabelPatVars a b => a -> State [PatVarLabel b] b

   Agda	Agda.Syntax.Internal.Pattern

   No documentation available.

7. numberPatVars :: (LabelPatVars a b, PatVarLabel b ~ Int) => Int -> Permutation -> a -> b

   Agda	Agda.Syntax.Internal.Pattern

   Augment pattern variables with their de Bruijn index.

8. unlabelPatVars :: LabelPatVars a b => b -> a

   Agda	Agda.Syntax.Internal.Pattern

   Intended, but unpractical due to the absence of type-level lambda, is: labelPatVars :: f (Pattern' x) -> State [i] (f (Pattern' (i,x)))

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

   Agda	Agda.Syntax.Internal.Pattern

   No documentation available.

10. setVarsToBind :: LocalVars -> ScopeInfo -> ScopeInfo

    Agda	Agda.Syntax.Scope.Base

    No documentation available.

Page 52 of many | Previous | Next