Trait MapDiffer

pub trait MapDiffer {
    type Ok;
    type Err;

    // Required methods
    fn diff_entry<K, V>(&mut self, key: &K, a: &V, b: &V)
       where K: ?Sized + Debug,
             V: ?Sized + Diff;
    fn only_in_left<K, V>(&mut self, key: &K, a: &V)
       where K: ?Sized + Debug,
             V: ?Sized + Diff;
    fn only_in_right<K, V>(&mut self, key: &K, b: &V)
       where K: ?Sized + Debug,
             V: ?Sized + Diff;
    fn end(self) -> Result<Self::Ok, Self::Err>;
}

A type that can do something with information about differences in a map-like, key-value type.

Required Associated Types

type Ok

Type returned on success.

type Err

Type returned on failure.

Required Methods

fn diff_entry<K, V>(&mut self, key: &K, a: &V, b: &V)

where K: ?Sized + Debug, V: ?Sized + Diff,

Both maps contain entries for key; check them for differences.

fn only_in_left<K, V>(&mut self, key: &K, a: &V)

where K: ?Sized + Debug, V: ?Sized + Diff,

Key key is only present in the left map, with value a.

fn only_in_right<K, V>(&mut self, key: &K, b: &V)

where K: ?Sized + Debug, V: ?Sized + Diff,

Key key is only present in the right map, with value b.

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

We’ve reached the end of the maps.

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 MapDiffer for ()

type Ok = ()

type Err = Void

fn diff_entry<K, V>(&mut self, _: &K, _: &V, _: &V)

where K: ?Sized + Debug, V: ?Sized + Diff,

fn only_in_left<K, V>(&mut self, _: &K, _: &V)

where K: ?Sized + Debug, V: ?Sized + Diff,

fn only_in_right<K, V>(&mut self, _: &K, _: &V)

where K: ?Sized + Debug, V: ?Sized + Diff,

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

Implementors

impl<R> MapDiffer for Const<R>

type Ok = R

type Err = Void