GHC.Tc.Errors.Types.PromotionErr · ghc-9.10.3

datadata PromotionErr

Instances3Generic, Outputable, Rep

Generic PromotionErrDefined in ghc-9.10.3 · GHC.Tc.Errors.Types.PromotionErr
Outputable PromotionErrDefined in ghc-9.10.3 · GHC.Tc.Errors.Types.PromotionErr
type Rep PromotionErr = D1 ('MetaData "PromotionErr" "GHC.Tc.Errors.Types.PromotionErr" "ghc-9.10.3-cff4" 'False) (((C1 ('MetaCons "TyConPE" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ClassPE" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "FamDataConPE" 'PrefixI 'False) U1 :+: C1 ('MetaCons "ConstrainedDataConPE" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ThetaType)))) :+: ((C1 ('MetaCons "PatSynPE" 'PrefixI 'False) U1 :+: C1 ('MetaCons "RecDataConPE" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "TermVariablePE" 'PrefixI 'False) U1 :+: C1 ('MetaCons "TypeVariablePE" 'PrefixI 'False) U1)))Defined in ghc-9.10.3 · GHC.Tc.Errors.Types.PromotionErr

valuepprPECategory :: PromotionErr -> SDoc

valuepeCategory :: PromotionErr -> String

datadata TermLevelUseErr

Instances2Generic, Rep

Generic TermLevelUseErrDefined in ghc-9.10.3 · GHC.Tc.Errors.Types.PromotionErr
type Rep TermLevelUseErr = D1 ('MetaData "TermLevelUseErr" "GHC.Tc.Errors.Types.PromotionErr" "ghc-9.10.3-cff4" 'False) (C1 ('MetaCons "TyConTE" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "ClassTE" 'PrefixI 'False) U1 :+: C1 ('MetaCons "TyVarTE" 'PrefixI 'False) U1))Defined in ghc-9.10.3 · GHC.Tc.Errors.Types.PromotionErr

valueteCategory :: TermLevelUseErr -> String