Exporting ioToST from Control.Monad.ST

Andrew Martin andrew.thaddeus at gmail.com
Thu Jul 20 17:36:47 UTC 2017

My understanding is that `ST RealWorld` and `IO` are genuinely the same
thing. But I'd want someone with better understanding to corroborate that

On Thu, Jul 20, 2017 at 12:02 PM, David Feuer <david.feuer at gmail.com> wrote:

> 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
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

-Andrew Thaddeus Martin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20170720/9228c1c3/attachment.html>

More information about the Libraries mailing list