Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. DerivErrGenericsMustNotHaveExistentials :: DataCon -> DeriveGenericsErrReason

   ghc	GHC.Tc.Errors.Types

   The data constructor must not have existential arguments.

2. DerivErrGenericsMustNotHaveExoticArgs :: DataCon -> DeriveGenericsErrReason

   ghc	GHC.Tc.Errors.Types

   The data constructor must not have exotic unlifted or polymorphic arguments.

3. DerivErrGenericsWrongArgKind :: DataCon -> DeriveGenericsErrReason

   ghc	GHC.Tc.Errors.Types

   The derivation applies a type to an argument involving the last parameter but the applied type is not of kind * -> *.

4. DerivErrHasAssociatedDatatypes :: HasAssociatedDataFamInsts -> AssociatedTyLastVarInKind -> AssociatedTyNotParamOverLastTyVar -> DeriveInstanceErrReason

   ghc	GHC.Tc.Errors.Types

   No documentation available.

5. DerivErrLangExtRequired :: Extension -> DeriveInstanceErrReason

   ghc	GHC.Tc.Errors.Types

   No documentation available.

6. DerivErrLastArgMustBeApp :: DeriveInstanceErrReason

   ghc	GHC.Tc.Errors.Types

   Last arg must be newtype or data application

7. DerivErrMustBeEnumType :: TyCon -> DeriveInstanceErrReason

   ghc	GHC.Tc.Errors.Types

   The given TyCon must be an enumeration. See Note [Enumeration types] in GHC.Core.TyCon

8. DerivErrMustHaveExactlyOneConstructor :: TyCon -> DeriveInstanceErrReason

   ghc	GHC.Tc.Errors.Types

   The given TyCon must have precisely one constructor.

9. DerivErrMustHaveSomeParameters :: TyCon -> DeriveInstanceErrReason

   ghc	GHC.Tc.Errors.Types

   The given data type must have some parameters.

10. DerivErrMustNotHaveClassContext :: TyCon -> ThetaType -> DeriveInstanceErrReason

    ghc	GHC.Tc.Errors.Types

    The given data type must not have a class context.

Page 68 of many | Previous | Next