STM

The STM module provides composable atomic transactions.

Core types

• FsFlow.TRef: Represents a transactional reference that can be updated atomically within an STM transaction.
• FsFlow.STM: Represents a transactional operation that can be composed and executed atomically.

Module functions

• FsFlow.TRefModule.make: Creates a new TRef with the initial value.
• FsFlow.TRefModule.get: Reads the current value of the transactional reference within a transaction.
• FsFlow.TRefModule.set: Sets the value of the transactional reference within a transaction.
• FsFlow.TRefModule.update: Updates the value of the transactional reference within a transaction using the supplied function.
• FsFlow.STM.atomically: Executes an STM transaction atomically within a flow.

Builder

• FsFlow.StmBuilders.stm: The stm { } computation expression for building atomic transactions.