ghc-9.6.3: The GHC API

Safe Haskell | Safe-Inferred
Language | Haskell2010

GHC.Tc.Solver.Canonical

# Documentation

canonicalize :: Ct -> TcS (StopOrContinue Ct) Source #

unifyWanted :: RewriterSet -> CtLoc -> Role -> TcType -> TcType -> TcS Coercion Source #

makeSuperClasses :: [Ct] -> TcS [Ct] Source #

data StopOrContinue a Source #

Constructors

ContinueWith a |
Stop CtEvidence SDoc |

#### Instances

Instances details

Functor StopOrContinue Source # |
Instance details Defined in GHC.Tc.Solver.Canonical Methods fmap :: (a -> b) -> StopOrContinue a -> StopOrContinue b Source # (<$) :: a -> StopOrContinue b -> StopOrContinue a Source #
Outputable a => Outputable (StopOrContinue a) Source # |
Instance details Defined in GHC.Tc.Solver.Canonical Methods ppr :: StopOrContinue a -> SDoc Source #

stopWith :: CtEvidence -> String -> TcS (StopOrContinue a) Source #

continueWith :: a -> TcS (StopOrContinue a) Source #

andWhenContinue :: TcS (StopOrContinue a) -> (a -> TcS (StopOrContinue b)) -> TcS (StopOrContinue b) infixr 0 Source #

rewriteEqEvidence :: RewriterSet -> CtEvidence -> SwapFlag -> Reduction -> Reduction -> TcS CtEvidence Source #

solveCallStack :: CtEvidence -> EvCallStack -> TcS () Source #