ghc-7.7.20130829: The GHC API
TcInteract
solveInteractGiven :: CtLoc -> [TcTyVar] -> [EvVar] -> TcS ()Source
solveInteract :: Cts -> TcS (Bag Implication)Source