ghc-8.0.1: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcInteract

Documentation

solveSimpleGivens :: [Ct] -> TcS Cts Source #

solveSimpleWanteds :: Cts -> TcS WantedConstraints Source #

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