ghc-7.10.3: The GHC API

Safe Haskell | None
Language | Haskell2010

TcSimplify

# Documentation

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

quantifyPred :: TyVarSet -> PredType -> Bool

growThetaTyVars :: ThetaType -> TyVarSet -> TyVarSet

simplifyAmbiguityCheck :: Type -> WantedConstraints -> TcM ()

simplifyDefault :: ThetaType -> TcM ()

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

simplifyTop :: WantedConstraints -> TcM (Bag EvBind)

simplifyInteractive :: WantedConstraints -> TcM (Bag EvBind)

solveWantedsTcM :: WantedConstraints -> TcM (WantedConstraints, Bag EvBind)