dev.tauri.choam
package dev.tauri.choam
Members list
Concise view
Type members
Classlikes
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. (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. (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).