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 PathView

   Agda	Agda.Syntax.Internal

   View type as path type.

2. type Pattern = Pattern' PatVarName

   Agda	Agda.Syntax.Internal

   No documentation available.

3. data Pattern' x

   Agda	Agda.Syntax.Internal

   Patterns are variables, constructors, or wildcards. QName is used in ConP rather than Name since a constructor might come from a particular namespace. This also meshes well with the fact that values (i.e. the arguments we are matching with) use QName.

4. data PatternInfo

   Agda	Agda.Syntax.Internal

   No documentation available.

5. PatternInfo :: PatOrigin -> [Name] -> PatternInfo

   Agda	Agda.Syntax.Internal

   No documentation available.

6. type PatternSubstitution = Substitution' DeBruijnPattern

   Agda	Agda.Syntax.Internal

   No documentation available.

7. type family PatternVarOut a

   Agda	Agda.Syntax.Internal

   No documentation available.

8. class PatternVars a

   Agda	Agda.Syntax.Internal

   Extract pattern variables in left-to-right order. A DotP is also treated as variable (see docu for Clause).

9. Pi :: Dom Type -> Abs Type -> Term

   Agda	Agda.Syntax.Internal

   dependent or non-dependent function space

10. PiSort :: Dom' t t -> Sort' t -> Abs (Sort' t) -> Sort' t

    Agda	Agda.Syntax.Internal

    Sort of the pi type.

Page 1127 of many | Previous | Next