Documentation

simplifyWantedsTcM :: [CtEvidence] -> TcM WantedConstraints #

solveWanteds :: WantedConstraints -> TcS WantedConstraints #

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

solveSimpleWanteds :: Cts -> TcS WantedConstraints #

trySolveImplication :: Implication -> TcS Bool #

setImplicationStatus :: Implication -> TcS Implication #