Enum Skip 

pub enum Skip {
    Excluded,
    Inapplicable,
    Unresolved,
}

Why a row’s Action receipt carries no steps and was never operated on, the three ways Core::run_action decides a row out before the fan-out starts (docs/spec/actions.md’s “The Selection and the gate”). Closed and matched exhaustively rather than three booleans, so a fourth reason to skip a row is a compile error here rather than a silent omission.

Variants

Excluded

A [[repo]] entry with exclude = true: the row was in the Selection and never operated on. The one legitimate producer of Not applicable.

Inapplicable

The Action’s own when predicate disproved this row: it was operable, but when said the row does not apply, so it was never handed a step.

Unresolved

The Action’s own when predicate could not settle on this row, because a Cell it reads has not settled. Not excluded and not disproved: a run has no basis to touch an unprovable row, so it is skipped exactly as a disproved one is.

Trait Implementations

impl Clone for Skip

fn clone(&self) -> Skip

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Skip

impl Debug for Skip

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

Formats the value using the given formatter.

impl Eq for Skip

impl PartialEq for Skip

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Skip