Hoogle Search

Within LTS Haskell 24.5 (ghc-9.10.2)

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

Exact lookup

1. DerivErrDerivingViaWrongKind :: Kind -> Type -> Kind -> DeriveInstanceErrReason

   ghc	GHC.Tc.Errors.Types

   No documentation available.

2. DerivErrDunnoHowToDeriveForType :: Type -> DeriveInstanceErrReason

   ghc	GHC.Tc.Errors.Types

   GHC simply doesn't how to how derive the input Class for the given Type.

3. DerivErrEnumOrProduct :: DeriveInstanceErrReason -> DeriveInstanceErrReason -> DeriveInstanceErrReason

   ghc	GHC.Tc.Errors.Types

   We couldn't derive an instance either because the type was not an enum type or because it did have more than one constructor.

4. DerivErrGNDUsedOnData :: DeriveInstanceErrReason

   ghc	GHC.Tc.Errors.Types

   We cannot use GND on non-newtype types

5. DerivErrGenerics :: [DeriveGenericsErrReason] -> DeriveInstanceErrReason

   ghc	GHC.Tc.Errors.Types

   We couldn't derive a Generic instance for the given type for a variety of reasons

6. DerivErrGenericsMustBeVanillaDataCon :: DataCon -> DeriveGenericsErrReason

   ghc	GHC.Tc.Errors.Types

   The data constructor must be a vanilla constructor.

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

8. DerivErrGenericsMustNotHaveDatatypeContext :: TyCon -> DeriveGenericsErrReason

   ghc	GHC.Tc.Errors.Types

   The type must not have some datatype context.

9. DerivErrGenericsMustNotHaveExistentials :: DataCon -> DeriveGenericsErrReason

   ghc	GHC.Tc.Errors.Types

   The data constructor must not have existential arguments.

10. DerivErrGenericsMustNotHaveExoticArgs :: DataCon -> DeriveGenericsErrReason

    ghc	GHC.Tc.Errors.Types

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

Page 67 of many | Previous | Next