ghc-8.10.4: The GHC API
Safe HaskellNone
LanguageHaskell2010

ClsInst

Synopsis

Documentation

data ClsInstResult Source #

Instances

Instances details
Outputable ClsInstResult # 
Instance details

Defined in ClsInst

data InstanceWhat Source #

Instances

Instances details
Outputable InstanceWhat # 
Instance details

Defined in ClsInst

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

  • ai_class :: Class
     
  • ai_tyvars :: [TyVar]

    The scoped tyvars of the instance Why scoped? See bind_me in TcValidity.checkConsistentFamInst

  • ai_inst_env :: VarEnv Type

    Maps class tyvars to their instance types See Note [Matching in the consistent-instantation check]