Safe Haskell | None |
---|---|
Language | GHC2021 |
Documentation
data PromotionErr Source #
TyConPE | |
ClassPE | |
FamDataConPE | |
ConstrainedDataConPE ThetaType | |
PatSynPE | |
RecDataConPE | |
TermVariablePE | |
TypeVariablePE |
Instances
pprPECategory :: PromotionErr -> SDoc Source #
peCategory :: PromotionErr -> String Source #
data TermLevelUseErr Source #
Instances
Generic TermLevelUseErr Source # | |||||
Defined in GHC.Tc.Errors.Types.PromotionErr
from :: TermLevelUseErr -> Rep TermLevelUseErr x # to :: Rep TermLevelUseErr x -> TermLevelUseErr # | |||||
type Rep TermLevelUseErr Source # | |||||
Defined in GHC.Tc.Errors.Types.PromotionErr type Rep TermLevelUseErr = D1 ('MetaData "TermLevelUseErr" "GHC.Tc.Errors.Types.PromotionErr" "ghc-9.13-inplace" 'False) (C1 ('MetaCons "TyConTE" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ClassTE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TyVarTE" 'PrefixI 'False) (U1 :: Type -> Type))) |
teCategory :: TermLevelUseErr -> String Source #