Struct ObservationOp 

pub struct ObservationOp {
    pub op: Op,
    pub expectation: Expectation,
}

One observed operation together with its arbitration precondition.

Fields

op: Op

Proposed path mutation.

expectation: Expectation

Arbitration precondition for that mutation.

Implementations

impl ObservationOp

pub const fn unconditional(op: Op) -> Self

An operation whose fresh verification makes arrival order authoritative.

pub const fn if_state(op: Op, expected: PathExpectation) -> Self

An operation valid only while expected still matches the index.

Trait Implementations

impl Clone for ObservationOp

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ObservationOp

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

Formats the value using the given formatter.

impl Eq for ObservationOp

impl PartialEq for ObservationOp

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ObservationOp