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. Prim_glue :: PrimitiveId

   Agda	Agda.Syntax.Builtin

   No documentation available.

2. Prim_glueU :: PrimitiveId

   Agda	Agda.Syntax.Builtin

   No documentation available.

3. Prim_unglue :: PrimitiveId

   Agda	Agda.Syntax.Builtin

   No documentation available.

4. Prim_unglueU :: PrimitiveId

   Agda	Agda.Syntax.Builtin

   No documentation available.

5. data PrimitiveId

   Agda	Agda.Syntax.Builtin

   A primitive name, defined by the primitive block.

6. PrimitiveName :: PrimitiveId -> SomeBuiltin

   Agda	Agda.Syntax.Builtin

   No documentation available.

7. PatternMatching :: PatternOrCopattern

   Agda	Agda.Syntax.Common

   Can match on the record constructor.

8. class PatternMatchingAllowed a

   Agda	Agda.Syntax.Common

   Can we pattern match on the record constructor?

9. data PatternOrCopattern

   Agda	Agda.Syntax.Common

   For a record without eta, which type of matching do we allow?

10. Placeholder :: PositionInName -> MaybePlaceholder e

    Agda	Agda.Syntax.Common

    No documentation available.

Page 1118 of many | Previous | Next