Documentation

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

solveWanteds :: WantedConstraints -> TcS WantedConstraints Source #

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

solveSimpleWanteds :: Cts -> TcS Cts Source #

trySolveImplication :: Implication -> TcS Bool Source #

setImplicationStatus :: Implication -> TcS Implication Source #