Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module implements mechanisms to work with transactions.
- data Transaction key val a
- commit :: AllocM n => a -> Tree key val -> n (Transaction key val a)
- commit_ :: AllocM n => Tree key val -> n (Transaction key val ())
- abort :: AllocM n => a -> n (Transaction key val a)
- abort_ :: AllocM n => n (Transaction key val ())
Documentation
data Transaction key val a Source #
A committed or aborted transaction, with a return value of type a
.
commit :: AllocM n => a -> Tree key val -> n (Transaction key val a) Source #
Commit the new tree and return a computed value.
commit_ :: AllocM n => Tree key val -> n (Transaction key val ()) Source #
Commit the new tree, without return a computed value.
abort :: AllocM n => a -> n (Transaction key val a) Source #
Abort the transaction and return a computed value.
abort_ :: AllocM n => n (Transaction key val ()) Source #
Abort the transaction, without returning a computed value.