dev.tauri.choam
package dev.tauri.choam
Members list
Packages
package dev.tauri.choam.async
package dev.tauri.choam.core
package dev.tauri.choam.data
package dev.tauri.choam.internal.mcas
package dev.tauri.choam.laws
package dev.tauri.choam.random
package dev.tauri.choam.refs
package dev.tauri.choam.stream
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