ghc-9.2.4: The GHC API
Safe HaskellSafe-Inferred
LanguageHaskell2010

GHC.Tc.Instance.Class

Synopsis

Documentation

data ClsInstResult #

Instances

Instances details
Outputable ClsInstResult # 
Instance details

Defined in GHC.Tc.Instance.Class

Methods

ppr :: ClsInstResult -> SDoc #

data InstanceWhat #

Instances

Instances details
Outputable InstanceWhat # 
Instance details

Defined in GHC.Tc.Instance.Class

Methods

ppr :: InstanceWhat -> SDoc #

data AssocInstInfo #

Extra information about the parent instance declaration, needed when type-checking associated types. The Class is the enclosing class, the [TyVar] are the scoped type variable of the instance decl. The VarEnv Type maps class variables to their instance types.

Constructors

NotAssociated 
InClsInst 

Fields