TcSimplify
Documentation
simplifyInfer :: Bool -> TcTyVarSet -> WantedConstraints -> TcM ([TcTyVar], [EvVar], TcEvBinds)
simplifySuperClass :: EvVar -> WantedConstraints -> TcM ()
simplifyDefault :: ThetaType -> TcM ()
simplifyBracket :: WantedConstraints -> TcM ()
simplifyRule :: RuleName -> [TcTyVar] -> WantedConstraints -> WantedConstraints -> TcM ([EvVar], TcEvBinds, TcEvBinds)
simplifyTop :: WantedConstraints -> TcM (Bag EvBind)
simplifyInteractive :: WantedConstraints -> TcM (Bag EvBind)