Enum IdleContinuation 

pub enum IdleContinuation {
    CallProvider,
    Await,
}

What a provider turn does when the kernel’s own adjudication left nothing for a host to run.

Spec adjudication §5k: a batch of pure control-plane calls (skill, update_plan) publishes no effect, so without this the operation would have nothing outstanding and stall.

Variants

CallProvider

§5k · nothing is outstanding, so the kernel continues the turn the only way a turn continues: it calls the provider again.

Await

The adjudication already published kernel-owned work (a memory effect, a spawn round). The turn resumes when that work resolves; issuing a provider call now would race it.

Trait Implementations

impl Clone for IdleContinuation

fn clone(&self) -> IdleContinuation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for IdleContinuation

impl Debug for IdleContinuation

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

Formats the value using the given formatter.

impl Default for IdleContinuation

fn default() -> IdleContinuation

Returns the “default value” for a type.

impl Eq for IdleContinuation

impl PartialEq for IdleContinuation

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for IdleContinuation