Struct MutationSummary 

pub struct MutationSummary {
    pub operation: OperationKey,
    pub case: Option<CaseKey>,
    pub command_ref: Option<CommandRef>,
}

One mutation a side would run.

It is described by operation and case rather than by a domain payload, because that is the level at which two different implementations of the same intent are comparable at all.

Fields

operation: OperationKey

What it does.

case: Option<CaseKey>

What it changes, when the side resolved a case.

command_ref: Option<CommandRef>

The command inside the reduction, for the side that has one.

Trait Implementations

impl Clone for MutationSummary

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 MutationSummary

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

Formats the value using the given formatter.

impl Eq for MutationSummary

impl PartialEq for MutationSummary

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for MutationSummary