ghc-7.8.20140130: The GHC API

Safe Haskell	None
Language	Haskell98

TcInteract

Documentation

solveInteractGiven :: CtLoc -> [TcTyVar] -> [EvVar] -> TcS (Bool, [TcTyVar])Source

solveInteract :: Cts -> TcS (Bag Implication)Source