ghc-6.12.2: The GHC API Source code Contents Index

TcSimplify

Documentation

tcSimplifyInfer :: SDoc -> TcTyVarSet -> [Inst] -> TcM ([TcTyVar], [Inst], TcDictBinds) Source

tcSimplifyInferCheck :: InstLoc -> TcTyVarSet -> [Inst] -> [Inst] -> TcM ([TyVar], TcDictBinds) Source

tcSimplifyCheck :: InstLoc -> [TcTyVar] -> [Inst] -> [Inst] -> TcM TcDictBinds Source

tcSimplifyRestricted :: SDoc -> TopLevelFlag -> [Name] -> TcTyVarSet -> [Inst] -> TcM ([TyVar], TcDictBinds) Source

tcSimplifyRuleLhs :: [Inst] -> TcM ([Inst], TcDictBinds) Source

tcSimplifyIPs :: [Inst] -> [Inst] -> TcM TcDictBinds Source

tcSimplifySuperClasses :: InstLoc -> Inst -> [Inst] -> [Inst] -> TcM TcDictBinds Source

tcSimplifyTop :: [Inst] -> TcM TcDictBinds Source

tcSimplifyInteractive :: [Inst] -> TcM TcDictBinds Source

tcSimplifyBracket :: [Inst] -> TcM () Source

tcSimplifyCheckPat :: InstLoc -> [TcTyVar] -> [Inst] -> [Inst] -> TcM TcDictBinds Source

tcSimplifyDeriv :: InstOrigin -> [TyVar] -> ThetaType -> TcM ThetaType Source

tcSimplifyDefault :: ThetaType -> TcM () Source

bindInstsOfLocalFuns :: [Inst] -> [TcId] -> TcM TcDictBinds Source

misMatchMsg :: TidyEnv -> (TcType, TcType) -> (TidyEnv, SDoc) Source

Produced by Haddock version 2.6.1