Enum Equality

pub enum Equality<D: Dim> {
    Equal,
    UnequalCard(D::CardIdx, usize, usize),
    UnequalValue(D::Idx),
}

Result of an equality check of two vectors of the same dimension.

The result can be

• Equality::Equal iff the cardinality of the structures as well as all values at corresponding positions are equal.
• Equality::UnequalCard if cardinalities do not agree at at least one level.
• Equality::UnequalValue if any of the values are different.

Variants

Equal

Cardinality of the structures as well as all values at corresponding positions are equal.

UnequalCard(D::CardIdx, usize, usize)

Cardinalities do not agree at at least one level. The tuple (idx, card1, card2) represents the following:

• idx is the place the inequality in cardinalities are observed;
• card1 and card2 are the unequal cardinalities at the given idx in the first and second vectors, respectively.

UnequalValue(D::Idx)

Values of at least one of the element is different. The (idx) represents the index where the value inequality is observed.

Trait Implementations

impl<D: Clone + Dim> Clone for Equality<D>

where D::CardIdx: Clone, D::Idx: Clone,

fn clone(&self) -> Equality<D>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<D: Dim> Debug for Equality<D>

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

Formats the value using the given formatter.

impl<D: Dim> Display for Equality<D>

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

Formats the value using the given formatter.

impl<D: PartialEq + Dim> PartialEq for Equality<D>

where D::CardIdx: PartialEq, D::Idx: PartialEq,

fn eq(&self, other: &Equality<D>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<D: Copy + Dim> Copy for Equality<D>

where D::CardIdx: Copy, D::Idx: Copy,

impl<D: Eq + Dim> Eq for Equality<D>

where D::CardIdx: Eq, D::Idx: Eq,

impl<D: Dim> StructuralPartialEq for Equality<D>