STMModule
PackageAxial
Represents a transactional operation that can be composed, retried, and executed atomically.
Summary
| Name | Signature | Synopsis |
|---|---|---|
| Operations | ||
| retry | STM.retry | Signals that the current branch should retry once observed state changes. |
| orElse | STM.orElse left right | Tries the left branch and falls back to the right branch when the left branch retries. |
| atomically | STM.atomically transaction | Executes an STM transaction atomically within a flow while preserving retry/orElse coordination. |
Operations
kind:member
kind:member
kind:member
Executes an STM transaction atomically within a flow while preserving retry/orElse coordination.
Parameters
| Name | Type | Description |
|---|---|---|
| transaction | STM<'T> | The STM transaction to execute. |
Returns
Flow<'env, 'none, 'T>
Verification Examples
let transfer (fromAcc: TRef<int>) (toAcc: TRef<int>) amount =
stm {
let! bal = TRef.get fromAcc
if bal < amount then do! STM.retry
do! TRef.set (bal - amount) fromAcc
do! TRef.update (fun b -> b + amount) toAcc
}
let flow = STM.atomically (transfer acc1 acc2 100)