ghc-9.15: The GHC API
Safe HaskellNone
LanguageGHC2024

GHC.Tc.Instance.FunDeps

Description

Functional dependencies

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

Documentation

data FunDepEqns Source #

Constructors

FDEqns 

Fields

Instances

Instances details
Outputable FunDepEqns Source # 
Instance details

Defined in GHC.Tc.Instance.FunDeps

Methods

ppr :: FunDepEqns -> SDoc Source #

pprEquation :: FunDepEqns -> SDoc Source #

improveFromInstEnv :: InstEnvs -> Class -> [Type] -> [FunDepEqns] Source #

improveFromAnother :: PredType -> PredType -> [FunDepEqns] Source #

checkInstCoverage :: Bool -> Class -> [PredType] -> [Type] -> Validity' CoverageProblem Source #

checkFunDeps :: InstEnvs -> ClsInst -> [ClsInst] Source #

pprFundeps :: Outputable a => [FunDep a] -> SDoc Source #

instFD :: FunDep TyVar -> [TyVar] -> [Type] -> FunDep Type Source #

closeWrtFunDeps :: [PredType] -> TyCoVarSet -> TyCoVarSet Source #