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. PConstr :: Set ProblemId -> Blocker -> Closure Constraint -> ProblemConstraint

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

2. PDef :: QName -> PElims -> NLPat

   Agda	Agda.TypeChecking.Monad.Base

   Matches f es

3. type PElims = [Elim' NLPat]

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

4. PInf :: Univ -> Integer -> NLPSort

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

5. PIntervalUniv :: NLPSort

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

6. PLam :: ArgInfo -> Abs NLPat -> NLPat

   Agda	Agda.TypeChecking.Monad.Base

   Matches λ x → t

7. PLevelUniv :: NLPSort

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

8. PLockUniv :: NLPSort

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

9. PPi :: Dom NLPType -> Abs NLPType -> NLPat

   Agda	Agda.TypeChecking.Monad.Base

   Matches (x : A) → B

10. pattern PProp :: NLPat -> NLPSort

    Agda	Agda.TypeChecking.Monad.Base

    No documentation available.

Page 1137 of many | Previous | Next