ghc-8.2.2: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcCanonical

Documentation

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

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

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

maybeSym :: SwapFlag -> TcCoercion -> TcCoercion Source #

data StopOrContinue a Source #

Constructors

ContinueWith a 
Stop CtEvidence SDoc 

Instances

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

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