package choam
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- choam
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Package Members
Type Members
- final type =#>[-A, +B] = choam.core.Rxn[A, B]
- 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 newRef
s.)This type forms a
Monad
. However, when composing these kinds of effects, also consider using Rxn and>>>
or*>
instead offlatMap
.The relation between Axn and Rxn is approximately
Axn[A] ≡ Axn[Any, A]
; or, alternativelyRxn[A, B] ≡ (A => Axn[B])
(see toFunction). - final type Exchanger[A, B] = choam.core.Exchanger[A, B]
- final type Reactive[F[_]] = choam.core.Reactive[F]
- final type Ref[A] = choam.refs.Ref[A]
- final type RefLike[A] = choam.refs.RefLike[A]
- final type Rxn[-A, +B] = choam.core.Rxn[A, B]
Value Members
- final val Reactive: choam.core.Reactive.type
- final val Ref: choam.refs.Ref.type
- final val RefLike: choam.refs.RefLike.type
- final val Rxn: choam.core.Rxn.type
- object Axn
Pseudo-companion object for the type alias
Axn
.