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. pattern PSSet :: NLPat -> NLPSort

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

2. PSizeUniv :: NLPSort

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

3. PSort :: NLPSort -> NLPat

   Agda	Agda.TypeChecking.Monad.Base

   Matches a sort of the given shape.

4. PTerm :: Term -> NLPat

   Agda	Agda.TypeChecking.Monad.Base

   Matches the term modulo β (ideally βη).

5. pattern PType :: NLPat -> NLPSort

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

6. PUniv :: Univ -> NLPat -> NLPSort

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

7. PVar :: Int -> [Arg Int] -> NLPat

   Agda	Agda.TypeChecking.Monad.Base

   Matches anything (modulo non-linearity) that only contains bound variables that occur in the given arguments.

8. ParseWarning :: ParseWarning -> Warning

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

9. ParserError :: ParseError -> TCErr

   Agda	Agda.TypeChecking.Monad.Base

   Error raised by the Happy parser.

10. PatLamWithoutClauses :: Term -> UnquoteError

    Agda	Agda.TypeChecking.Monad.Base

    No documentation available.

Page 1138 of many | Previous | Next