Moduleghc-10.0.0.20260917GHC2024

GHC.Tc.Instance.FunDeps

Functional dependencies

It's better to read it as: "if we know these, then we're going to know these"

Synopsis

datadata FunDepEqns

Instances1Outputable

valuepprEquation :: FunDepEqns -> SDoc

valueimproveFromInstEnv :: InstEnvs -> Class -> [Type] -> [FunDepEqns]

valueimproveFromAnother :: PredType -> PredType -> [FunDepEqns]

valuecheckInstCoverage

valuecheckFunDeps :: InstEnvs -> ClsInst -> [ClsInst]

valuepprFundeps :: Outputable a => [FunDep a] -> SDoc

valueinstFD :: FunDep TyVar -> [TyVar] -> [Type] -> FunDep Type

valuecloseWrtFunDeps :: [PredType] -> TyCoVarSet -> TyCoVarSet