Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

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

Exact lookup

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

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

   Agda	Agda.Syntax.Internal.Pattern

   No documentation available.

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

   Agda	Agda.Syntax.Internal.Pattern

   Augment pattern variables with their de Bruijn index.

4. 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)))

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

   Agda	Agda.Syntax.Internal.Pattern

   No documentation available.

6. setVarsToBind :: LocalVars -> ScopeInfo -> ScopeInfo

   Agda	Agda.Syntax.Scope.Base

   No documentation available.

7. getVarsToBind :: ScopeM LocalVars

   Agda	Agda.Syntax.Scope.Monad

   No documentation available.

8. intersectVars :: Elims -> Elims -> Maybe [Bool]

   Agda	Agda.TypeChecking.Conversion

   intersectVars us vs checks whether all relevant elements in us and vs are variables, and if yes, returns a prune list which says True for arguments which are different and can be pruned.

9. data SplitPatVar

   Agda	Agda.TypeChecking.Coverage.Match

   For each variable in the patterns of a split clause, we remember the de Bruijn-index and the literals excluded by previous matches.

10. SplitPatVar :: PatVarName -> Int -> [Literal] -> SplitPatVar

    Agda	Agda.TypeChecking.Coverage.Match

    No documentation available.

Page 53 of many | Previous | Next