Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
pprEquation :: FunDepEqn a -> SDoc Source
improveFromInstEnv :: InstEnvs -> (PredType -> SrcSpan -> loc) -> PredType -> [FunDepEqn loc] Source
improveFromAnother :: loc -> PredType -> PredType -> [FunDepEqn loc] Source
checkFunDeps :: InstEnvs -> ClsInst -> [ClsInst] Source
pprFundeps :: Outputable a => [FunDep a] -> SDoc Source