GHC.Tc.Solver.Canonical

Documentation

canonicalize :: Ct -> TcS (StopOrContinue Ct)

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

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

data StopOrContinue a

Constructors

ContinueWith a

Stop CtEvidence SDoc

Instances

Functor StopOrContinue

Defined in GHC.Tc.Solver.Canonical

Methods

fmap :: (a -> b) -> StopOrContinue a -> StopOrContinue b

(<$) :: a -> StopOrContinue b -> StopOrContinue a

Outputable a => Outputable (StopOrContinue a)

Defined in GHC.Tc.Solver.Canonical

Methods

ppr :: StopOrContinue a -> SDoc

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

continueWith :: a -> TcS (StopOrContinue a)

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

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

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