| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
GHC.Tc.Solver.Solve
Synopsis
- simplifyWantedsTcM :: [CtEvidence] -> TcM WantedConstraints
- solveWanteds :: WantedConstraints -> TcS WantedConstraints
- solveSimpleGivens :: [Ct] -> TcS ()
- solveSimpleWanteds :: Cts -> TcS WantedConstraints
- solveCompletelyIfRequired :: Ct -> TcS (StopOrContinue a) -> TcS (StopOrContinue a)
- setImplicationStatus :: Implication -> TcS (Maybe Implication)
Documentation
solveSimpleGivens :: [Ct] -> TcS () Source #
solveCompletelyIfRequired :: Ct -> TcS (StopOrContinue a) -> TcS (StopOrContinue a) Source #
If the mode is TcSSpecPrag, attempt to fully solve the Wanted
constraints that arise from solving Ct.
If not in TcSSpecPrag mode, simply run thing_inside.
See Note [TcSSpecPrag] in GHC.Tc.Solver.Monad.