ghc-8.0.2: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcInteract

Documentation

solveSimpleGivens :: [Ct] -> TcS Cts #

solveSimpleWanteds :: Cts -> TcS WantedConstraints #

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