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.
DerivErrBadConCovariant :: DataCon -> DeriveInstanceBadConstructorghc GHC.Tc.Errors.Types The given DataCon must not use the type variable in a function argument"
DerivErrBadConExistential :: DataCon -> DeriveInstanceBadConstructorghc GHC.Tc.Errors.Types The given DataCon must be truly polymorphic in the last argument of the data type.
DerivErrBadConFunTypes :: DataCon -> DeriveInstanceBadConstructorghc GHC.Tc.Errors.Types The given DataCon must not contain function types
DerivErrBadConHasConstraints :: DataCon -> DeriveInstanceBadConstructorghc GHC.Tc.Errors.Types The given DataCon has constraints in its type.
DerivErrBadConHasExistentials :: DataCon -> DeriveInstanceBadConstructorghc GHC.Tc.Errors.Types The given DataCon has existentials type vars in its type.
DerivErrBadConHasHigherRankType :: DataCon -> DeriveInstanceBadConstructorghc GHC.Tc.Errors.Types The given DataCon has a higher-rank type.
DerivErrBadConIsGADT :: DataCon -> DeriveInstanceBadConstructorghc GHC.Tc.Errors.Types The given DataCon is a GADT so we cannot directly derive an istance for it.
DerivErrBadConWrongArg :: DataCon -> DeriveInstanceBadConstructorghc GHC.Tc.Errors.Types The given DataCon must use the type variable only as the last argument of a data type
-
ghc GHC.Tc.Errors.Types We couldn't derive an instance for a particular data constructor for a variety of reasons.
DerivErrBootFileFound :: DeriveInstanceErrReasonghc GHC.Tc.Errors.Types No documentation available.