[Haskell-cafe] Relaxing atomicity of STM transactions

[Antoine Latter]

On Tue, Sep 28, 2010 at 9:05 AM, Felipe Lessa <felipe.lessa at gmail.com> wrote:
> On Tue, Sep 28, 2010 at 11:01 AM, Antoine Latter <aslatter at gmail.com> wrote:
>> Isn't there an 'unsafeIOToSTM' function somewhere? Something like:
>>
>>> unsafeIOToSTM (IO k) = STM k
>>
>> Then you might not need the case statement.
>
> I thought there was, but I couldn't find it in the 'stm' package [1],
> using Hoogle [2] nor using Hayoo [3].
>

Funny - I had the module open in another window as I wrote my response.

It's in GHC.Conc[1]:

> unsafeIOToSTM :: IO a -> STM a

defined as I had guessed.

Antoine

[1] http://www.haskell.org/ghc/docs/6.12.2/html/libraries/base-4.2.0.1/GHC-Conc.html#v%3AunsafeIOToSTM