GhcApi.Constraint

Documentation

ctEvId :: Ct -> EvVar

ctLoc :: Ct -> CtLoc

mkNonCanonical :: CtEvidence -> Ct

data Ct

Constructors

CDictCan

Fields

• cc_ev :: CtEvidence
• cc_class :: Class
• cc_tyargs :: [Xi]
• cc_pend_sc :: Bool

CIrredCan

Fields

• cc_ev :: CtEvidence
• cc_insol :: Bool

CTyEqCan

Fields

• cc_ev :: CtEvidence
• cc_tyvar :: TcTyVar
• cc_rhs :: TcType
• cc_eq_rel :: EqRel

CFunEqCan

Fields

• cc_ev :: CtEvidence
• cc_fun :: TyCon
• cc_tyargs :: [Xi]
• cc_fsk :: TcTyVar

CNonCanonical

Fields

• cc_ev :: CtEvidence

CHoleCan

Fields

• cc_ev :: CtEvidence
• cc_hole :: Hole

CQuantCan QCInst

Instances

Outputable Ct

Defined in Constraint

Methods

ppr :: Ct -> SDoc

pprPrec :: Rational -> Ct -> SDoc

data CtEvidence

Constructors

CtGiven

Fields

• ctev_pred :: TcPredType
• ctev_evar :: EvVar
• ctev_loc :: CtLoc

CtWanted

Fields

• ctev_pred :: TcPredType
• ctev_dest :: TcEvDest
• ctev_nosh :: ShadowInfo
• ctev_loc :: CtLoc

CtDerived

Fields

• ctev_pred :: TcPredType
• ctev_loc :: CtLoc

Instances

Outputable CtEvidence

Defined in Constraint

Methods

ppr :: CtEvidence -> SDoc

pprPrec :: Rational -> CtEvidence -> SDoc

data CtLoc