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