Documentation

simplifyWantedsTcM :: [CtEvidence] -> TcM WantedConstraints Source #

solveWanteds :: WantedConstraints -> TcS WantedConstraints Source #

solveSimpleGivens :: [Ct] -> TcS () Source #

solveSimpleWanteds :: Cts -> TcS WantedConstraints Source #

setImplicationStatus :: Implication -> TcS (Maybe Implication) Source #