Safe Haskell | None |
---|---|
Language | Haskell2010 |
TcInteract
Documentation
solveSimpleGivens :: [Ct] -> TcS Cts #
solveCallStack :: CtEvidence -> EvCallStack -> TcS () #
ghc-8.0.2: The GHC API
Safe Haskell | None |
---|---|
Language | Haskell2010 |
TcInteract
solveSimpleGivens :: [Ct] -> TcS Cts #
solveCallStack :: CtEvidence -> EvCallStack -> TcS () #