Trait TupleDiffer

pub trait TupleDiffer {
    type Ok;
    type Err;

    // Required methods
    fn diff_field<T>(&mut self, a: &T, b: &T)
       where T: Diff + ?Sized;
    fn end(self) -> Result<Self::Ok, Self::Err>;

    // Provided method
    fn skip_field<T: ?Sized>(&mut self) { ... }
}

A type that can do something with information about differences in a tuple or tuple-like struct.

For two tuples to be of the same type (and thus be able to be diffed), they must be the same length. For types that vary in length, you want a SeqDiffer instead.

Required Associated Types

type Ok

Type returned on success.

type Err

Type returned on failure.

Required Methods

fn diff_field<T>(&mut self, a: &T, b: &T)

where T: Diff + ?Sized,

Visits the next field in each tuple. The field number is implicit.

fn end(self) -> Result<Self::Ok, Self::Err>

Finish diffing the tuples and return a result.

Provided Methods

fn skip_field<T: ?Sized>(&mut self)

Signals that a field is being skipped. Some differs may do something with this information.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl TupleDiffer for ()

type Ok = ()

type Err = Void

fn diff_field<T>(&mut self, _: &T, _: &T)

where T: Diff + ?Sized,

fn end(self) -> Result<Self::Ok, Self::Err>

Implementors

impl<R> TupleDiffer for Const<R>

type Ok = R

type Err = Void