Safe Haskell | None |
---|---|
Language | Haskell2010 |
TcInteract
Documentation
solveSimpleGivens :: [Ct] -> TcS () Source #
ghc-lib-0.20190909: The GHC API, decoupled from GHC versions
Safe Haskell | None |
---|---|
Language | Haskell2010 |
TcInteract
solveSimpleGivens :: [Ct] -> TcS () Source #