Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. CantGeneralizeOverSorts :: Set1 MetaId -> Warning

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

2. CheckDataSort :: QName -> Sort -> Constraint

   Agda	Agda.TypeChecking.Monad.Base

   Check that the sort Sort of data type QName admits data/record types. E.g., sorts IUniv, SizeUniv etc. do not admit such constructions. See checkDataSort.

3. HasBiggerSort :: Sort -> Constraint

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

4. InvalidTypeSort :: Sort -> TypeError

   Agda	Agda.TypeChecking.Monad.Base

   This sort is not a type expression.

5. IsSort :: a -> Type -> Judgement a

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

6. data NLPSort

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

7. NotLeqSort :: Sort -> Sort -> TypeError

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

8. PSort :: NLPSort -> NLPat

   Agda	Agda.TypeChecking.Monad.Base

   Matches a sort of the given shape.

9. pattern PrimitiveSort :: BuiltinSort -> Sort -> Defn

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

10. data PrimitiveSortData

    Agda	Agda.TypeChecking.Monad.Base

    No documentation available.

Page 171 of many | Previous | Next