Safe Haskell | None |
---|
TcInteract
Documentation
solveInteractGiven :: GivenLoc -> [EvVar] -> TcS (Bag Implication)Source
solveInteractCts :: [Ct] -> TcS (Bag Implication)Source
ghc-7.6.1: The GHC API
Safe Haskell | None |
---|
TcInteract
solveInteractGiven :: GivenLoc -> [EvVar] -> TcS (Bag Implication)Source
solveInteractCts :: [Ct] -> TcS (Bag Implication)Source