Type Members

1.  final type =#>[-A, +B] = choam.core.Rxn[A, B]
2.  final type Axn[+A] = choam.core.Rxn[Any, A]

   The description of an effect, which (when executed), results in a value of type A.

   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 Refs.)

   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).

3.  final type Exchanger[A, B] = choam.core.Exchanger[A, B]
4.  final type Reactive[F[_]] = choam.core.Reactive[F]
5.  final type Ref[A] = choam.refs.Ref[A]
6.  final type RefLike[A] = choam.refs.RefLike[A]
7.  final type Rxn[-A, +B] = choam.core.Rxn[A, B]