dev.tauri.choam
package dev.tauri.choam
Members list
Type members
Types
The description of an effect, which (when executed), results in a value of type A
; during execution, it may update any number of Refs atomically (and it may also create new Ref
s).
The description of an effect, which (when executed), results in a value of type A
; during execution, it may update any number of Refs atomically (and it may also create new Ref
s).
This type forms a Monad
. However, when composing these kinds of effects, also consider using Rxn and >>>
or *>
instead of flatMap
.
The relation between Axn and Rxn is approximately Axn[A] ≡ Axn[Any, A]
; or, alternatively Rxn[A, B] ≡ (A => Axn[B])
(see toFunction).
Attributes
In this article