Transaction Module
Functions and values
| Function or value |
Description
|
Full Usage:
run f
Parameters:
unit -> 'T
Returns: 'T
Type parameters: 'T |
Runs a function as a transaction. Writes inside the transaction are deferred and applied at commit. Nested calls join the running transaction. Reads inside a transaction see the pre-transaction values.
Example
val ignore: value: 'T -> unit
|
Mibo