Documentation

data FunDepEqn loc Source

pprEquation :: FunDepEqn a -> SDoc Source

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

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

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

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

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