dev.tauri.choam.core
package dev.tauri.choam.core
Members list
Concise view
Type members
Classlikes
Attributes
- Companion:
- object
- Graph
- Supertypes
- Known subtypes
- trait AsyncReactive[F]
- Self type
- Reactive[F]
object Reactive
An effectful function from A
to B
; when executed,
it may update any number of Refs atomically. (It
may also create new Refs.)
An effectful function from A
to B
; when executed,
it may update any number of Refs atomically. (It
may also create new Refs.)
These functions are composable (see below), and composition preserves their atomicity. That is, all affected Refs will be updated atomically.
A Rxn forms an Arrow (more
specifically, an ArrowChoice).
It also forms a Monad in B
; however, consider
using the arrow combinators (when possible) instead of flatMap
(since a static combination of Rxn
s may be more performant).
The relation between Rxn and Axn is approximately
Rxn[A, B] ≡ (A => Axn[B])
; or, alternatively
Axn[A] ≡ Rxn[Any, A]
.
Attributes
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any