Safe Haskell | None |
---|---|
Language | Haskell2010 |
GHC.Tc.Errors.Types.PromotionErr
Documentation
data PromotionErr Source #
Constructors
TyConPE | |
ClassPE | |
FamDataConPE | |
ConstrainedDataConPE ThetaType | |
PatSynPE | |
RecDataConPE | |
TermVariablePE | |
NoDataKindsDC | |
TypeVariablePE |
Instances
Generic PromotionErr Source # | |||||
Defined in GHC.Tc.Errors.Types.PromotionErr Associated Types
| |||||
Outputable PromotionErr Source # | |||||
Defined in GHC.Tc.Errors.Types.PromotionErr Methods ppr :: PromotionErr -> SDoc Source # | |||||
type Rep PromotionErr Source # | |||||
Defined in GHC.Tc.Errors.Types.PromotionErr type Rep PromotionErr = D1 ('MetaData "PromotionErr" "GHC.Tc.Errors.Types.PromotionErr" "ghc-lib-parser-9.8.2.20240223-K1NOy6iCNFNKQMt2yQzubK" 'False) (((C1 ('MetaCons "TyConPE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ClassPE" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FamDataConPE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConstrainedDataConPE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ThetaType)))) :+: ((C1 ('MetaCons "PatSynPE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RecDataConPE" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TermVariablePE" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NoDataKindsDC" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TypeVariablePE" 'PrefixI 'False) (U1 :: Type -> Type))))) |
pprPECategory :: PromotionErr -> SDoc Source #
peCategory :: PromotionErr -> String Source #