Moduleghc-9.14.1GHC2021

GHC.Tc.Instance.FunDeps

Functional dependencies

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

datadata FunDepEqn loc

Instances2Functor, Outputable

valuepprEquation :: FunDepEqn a -> SDoc

valueimproveFromInstEnv

valueimproveFromAnother :: loc -> PredType -> PredType -> [FunDepEqn loc]

valuecheckInstCoverage

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

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

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

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