Documentation

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

quantifyPred :: TyVarSet -> PredType -> BoolSource

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