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. Plus :: Integer -> t -> PlusLevel' t

   Agda	Agda.Syntax.Internal

   No documentation available.

2. type PlusLevel = PlusLevel' Term

   Agda	Agda.Syntax.Internal

   No documentation available.

3. data PlusLevel' t

   Agda	Agda.Syntax.Internal

   No documentation available.

4. newtype ProblemId

   Agda	Agda.Syntax.Internal

   A "problem" consists of a set of constraints and the same constraint can be part of multiple problems.

5. ProblemId :: Nat -> ProblemId

   Agda	Agda.Syntax.Internal

   No documentation available.

6. ProjP :: ProjOrigin -> QName -> Pattern' x

   Agda	Agda.Syntax.Internal

   Projection copattern. Can only appear by itself.

7. pattern Prop :: Level' t -> Sort' t

   Agda	Agda.Syntax.Internal

   No documentation available.

8. Proj :: ProjOrigin -> QName -> Elim' a

   Agda	Agda.Syntax.Internal.Elim

   Projection. QName is name of a record projection.

9. newtype PSyn

   Agda	Agda.Syntax.Internal.Names

   No documentation available.

10. PSyn :: PatternSynDefn -> PSyn

    Agda	Agda.Syntax.Internal.Names

    No documentation available.

Page 1128 of many | Previous | Next