Trait variadics::VecVariadic

pub trait VecVariadic: VariadicExt + Sealed {
    type UnVec: VariadicExt<IntoVec = Self>;
    type IntoZip: Iterator<Item = Self::UnVec>;
    type Drain<'a>: Iterator<Item = Self::UnVec>
       where Self: 'a;

    // Required methods
    fn zip_vecs(
        &self,
    ) -> impl Iterator<Item = <Self::UnVec as VariadicExt>::AsRefVar<'_>>;
    fn push(&mut self, item: Self::UnVec);
    fn get(
        &mut self,
        index: usize,
    ) -> Option<<Self::UnVec as VariadicExt>::AsRefVar<'_>>;
    fn into_zip(self) -> Self::IntoZip;
    fn drain<R>(&mut self, range: R) -> Self::Drain<'_>
       where R: RangeBounds<usize> + Clone;
}

trait for Variadic of vecs, as formed by VariadicExt::into_vec()

Required Associated Types

type UnVec: VariadicExt<IntoVec = Self>

Individual variadic items without the Vec wrapper

type IntoZip: Iterator<Item = Self::UnVec>

result type from into_zip

type Drain<'a>: Iterator<Item = Self::UnVec> where Self: 'a

result type from drain

Required Methods

fn zip_vecs( &self, ) -> impl Iterator<Item = <Self::UnVec as VariadicExt>::AsRefVar<'_>>

zip across all the vecs in this VariadicVec

fn push(&mut self, item: Self::UnVec)

append an unvec’ed Variadic into this VariadicVec

fn get( &mut self, index: usize, ) -> Option<<Self::UnVec as VariadicExt>::AsRefVar<'_>>

get the unvec’ed Variadic at position index

fn into_zip(self) -> Self::IntoZip

Turns into an iterator of items UnVec – i.e. iterate through rows (not columns!).

fn drain<R>(&mut self, range: R) -> Self::Drain<'_>

where R: RangeBounds<usize> + Clone,

Turns into a Drain of items UnVec – i.e. iterate through rows (not columns!).

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl VecVariadic for ()

type UnVec = ()

fn zip_vecs( &self, ) -> impl Iterator<Item = <Self::UnVec as VariadicExt>::AsRefVar<'_>>

fn push(&mut self, _item: Self::UnVec)

fn get( &mut self, _index: usize, ) -> Option<<Self::UnVec as VariadicExt>::AsRefVar<'_>>

type IntoZip = Repeat<()>

fn into_zip(self) -> Self::IntoZip

type Drain<'a> = Repeat<()> where Self: 'a

fn drain<R>(&mut self, _range: R) -> Self::Drain<'_>

where R: RangeBounds<usize>,

impl<Item, Rest> VecVariadic for (Vec<Item>, Rest)

where Rest: VecVariadic,

type UnVec = (Item, <Rest as VecVariadic>::UnVec)

fn zip_vecs( &self, ) -> impl Iterator<Item = <Self::UnVec as VariadicExt>::AsRefVar<'_>>

fn push(&mut self, row: Self::UnVec)

fn get( &mut self, index: usize, ) -> Option<<Self::UnVec as VariadicExt>::AsRefVar<'_>>

type IntoZip = Zip<IntoIter<Item>, <Rest as VecVariadic>::IntoZip>

fn into_zip(self) -> Self::IntoZip

type Drain<'a> = Zip<Drain<'a, Item>, <Rest as VecVariadic>::Drain<'a>> where Self: 'a

fn drain<R>(&mut self, range: R) -> Self::Drain<'_>

where R: RangeBounds<usize> + Clone,

Implementors