Exporting ioToST from Control.Monad.ST

David Feuer david.feuer at gmail.com
Thu Jul 20 16:02:07 UTC 2017

This seems to commit to ST and IO really being the same. Does stToIO
already make this commitment? I can't tell, but if not, I oppose making
that commitment in the "public" interface.

On Jul 20, 2017 11:51 AM, "Andrew Martin" <andrew.thaddeus at gmail.com> wrote:

There's a function stToIO that is defined in GHC.IO and exported from
Control.Monad.ST. There's another function, ioToST, that's also defined in
IO, but it isn't exported from Control.Monad.ST. I propose that it be
exported from Control.Monad.ST.

-Andrew Thaddeus Martin

Libraries mailing list
Libraries at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20170720/fa6e8540/attachment.html>

More information about the Libraries mailing list