Hoogle Search

Within LTS Haskell 24.27 (ghc-9.10.3)

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

Exact lookup

1. DerivErrGenericsMustHaveSomeTypeParams :: TyCon -> DeriveGenericsErrReason

   ghc	GHC.Tc.Errors.Types

   The type must have some type parameters. check (d) from Note [Requirements for deriving Generic and Rep] in GHC.Tc.Deriv.Generics.

2. DerivErrGenericsMustNotHaveDatatypeContext :: TyCon -> DeriveGenericsErrReason

   ghc	GHC.Tc.Errors.Types

   The type must not have some datatype context.

3. DerivErrGenericsMustNotHaveExistentials :: DataCon -> DeriveGenericsErrReason

   ghc	GHC.Tc.Errors.Types

   The data constructor must not have existential arguments.

4. DerivErrGenericsMustNotHaveExoticArgs :: DataCon -> DeriveGenericsErrReason

   ghc	GHC.Tc.Errors.Types

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

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

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

   ghc	GHC.Tc.Errors.Types

   No documentation available.

7. DerivErrLangExtRequired :: Extension -> DeriveInstanceErrReason

   ghc	GHC.Tc.Errors.Types

   No documentation available.

8. DerivErrLastArgMustBeApp :: DeriveInstanceErrReason

   ghc	GHC.Tc.Errors.Types

   Last arg must be newtype or data application

9. DerivErrMustBeEnumType :: TyCon -> DeriveInstanceErrReason

   ghc	GHC.Tc.Errors.Types

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

10. DerivErrMustHaveExactlyOneConstructor :: TyCon -> DeriveInstanceErrReason

    ghc	GHC.Tc.Errors.Types

    The given TyCon must have precisely one constructor.

Page 67 of many | Previous | Next