Moduleghc-9.14.1GHC2021
GHC.Tc.Instance.Class
- 3 types
- 6 values
- Packageghc-9.14.1
- Exports9
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceClass.hs
Constructors
Instances1Outputable
Outputable ClsInstResultDefined in ghc-9.14.1 · GHC.Tc.Instance.Class
Instances1Outputable
Outputable InstanceWhatDefined in ghc-9.14.1 · GHC.Tc.Types.Origin
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
NotAssociatedInClsInstai_class :: Classai_tyvars :: [TyVar]The scoped tyvars of the instance Why scoped? See bind_me in checkConsistentFamInst
ai_inst_env :: VarEnv TypeMaps class tyvars to their instance types See Note [Matching in the consistent-instantiation check]