Abort a transaction.
Abort a transaction. Will raise error
whenever
evaluated with atomically.
Commit the STM
action as an IO
action.
Commit the STM
action as an IO
action. The mutable
state of TVar
s is only modified when this is invoked
(hence the IO
context - modifying mutable state
is a side effect).
Retry transaction until check
succeeds.
Retry transaction until check
succeeds.
Fallback to an alternative STM
action if the first one
retries.
Fallback to an alternative STM
action if the first one
retries. The whole orElse
action is retried if both
attempt
and fallback
retry.
Monadic return.
Convenience definition.
Alias for pure(())
.
(Since version ) see corresponding Javadoc for more information.