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. PatOLit :: PatOrigin

   Agda	Agda.Syntax.Internal

   User wrote a literal pattern

2. PatORec :: PatOrigin

   Agda	Agda.Syntax.Internal

   User wrote a record pattern

3. PatOSplit :: PatOrigin

   Agda	Agda.Syntax.Internal

   Pattern generated by case split

4. PatOSplitArg :: ArgName -> PatOrigin

   Agda	Agda.Syntax.Internal

   Argument to pattern generated by case split

5. PatOSystem :: PatOrigin

   Agda	Agda.Syntax.Internal

   Pattern inserted by the system

6. PatOVar :: Name -> PatOrigin

   Agda	Agda.Syntax.Internal

   User wrote a variable pattern

7. PatOWild :: PatOrigin

   Agda	Agda.Syntax.Internal

   User wrote a wildcard pattern

8. data PatOrigin

   Agda	Agda.Syntax.Internal

   Origin of the pattern: what did the user write in this position?

9. type PatVarName = ArgName

   Agda	Agda.Syntax.Internal

   Pattern variables.

10. PathType :: Sort -> QName -> Arg Term -> Arg Term -> Arg Term -> Arg Term -> PathView

    Agda	Agda.Syntax.Internal

    No documentation available.

Page 1126 of many | Previous | Next