FakeSTM, Was: [Haskell-cafe] What is MonadPlus good for?

[Tomasz Zielonka]

On Sun, Feb 13, 2005 at 11:25:07PM +0100, Remi Turk wrote:
> > > (as the paper claims that e.g. mergeIO :: [IO a] -> IO a is
> > > unimplementable in anything built on mutexes and condition
> > > variables.)
> > 
> > My STM monad is not IO, it has the same restrictions as STM in the
> > paper. The paper doesn't claim you can't implement mergeSTM :: [STM a]
> > -> STM a mergeSTM = msum

> P.S. And don't forget to post a link when you put it online.

Here is the darcs repository:

    http://www.uncurry.com/repos/FakeSTM/

Warning: no documentation (other than patch comments), probably some
         bugs

Best regards
Tomasz