| Safe Haskell | Ignore |
|---|---|
| Language | GHC2021 |
GHC.Tc.Errors.Types.PromotionErr
Documentation
data PromotionErr #
Constructors
| TyConPE | |
| ClassPE | |
| FamDataConPE | |
| ConstrainedDataConPE ThetaType | |
| PatSynPE | |
| RecDataConPE | |
| TermVariablePE | |
| TypeVariablePE |
Instances
pprPECategory :: PromotionErr -> SDoc #
peCategory :: PromotionErr -> String #
data TermLevelUseErr #
Instances
| Generic TermLevelUseErr # | |||||
Defined in GHC.Tc.Errors.Types.PromotionErr Associated Types
Methods from :: TermLevelUseErr -> Rep TermLevelUseErr x # to :: Rep TermLevelUseErr x -> TermLevelUseErr # | |||||
| type Rep TermLevelUseErr # | |||||
Defined in GHC.Tc.Errors.Types.PromotionErr type Rep TermLevelUseErr = D1 ('MetaData "TermLevelUseErr" "GHC.Tc.Errors.Types.PromotionErr" "ghc-lib-parser-9.10.1.20250103-FaHJOkjTl0Y9STmjhYbIHo" '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 #