Database.Haskey.Alloc.Transaction

This module implements mechanisms to work with transactions.

Documentation

data Transaction key val a

A committed or aborted transaction, with a return value of type a.

Constructors

Commit (Tree key val) a

Abort a

commit :: AllocM n => a -> Tree key val -> n (Transaction key val a)

Commit the new tree and return a computed value.

commit_ :: AllocM n => Tree key val -> n (Transaction key val ())

Commit the new tree, without return a computed value.

abort :: AllocM n => a -> n (Transaction key val a)

Abort the transaction and return a computed value.

abort_ :: AllocM n => n (Transaction key val ())

Abort the transaction, without returning a computed value.