Database.Haskey.Alloc.Transaction

This module implements mechanisms to work with transactions.

Documentation

data Transaction r a

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

Constructors

Commit r a

Abort a

commit :: AllocM n => a -> r -> n (Transaction r a)

Commit the new tree and return a computed value.

commit_ :: AllocM n => r -> n (Transaction r ())

Commit the new tree, without return a computed value.

abort :: AllocM n => a -> n (Transaction r a)

Abort the transaction and return a computed value.

abort_ :: AllocM n => n (Transaction r ())

Abort the transaction, without returning a computed value.