Safe Haskell | None |
---|---|
Language | GHC2021 |
Functional dependencies
It's better to read it as: "if we know these, then we're going to know these"
Documentation
pprEquation :: FunDepEqn a -> SDoc Source #
improveFromInstEnv :: InstEnvs -> (PredType -> SrcSpan -> loc) -> Class -> [Type] -> [FunDepEqn loc] Source #
checkInstCoverage :: Bool -> Class -> [PredType] -> [Type] -> Validity' CoverageProblem Source #
pprFundeps :: Outputable a => [FunDep a] -> SDoc Source #
closeWrtFunDeps :: [PredType] -> TyCoVarSet -> TyCoVarSet Source #