Struct PlanStep

pub struct PlanStep {
    pub operation: Operation,
    pub backend: BackendId,
    pub guaranteed: Determinism,
    pub input: String,
}

One recorded step: what ran, where, and under what guarantee.

Provenance survives across operations by accumulating these in order. A step records the guarantee the provider actually delivered, not the one the caller asked for, so a plan that ran at a weaker level than requested is visible after the fact rather than indistinguishable from one that did not.

Fields

operation: Operation

Operation performed.

backend: BackendId

Backend that performed it.

guaranteed: Determinism

Determinism the backend actually guaranteed for this step.

input: String

Stable description of the input family this step consumed.

Implementations

impl PlanStep

pub fn new( operation: Operation, backend: BackendId, guaranteed: Determinism, input: &str, ) -> Self

Record a step.

Trait Implementations

impl Clone for PlanStep

fn clone(&self) -> PlanStep

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PlanStep

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

Formats the value using the given formatter.

impl PartialEq for PlanStep

fn eq(&self, other: &PlanStep) -> 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 PlanStep

impl StructuralPartialEq for PlanStep