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

   ghc	GHC.Tc.Deriv.Utils

   Contains all of the information known about a derived instance when determining what its EarlyDerivSpec should be. See Note [DerivEnv and DerivSpecMechanism].

2. DerivEnv :: Maybe OverlapMode -> [TyVar] -> Class -> [Type] -> DerivContext -> SkolemInfo -> Maybe (DerivStrategy GhcTc) -> Maybe (WarningTxt GhcRn) -> DerivEnv

   ghc	GHC.Tc.Deriv.Utils

   No documentation available.

3. DerivErrBadConCovariant :: DataCon -> DeriveInstanceBadConstructor

   ghc	GHC.Tc.Errors.Types

   The given DataCon must not use the type variable in a function argument"

4. DerivErrBadConExistential :: DataCon -> DeriveInstanceBadConstructor

   ghc	GHC.Tc.Errors.Types

   The given DataCon must be truly polymorphic in the last argument of the data type.

5. DerivErrBadConFunTypes :: DataCon -> DeriveInstanceBadConstructor

   ghc	GHC.Tc.Errors.Types

   The given DataCon must not contain function types

6. DerivErrBadConHasConstraints :: DataCon -> DeriveInstanceBadConstructor

   ghc	GHC.Tc.Errors.Types

   The given DataCon has constraints in its type.

7. DerivErrBadConHasExistentials :: DataCon -> DeriveInstanceBadConstructor

   ghc	GHC.Tc.Errors.Types

   The given DataCon has existentials type vars in its type.

8. DerivErrBadConHasHigherRankType :: DataCon -> DeriveInstanceBadConstructor

   ghc	GHC.Tc.Errors.Types

   The given DataCon has a higher-rank type.

9. DerivErrBadConIsGADT :: DataCon -> DeriveInstanceBadConstructor

   ghc	GHC.Tc.Errors.Types

   The given DataCon is a GADT so we cannot directly derive an istance for it.

10. DerivErrBadConWrongArg :: DataCon -> DeriveInstanceBadConstructor

    ghc	GHC.Tc.Errors.Types

    The given DataCon must use the type variable only as the last argument of a data type

Page 65 of many | Previous | Next