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