Struct StateDiffRef

pub struct StateDiffRef<'a, D: Domain> {
    pub initial_state: &'a D::State,
    pub diff: &'a D::Diff,
}

A joint reference to an initial state and a difference to this state.

Fields

initial_state: &'a D::State

Initial state

diff: &'a D::Diff

Difference to the initial state

Implementations

impl<'a, D: Domain> StateDiffRef<'a, D>

pub fn new(initial_state: &'a D::State, diff: &'a D::Diff) -> Self

Trait Implementations

impl<D: Domain> Clone for StateDiffRef<'_, D>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<D: Domain> Debug for StateDiffRef<'_, D>

where D::State: Debug, D::Diff: Debug,

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

Formats the value using the given formatter.

impl<D: Domain> Copy for StateDiffRef<'_, D>