Struct WorkloopIterationClose 

pub struct WorkloopIterationClose {
    pub routes: Vec<String>,
    pub carry: Payload,
    pub invariant_states: Vec<(String, Payload)>,
}

One iteration close, as the compiled route start(carry) terminal hands it to the engine.

Fields

routes: Vec<String>

Routes the iteration took, in order; the last is its terminal.

carry: Payload

Carry payload threaded into the successor generation (the route’s payload — route start(seen: ...)).

invariant_states: Vec<(String, Payload)>

Typed invariant current-state values the iteration produced, keyed by invariant name (type-checked at the surface, type-erased here).

Trait Implementations

impl Clone for WorkloopIterationClose

fn clone(&self) -> WorkloopIterationClose

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WorkloopIterationClose

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

Formats the value using the given formatter.