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. PrimitiveSortData :: BuiltinSort -> Sort -> PrimitiveSortData

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

2. PrimitiveSortDefn :: PrimitiveSortData -> Defn

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

3. ShouldBeASort :: Type -> TypeError

   Agda	Agda.TypeChecking.Monad.Base

   The given type should have been a sort.

4. TooManyArgumentsToSort :: QName -> List1 (NamedArg Expr) -> Warning

   Agda	Agda.TypeChecking.Monad.Base

   Extra arguments to sort (will be ignored).

5. TypeDoesNotEndInSort :: Type -> Telescope -> IncorrectTypeForRewriteRelationReason

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

6. UnequalSorts :: Sort -> Sort -> TypeError

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

7. _dataSort :: DatatypeData -> Sort

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

8. _primSortName :: PrimitiveSortData -> BuiltinSort

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

9. _primSortSort :: PrimitiveSortData -> Sort

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

10. dataSort :: Defn -> Sort

    Agda	Agda.TypeChecking.Monad.Base

    No documentation available.

Page 172 of many | Previous | Next