Documentation
simplifyInfer :: TopLevelFlag -> Bool -> [(Name, TcTauType)] -> WantedConstraints -> TcM ([TcTyVar], [EvVar], TcEvBinds)Source
simplifyDefault :: ThetaType -> TcM ()Source
simplifyRule :: RuleName -> [TcTyVar] -> WantedConstraints -> WantedConstraints -> TcM ([EvVar], TcEvBinds, TcEvBinds)Source
simplifyTop :: WantedConstraints -> TcM (Bag EvBind)Source