ghc-7.8.4: The GHC API

Safe Haskell	None
Language	Haskell98

TcInteract

Documentation

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

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