TcCanonical

Documentation

canonicalize :: Ct -> TcS (StopOrContinue Ct)

unifyDerived :: CtLoc -> Role -> Pair TcType -> TcS ()

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

maybeSym :: SwapFlag -> TcCoercion -> TcCoercion

data StopOrContinue a

Constructors

ContinueWith a

Stop CtEvidence SDoc

Instances

Functor StopOrContinue

Defined in TcCanonical

Methods

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

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

Outputable a => Outputable (StopOrContinue a)

Defined in TcCanonical

Methods

ppr :: StopOrContinue a -> SDoc

pprPrec :: Rational -> StopOrContinue a -> SDoc

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

continueWith :: a -> TcS (StopOrContinue a)

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