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