Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

Exact lookup

1. newSortMetaCtx :: MonadMetaSolver m => Args -> m Sort

   Agda	Agda.TypeChecking.MetaVars

   Create a sort meta that may be instantiated with Inf (Setω).

2. data BuiltinSort

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

3. BuiltinSort :: BuiltinSort -> BuiltinDescriptor

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

4. CantGeneralizeOverSorts :: Set1 MetaId -> Warning

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

5. 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.

6. HasBiggerSort :: Sort -> Constraint

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

7. InvalidTypeSort :: Sort -> TypeError

   Agda	Agda.TypeChecking.Monad.Base

   This sort is not a type expression.

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

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

9. data NLPSort

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

10. NotLeqSort :: Sort -> Sort -> TypeError

    Agda	Agda.TypeChecking.Monad.Base

    No documentation available.

Page 171 of many | Previous | Next