ghc-8.2.2: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcInteract

Documentation

solveSimpleGivens :: [Ct] -> TcS () Source #

solveSimpleWanteds :: Cts -> TcS WantedConstraints Source #

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