ghc-9.2.0.20210331: The GHC API
Safe HaskellSafe-Inferred
LanguageHaskell2010

GHC.Tc.Solver.Canonical

Documentation

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

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

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

data UnifyTestResult Source #

Constructors

UnifySameLevel 
UnifyOuterLevel [TcTyVar] TcLevel 
NoUnify 

Instances

Instances details
Outputable UnifyTestResult # 
Instance details

Defined in GHC.Tc.Solver.Canonical

Methods

ppr :: UnifyTestResult -> SDoc Source #

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

data StopOrContinue a Source #

Constructors

ContinueWith a 
Stop CtEvidence SDoc 

Instances

Instances details
Functor StopOrContinue # 
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) # 
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 #

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