| 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