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. module Agda.Syntax.Abstract.Pretty

   No documentation available.

2. data PiView

   Agda	Agda.Syntax.Abstract.Views

   Collect A.Pis.

3. PiView :: [(ExprInfo, Telescope1)] -> Type -> PiView

   Agda	Agda.Syntax.Abstract.Views

   No documentation available.

4. PrimCharEquality :: PrimitiveId

   Agda	Agda.Syntax.Builtin

   No documentation available.

5. PrimCharToNat :: PrimitiveId

   Agda	Agda.Syntax.Builtin

   No documentation available.

6. PrimCharToNatInjective :: PrimitiveId

   Agda	Agda.Syntax.Builtin

   No documentation available.

7. PrimComp :: PrimitiveId

   Agda	Agda.Syntax.Builtin

   No documentation available.

8. PrimErase :: PrimitiveId

   Agda	Agda.Syntax.Builtin

   No documentation available.

9. PrimEraseEquality :: PrimitiveId

   Agda	Agda.Syntax.Builtin

   No documentation available.

10. PrimFaceForall :: PrimitiveId

    Agda	Agda.Syntax.Builtin

    No documentation available.

Page 1107 of many | Previous | Next