Enum Next 

pub enum Next {
    Deliver {
        seq: Seq,
        outcome: Outcome,
        record: Option<RecordBuf>,
    },
    DeliverLive {
        seq: Seq,
        outcome: Outcome,
        record: LiveRecord,
    },
    CancelAll {
        seqs: Vec<Seq>,
        reason: Payload,
        record: Option<RecordBuf>,
    },
    Update {
        ordinal: u64,
        name: Name,
        id: Name,
        payload: Payload,
        live: Option<u64>,
    },
    Stalled,
    Idle,
}

The next thing to hand to the code.

Variants

Deliver

Resolve operation seq. If record is set, append it first: this is a live delivery and the record is how the journal remembers it.

Fields

seq: Seq

outcome: Outcome

record: Option<RecordBuf>

DeliverLive

A live step’s or async completion’s result: append LiveRecord::record first, then resolve seq with outcome. The record borrows the outcome’s payload and status, so the payload is never cloned for it.

Fields

seq: Seq

outcome: Outcome

record: LiveRecord

CancelAll

Cancellation reached the code: resolve every listed operation with Status::Cancelled and reason.

Fields

seqs: Vec<Seq>

reason: Payload

record: Option<RecordBuf>

Update

An update reached its turn: start its handler now.

• live: None: the update is recorded (replay, or delivered with the start). Start the handler; nothing is appended.
• live: Some(token): a new request. Run the validator now, then call RunMachine::accept_update (and append its record) or drop it.

Fields

ordinal: u64

name: Name

id: Name

payload: Payload

live: Option<u64>

Stalled

Replay is waiting for the code to start the operation the journal delivers next. If the code is quiescent and nothing live is pending, this is a determinism error (RunMachine::stall_error).

Idle

Nothing to deliver.

Trait Implementations

impl Clone for Next

fn clone(&self) -> Next

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Next

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for Next

fn eq(&self, other: &Next) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Next

impl StructuralPartialEq for Next