ghc-lib-9.0.1.20210207: The GHC API, decoupled from GHC versions
Safe HaskellNone
LanguageHaskell2010

GHC.Tc.Instance.Class

Synopsis

Documentation

data ClsInstResult Source #

Constructors

NoInstance 
OneInst 

Fields

NotSure 

Instances

Instances details
Outputable ClsInstResult Source # 
Instance details

Defined in GHC.Tc.Instance.Class

Methods

ppr :: ClsInstResult -> SDoc

pprPrec :: Rational -> ClsInstResult -> SDoc

data InstanceWhat Source #

Constructors

BuiltinInstance 
BuiltinEqInstance 
LocalInstance 
TopLevInstance 

Fields

Instances

Instances details
Outputable InstanceWhat Source # 
Instance details

Defined in GHC.Tc.Instance.Class

Methods

ppr :: InstanceWhat -> SDoc

pprPrec :: Rational -> InstanceWhat -> SDoc

data AssocInstInfo Source #

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