ghc-9.13: The GHC API

Safe Haskell	None
Language	GHC2021

GHC.Tc.Errors.Types.PromotionErr

Documentation

data PromotionErr Source #

Constructors

TyConPE
ClassPE
FamDataConPE
ConstrainedDataConPE ThetaType
PatSynPE
RecDataConPE
TermVariablePE
TypeVariablePE

Instances

Instances details

Outputable PromotionErr Source #

Instance details

Defined in GHC.Tc.Errors.Types.PromotionErr

Methods

ppr :: PromotionErr -> SDoc Source #

Generic PromotionErr Source #

Instance details

Defined in GHC.Tc.Errors.Types.PromotionErr

Associated Types

type Rep PromotionErr

Instance details

Defined in GHC.Tc.Errors.Types.PromotionErr

type Rep PromotionErr = D1 ('MetaData "PromotionErr" "GHC.Tc.Errors.Types.PromotionErr" "ghc-9.13-inplace" '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 "TypeVariablePE" 'PrefixI 'False) (U1 :: Type -> Type))))

Methods

from :: PromotionErr -> Rep PromotionErr x #

to :: Rep PromotionErr x -> PromotionErr #

type Rep PromotionErr Source #

Instance details

Defined in GHC.Tc.Errors.Types.PromotionErr

type Rep PromotionErr = D1 ('MetaData "PromotionErr" "GHC.Tc.Errors.Types.PromotionErr" "ghc-9.13-inplace" '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 "TypeVariablePE" 'PrefixI 'False) (U1 :: Type -> Type))))

pprPECategory :: PromotionErr -> SDoc Source #

peCategory :: PromotionErr -> String Source #

data TermLevelUseErr Source #

Constructors

TyConTE
ClassTE
TyVarTE

Instances

Instances details

Generic TermLevelUseErr Source #

Instance details

Defined in GHC.Tc.Errors.Types.PromotionErr

Associated Types

type Rep TermLevelUseErr
Instance details 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)))

Methods

from :: TermLevelUseErr -> Rep TermLevelUseErr x #

to :: Rep TermLevelUseErr x -> TermLevelUseErr #

type Rep TermLevelUseErr Source #

Instance details

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)))

data TermLevelUseCtxt Source #

Constructors

TermLevelUseGRE !GlobalRdrElt
TermLevelUseTyVar

Instances

Instances details

Generic TermLevelUseCtxt Source #

Instance details

Defined in GHC.Tc.Errors.Types.PromotionErr

Associated Types

type Rep TermLevelUseCtxt

Instance details

Defined in GHC.Tc.Errors.Types.PromotionErr

type Rep TermLevelUseCtxt = D1 ('MetaData "TermLevelUseCtxt" "GHC.Tc.Errors.Types.PromotionErr" "ghc-9.13-inplace" 'False) (C1 ('MetaCons "TermLevelUseGRE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GlobalRdrElt)) :+: C1 ('MetaCons "TermLevelUseTyVar" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: TermLevelUseCtxt -> Rep TermLevelUseCtxt x #

to :: Rep TermLevelUseCtxt x -> TermLevelUseCtxt #

type Rep TermLevelUseCtxt Source #

Instance details

Defined in GHC.Tc.Errors.Types.PromotionErr

type Rep TermLevelUseCtxt = D1 ('MetaData "TermLevelUseCtxt" "GHC.Tc.Errors.Types.PromotionErr" "ghc-9.13-inplace" 'False) (C1 ('MetaCons "TermLevelUseGRE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GlobalRdrElt)) :+: C1 ('MetaCons "TermLevelUseTyVar" 'PrefixI 'False) (U1 :: Type -> Type))

pprTermLevelUseCtxt :: Name -> TermLevelUseCtxt -> SDoc Source #

teCategory :: TermLevelUseErr -> String Source #