ghc-9.15: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.Tc.Solver.Solve

Documentation

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

solveWanteds :: WantedConstraints -> TcS WantedConstraints Source #

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

solveSimpleWanteds :: Cts -> TcS WantedConstraints Source #

trySolveImplication :: Implication -> TcS Bool Source #

setImplicationStatus :: Implication -> TcS Implication Source #