ghc-7.0.3: The GHC API

TcSimplify

# Documentation

simplifyInfer :: TopLevelFlag -> Bool -> [(Name, TcTauType)] -> WantedConstraints -> TcM ([TcTyVar], [EvVar], TcEvBinds)

simplifyDefault :: ThetaType -> TcM ()

simplifyDeriv :: CtOrigin -> [TyVar] -> ThetaType -> TcM ThetaType

simplifyRule :: RuleName -> [TcTyVar] -> WantedConstraints -> WantedConstraints -> TcM ([EvVar], TcEvBinds, TcEvBinds)

simplifyTop :: WantedConstraints -> TcM (Bag EvBind)

simplifyInteractive :: WantedConstraints -> TcM (Bag EvBind)