| ghc-6.10.4: The GHC API | Contents | Index

TcSimplify

Documentation
tcSimplifyInfer :: SDoc -> TcTyVarSet -> [Inst] -> TcM ([TcTyVar], [Inst], TcDictBinds)
tcSimplifyInferCheck :: InstLoc -> TcTyVarSet -> [Inst] -> [Inst] -> TcM ([TyVar], TcDictBinds)
tcSimplifyCheck :: InstLoc -> [TcTyVar] -> [Inst] -> [Inst] -> TcM TcDictBinds
tcSimplifyRestricted :: SDoc -> TopLevelFlag -> [Name] -> TcTyVarSet -> [Inst] -> TcM ([TyVar], TcDictBinds)
tcSimplifyRuleLhs :: [Inst] -> TcM ([Inst], TcDictBinds)
tcSimplifyIPs :: [Inst] -> [Inst] -> TcM TcDictBinds
tcSimplifySuperClasses :: InstLoc -> Inst -> [Inst] -> [Inst] -> TcM TcDictBinds
tcSimplifyTop :: [Inst] -> TcM TcDictBinds
tcSimplifyInteractive :: [Inst] -> TcM TcDictBinds
tcSimplifyBracket :: [Inst] -> TcM ()
tcSimplifyCheckPat :: InstLoc -> [TcTyVar] -> [Inst] -> [Inst] -> TcM TcDictBinds
tcSimplifyDeriv :: InstOrigin -> [TyVar] -> ThetaType -> TcM ThetaType
tcSimplifyDefault :: ThetaType -> TcM ()
bindInstsOfLocalFuns :: [Inst] -> [TcId] -> TcM TcDictBinds
misMatchMsg :: TidyEnv -> (TcType, TcType) -> (TidyEnv, SDoc)
Produced by Haddock version 2.4.2