Safe Haskell | None |
---|
Documentation
solveInteractWanted :: [WantedEvVar] -> TcS ()Source
solveInteractGiven :: GivenLoc -> [EvVar] -> TcS ()Source
solveInteractCts :: [Ct] -> TcS ()Source
Safe Haskell | None |
---|
solveInteractWanted :: [WantedEvVar] -> TcS ()Source
solveInteractGiven :: GivenLoc -> [EvVar] -> TcS ()Source
solveInteractCts :: [Ct] -> TcS ()Source