GHC.Tc.Instance.FunDeps

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

• fd_qtvs :: [TyVar]
• fd_eqs :: [TypeEqn]
• fd_pred1 :: PredType
• fd_pred2 :: PredType
• fd_loc :: loc

Instances

Functor FunDepEqn

Defined in GHC.Tc.Instance.FunDeps

Methods

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

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

Outputable (FunDepEqn a)

Defined in GHC.Tc.Instance.FunDeps

Methods

ppr :: FunDepEqn a -> SDoc

pprEquation :: FunDepEqn a -> SDoc

improveFromInstEnv :: InstEnvs -> (PredType -> SrcSpan -> loc) -> Class -> [Type] -> [FunDepEqn loc]

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

checkInstCoverage :: Bool -> Class -> [PredType] -> [Type] -> Validity

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

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

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

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