Enum CardEquality

pub enum CardEquality<D: Dim> {
    Equal,
    Unequal(D::CardIdx, usize, usize),
}

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

The result can be

• CardEquality::Equal iff the cardinality of the structures as well as all values at corresponding positions are equal.
• CardEquality::Unequal if cardinalities do not agree at at least one level.

Variants

Equal

Cardinality of the structures and all their corresponding children have equal cardinalities.

Unequal(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.

Trait Implementations

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

where D::CardIdx: Clone,

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

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

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

Formats the value using the given formatter.

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

where D::CardIdx: PartialEq,

fn eq(&self, other: &CardEquality<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 CardEquality<D>

where D::CardIdx: Copy,

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

where D::CardIdx: Eq,

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