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 ProjOrigin

   Agda	Agda.Syntax.Common

   Where does a projection come from?

2. ProjPostfix :: ProjOrigin

   Agda	Agda.Syntax.Common

   User wrote a postfix projection.

3. ProjPrefix :: ProjOrigin

   Agda	Agda.Syntax.Common

   User wrote a prefix projection.

4. ProjSystem :: ProjOrigin

   Agda	Agda.Syntax.Common

   Projection was generated by the system.

5. PublicAccess :: Access

   Agda	Agda.Syntax.Common

   No documentation available.

6. PositivityProblem :: OtherAspect

   Agda	Agda.Syntax.Common.Aspect

   No documentation available.

7. Postulate :: NameKind

   Agda	Agda.Syntax.Common.Aspect

   No documentation available.

8. Pragma :: Aspect

   Agda	Agda.Syntax.Common.Aspect

   Text occurring in pragmas that does not have a more specific aspect.

9. Primitive :: NameKind

   Agda	Agda.Syntax.Common.Aspect

   Primitive.

10. PrimitiveType :: Aspect

    Agda	Agda.Syntax.Common.Aspect

    Things like Set and Prop.

Page 1120 of many | Previous | Next