GHC.Tc.Solver.Solve

ghc-9.14.0.20251028: The GHC API

Safe Haskell | None
Language | GHC2021

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 #