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