Documentation

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

quantifyPred :: TyVarSet -> PredType -> Bool Source

growThetaTyVars :: ThetaType -> TyVarSet -> TyVarSet Source

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

simplifyDefault :: ThetaType -> TcM () Source

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

simplifyTop :: WantedConstraints -> TcM (Bag EvBind) Source

simplifyInteractive :: WantedConstraints -> TcM (Bag EvBind) Source

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