ghc-8.0.0.20160204: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcInteract

Documentation

solveSimpleGivens :: [Ct] -> TcS Cts Source

solveSimpleWanteds :: Cts -> TcS WantedConstraints Source

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