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. PatternSyn :: AmbiguousQName -> Expr

   Agda	Agda.Syntax.Abstract

   Pattern synonym.

2. PatternSynDef :: QName -> [WithHiding BindName] -> Pattern' Void -> Declaration

   Agda	Agda.Syntax.Abstract

   Only for highlighting purposes

3. PatternSynDefS :: DeclarationSpine

   Agda	Agda.Syntax.Abstract

   No documentation available.

4. type PatternSynDefn = ([WithHiding Name], Pattern' Void)

   Agda	Agda.Syntax.Abstract

   No documentation available.

5. type PatternSynDefns = Map QName PatternSynDefn

   Agda	Agda.Syntax.Abstract

   No documentation available.

6. PatternSynP :: PatInfo -> AmbiguousQName -> NAPs e -> Pattern' e

   Agda	Agda.Syntax.Abstract

   No documentation available.

7. type Patterns = [NamedArg Pattern]

   Agda	Agda.Syntax.Abstract

   No documentation available.

8. Pi :: ExprInfo -> Telescope1 -> Type -> Expr

   Agda	Agda.Syntax.Abstract

   Dependent function space Γ → A.

9. Pragma :: Range -> Pragma -> Declaration

   Agda	Agda.Syntax.Abstract

   No documentation available.

10. data Pragma

    Agda	Agda.Syntax.Abstract

    No documentation available.

Page 1105 of many | Previous | Next