Expand description
An actor is a fold over an immutable log.
Each component is a Moore machine: step consumes one fact, output
returns the view and the transitions that state enables. The runtime is
the edge that runs those transitions. A transition that has already left
a cause in the log is not selected again, so resuming a thread continues
unfinished work and does not repeat finished work.
Structs§
- Actor
- Erased
Component - Prepared
Transition - A preparation value and the still-unexecuted continuation it authorizes. Only the actor appends these facts; preparing never acquires tool effects.
- Settlement
- Transition
Enums§
Functions§
- append_
input - Append one host input to the existing actor log without resuming it.
- component
- ingest
- ingest_
with_ cancel - resume
- resume_
with_ cancel