Struct EmptyCard

pub struct EmptyCard<D: Dim> { /* private fields */ }

Empty cardinality.

Practically this means that the cardinality of the child dimension, and hence, the cardinality of all lower dimension children, of the vector is equal to 0.

Whenever the vector has zero cardinality, it is not capable of producing any valid value; i.e., there exists no in_bounds index.

This cardinality is useful in providing a shorthand to create empty or default vectors of any type.

Trait Implementations

impl<D: Dim> Card<D> for EmptyCard<D>

fn is_rectangular(&self) -> bool

Returns true if the cardinality is bounded and rectangular; i.e,

fn cardinality_of(&self, idx: impl Into<<D as Dim>::CardIdx>) -> usize

Returns the cardinality of the child of the vector at the given idx.

fn child_card(&self, i: <D as Dim>::ChildIdx) -> impl Card<<D as Dim>::PrevDim>

Returns the cardinality of the child of this vector at the given left_most_idx.

fn child_fun<T, F>( &self, i: <D as Dim>::ChildIdx, _fun: F, ) -> impl Fn(<<D as Dim>::PrevDim as Dim>::Idx) -> T

where F: Fn(<D as Dim>::Idx) -> T,

Creates a function, say new_fun, which applies the first of the indices to left_most_index such that:

fn vec_all<'a, T, N>(&'a self, _: &'a N) -> impl Iterator<Item = T>

where N: NVec<D, T> + 'a,

Returns an iterator over all elements of the vec provided that this is its cardinality.

fn vec_enumerate_all<'a, T, N>( &'a self, _: &'a N, ) -> impl Iterator<Item = (<D as Dim>::Idx, T)>

where N: NVec<D, T> + 'a,

Returns an iterator over all elements of the vec together with their corresponding indices provided that this is its cardinality.

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<D: Dim> Default for EmptyCard<D>

fn default() -> Self

Returns the “default value” for a type.

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