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