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
pprPECategory :: PromotionErr -> SDoc Source #
peCategory :: PromotionErr -> String Source #