GHC.Tc.Solver.Canonical

Documentation

canonicalize :: Ct -> TcS (StopOrContinue Ct)

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

unifyTest :: CtEvidence -> TcTyVar -> TcType -> TcS UnifyTestResult

data UnifyTestResult

Constructors

UnifySameLevel

UnifyOuterLevel [TcTyVar] TcLevel

NoUnify

Instances

Outputable UnifyTestResult

Defined in GHC.Tc.Solver.Canonical

Methods

ppr :: UnifyTestResult -> SDoc

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

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