Moduleghc-10.0.0.20260917GHC2024
GHC.Tc.Instance.Class
Synopsis
- value matchGlobalInst
- value matchEqualityInst
- data ClsInstResult
- data InstanceWhat
- value safeOverlap
- value instanceReturnsDictCon
- data AssocInstInfo
- value isNotAssociated
- value lookupHasFieldLabel
- Packageghc-10.0.0.20260917
- Exports9
- LanguageGHC2024
- LicenceBSD-3-Clause
- SourceClass.hs
Constructors
Instances1Outputable
Outputable ClsInstResultDefined in ghc-10.0.0.20260917 · GHC.Tc.Instance.Class
Instances1Outputable
Outputable InstanceWhatDefined in ghc-10.0.0.20260917 · 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]