ghc-9.14.0.20251128: The GHC API
Safe HaskellNone
LanguageGHC2021

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 FunDepEqn loc #

Constructors

FDEqn 

Fields

Instances

Instances details
Functor FunDepEqn # 
Instance details

Defined in GHC.Tc.Instance.FunDeps

Methods

fmap :: (a -> b) -> FunDepEqn a -> FunDepEqn b Source #

(<$) :: a -> FunDepEqn b -> FunDepEqn a Source #

Outputable (FunDepEqn a) # 
Instance details

Defined in GHC.Tc.Instance.FunDeps

Methods

ppr :: FunDepEqn a -> SDoc #

pprEquation :: FunDepEqn a -> SDoc #

improveFromInstEnv :: InstEnvs -> (ClsInst -> loc) -> Class -> [Type] -> [FunDepEqn loc] #

improveFromAnother :: loc -> PredType -> PredType -> [FunDepEqn loc] #

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

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

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

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

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