Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
solveSimpleGivens :: [Ct] -> TcS () Source #
solveSimpleWanteds :: Cts -> TcS WantedConstraints Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
solveSimpleGivens :: [Ct] -> TcS () Source #
solveSimpleWanteds :: Cts -> TcS WantedConstraints Source #