Enum SafePoint 

pub enum SafePoint {
    BeforeAssemble {
        turn: u32,
    },
    BeforeCall {
        turn: u32,
    },
    BeforeWave {
        turn: u32,
    },
    BeforeToolCall {
        turn: u32,
        call: u32,
    },
    BeforeSpawn {
        turn: u32,
    },
}

Where the driver stops to ask whether anything arrived. The turn layer owns three cancellation-safe points; this enum is how the driver names them to a caller that knows nothing about turn internals.

Variants

BeforeAssemble

Fields

turn: u32

BeforeCall

Fields

turn: u32

BeforeWave

Fields

turn: u32

BeforeToolCall

Before one call of the wave, asked once per call. A wave is as many effects as the model asked for, so a halt that arrives while the third of eight runs stops the fourth rather than the next turn.

Fields

turn: u32

call: u32

BeforeSpawn

After the wave, before the run acts on what the turn decided. The one boundary a run that concluded still passes through, so a cancel arriving that late stops the work the turn handed down instead of arriving at a run that has already ended.

Fields

turn: u32

Trait Implementations

impl Clone for SafePoint

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SafePoint

impl Debug for SafePoint

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

Formats the value using the given formatter.

impl Eq for SafePoint

impl PartialEq for SafePoint

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SafePoint