Trait tuplex::HomoTuple

pub trait HomoTuple<T>
where
    Self: Len + IntoArray<T> + IntoBoxedSlice<T>,
{
    type FieldsWrapped;
    type TupleWrapped: IntoIterator<Item = T>;

    // Required methods
    fn wrap_fields(self) -> Self::FieldsWrapped;
    fn wrap_tuple(self) -> Self::TupleWrapped;
    fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter;
}

Homogeneous Tuple’s trait.

Required Associated Types

type FieldsWrapped

New type of tuple after fields converted into Option.

type TupleWrapped: IntoIterator<Item = T>

New type of tuple after the whole tuple has been wrapped.

Required Methods

fn wrap_fields(self) -> Self::FieldsWrapped

Converts fields into Option.

fn wrap_tuple(self) -> Self::TupleWrapped

Wraps the whole tuple and get a new type.

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

Converts the tuple into an iterater which owns the fields, by internally converting all fields into Options.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<T> HomoTuple<T> for (T, T)

type FieldsWrapped = (Option<T>, Option<T>)

type TupleWrapped = HTup2<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup3<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup4<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup5<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup6<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup7<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup8<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup9<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup10<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup11<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup12<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup13<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup14<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup15<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup16<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup17<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup18<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup19<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup20<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup21<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup22<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup23<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup24<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup25<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup26<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup27<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup28<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup29<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup30<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup31<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T, T)

type FieldsWrapped = (Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>, Option<T>)

type TupleWrapped = HTup32<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for (T,)

type FieldsWrapped = (Option<T>,)

type TupleWrapped = HTup1<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

impl<T> HomoTuple<T> for ()

type FieldsWrapped = ()

type TupleWrapped = HTup0<T>

fn wrap_fields(self) -> Self::FieldsWrapped

fn wrap_tuple(self) -> Self::TupleWrapped

fn wrap_into_iter(self) -> <Self::TupleWrapped as IntoIterator>::IntoIter

Implementors