ghc-8.0.0.20160421: The GHC API
TcInteract
solveSimpleGivens :: [Ct] -> TcS Cts Source #
solveSimpleWanteds :: Cts -> TcS WantedConstraints Source #
solveCallStack :: CtEvidence -> EvCallStack -> TcS () Source #