Trait shrimple_parser::tuple::IndexTuple

pub trait IndexTuple<const N: usize>: Sized + Tuple {
    type Nth;
    type NthMapped<U>;

    // Required methods
    fn nth(this: Self) -> Self::Nth;
    fn nth_ref(this: &Self) -> &Self::Nth;
    fn map_nth<U>(
        this: Self,
        f: impl FnOnce(Self::Nth) -> U
    ) -> Self::NthMapped<U>;
}

Expand description

The trait for a tuple that has the N-th element, the backbone of the [nth] function. The associated functions are not to be used directly, instead use the equivalent functions or methods of the Tuple trait.

Required Associated Types§

type Nth

The N-th element of the tuple.

type NthMapped<U>

The tuple with its N-th element mapped to U.

Required Methods§

fn nth(this: Self) -> Self::Nth

Returns the N-th element of the tuple.

fn nth_ref(this: &Self) -> &Self::Nth

Returns a reference to the N-th element of the tuple.

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

Returns the tuple with the N-th element transformed by f

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

impl<T0> IndexTuple<0> for (T0,)

type Nth = T0

type NthMapped<U> = (U,)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1> IndexTuple<0> for (T0, T1)

type Nth = T0

type NthMapped<U> = (U, T1)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1> IndexTuple<1> for (T0, T1)

type Nth = T1

type NthMapped<U> = (T0, U)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2> IndexTuple<0> for (T0, T1, T2)

type Nth = T0

type NthMapped<U> = (U, T1, T2)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2> IndexTuple<1> for (T0, T1, T2)

type Nth = T1

type NthMapped<U> = (T0, U, T2)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2> IndexTuple<2> for (T0, T1, T2)

type Nth = T2

type NthMapped<U> = (T0, T1, U)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3> IndexTuple<0> for (T0, T1, T2, T3)

type Nth = T0

type NthMapped<U> = (U, T1, T2, T3)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3> IndexTuple<1> for (T0, T1, T2, T3)

type Nth = T1

type NthMapped<U> = (T0, U, T2, T3)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3> IndexTuple<2> for (T0, T1, T2, T3)

type Nth = T2

type NthMapped<U> = (T0, T1, U, T3)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3> IndexTuple<3> for (T0, T1, T2, T3)

type Nth = T3

type NthMapped<U> = (T0, T1, T2, U)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4> IndexTuple<0> for (T0, T1, T2, T3, T4)

type Nth = T0

type NthMapped<U> = (U, T1, T2, T3, T4)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4> IndexTuple<1> for (T0, T1, T2, T3, T4)

type Nth = T1

type NthMapped<U> = (T0, U, T2, T3, T4)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4> IndexTuple<2> for (T0, T1, T2, T3, T4)

type Nth = T2

type NthMapped<U> = (T0, T1, U, T3, T4)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4> IndexTuple<3> for (T0, T1, T2, T3, T4)

type Nth = T3

type NthMapped<U> = (T0, T1, T2, U, T4)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4> IndexTuple<4> for (T0, T1, T2, T3, T4)

type Nth = T4

type NthMapped<U> = (T0, T1, T2, T3, U)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4, T5> IndexTuple<0> for (T0, T1, T2, T3, T4, T5)

type Nth = T0

type NthMapped<U> = (U, T1, T2, T3, T4, T5)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4, T5> IndexTuple<1> for (T0, T1, T2, T3, T4, T5)

type Nth = T1

type NthMapped<U> = (T0, U, T2, T3, T4, T5)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4, T5> IndexTuple<2> for (T0, T1, T2, T3, T4, T5)

type Nth = T2

type NthMapped<U> = (T0, T1, U, T3, T4, T5)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4, T5> IndexTuple<3> for (T0, T1, T2, T3, T4, T5)

type Nth = T3

type NthMapped<U> = (T0, T1, T2, U, T4, T5)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4, T5> IndexTuple<4> for (T0, T1, T2, T3, T4, T5)

type Nth = T4

type NthMapped<U> = (T0, T1, T2, T3, U, T5)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4, T5> IndexTuple<5> for (T0, T1, T2, T3, T4, T5)

type Nth = T5

type NthMapped<U> = (T0, T1, T2, T3, T4, U)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4, T5, T6> IndexTuple<0> for (T0, T1, T2, T3, T4, T5, T6)

type Nth = T0

type NthMapped<U> = (U, T1, T2, T3, T4, T5, T6)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4, T5, T6> IndexTuple<1> for (T0, T1, T2, T3, T4, T5, T6)

type Nth = T1

type NthMapped<U> = (T0, U, T2, T3, T4, T5, T6)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4, T5, T6> IndexTuple<2> for (T0, T1, T2, T3, T4, T5, T6)

type Nth = T2

type NthMapped<U> = (T0, T1, U, T3, T4, T5, T6)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4, T5, T6> IndexTuple<3> for (T0, T1, T2, T3, T4, T5, T6)

type Nth = T3

type NthMapped<U> = (T0, T1, T2, U, T4, T5, T6)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4, T5, T6> IndexTuple<4> for (T0, T1, T2, T3, T4, T5, T6)

type Nth = T4

type NthMapped<U> = (T0, T1, T2, T3, U, T5, T6)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4, T5, T6> IndexTuple<5> for (T0, T1, T2, T3, T4, T5, T6)

type Nth = T5

type NthMapped<U> = (T0, T1, T2, T3, T4, U, T6)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4, T5, T6> IndexTuple<6> for (T0, T1, T2, T3, T4, T5, T6)

type Nth = T6

type NthMapped<U> = (T0, T1, T2, T3, T4, T5, U)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4, T5, T6, T7> IndexTuple<0> for (T0, T1, T2, T3, T4, T5, T6, T7)

type Nth = T0

type NthMapped<U> = (U, T1, T2, T3, T4, T5, T6, T7)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4, T5, T6, T7> IndexTuple<1> for (T0, T1, T2, T3, T4, T5, T6, T7)

type Nth = T1

type NthMapped<U> = (T0, U, T2, T3, T4, T5, T6, T7)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4, T5, T6, T7> IndexTuple<2> for (T0, T1, T2, T3, T4, T5, T6, T7)

type Nth = T2

type NthMapped<U> = (T0, T1, U, T3, T4, T5, T6, T7)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4, T5, T6, T7> IndexTuple<3> for (T0, T1, T2, T3, T4, T5, T6, T7)

type Nth = T3

type NthMapped<U> = (T0, T1, T2, U, T4, T5, T6, T7)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4, T5, T6, T7> IndexTuple<4> for (T0, T1, T2, T3, T4, T5, T6, T7)

type Nth = T4

type NthMapped<U> = (T0, T1, T2, T3, U, T5, T6, T7)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4, T5, T6, T7> IndexTuple<5> for (T0, T1, T2, T3, T4, T5, T6, T7)

type Nth = T5

type NthMapped<U> = (T0, T1, T2, T3, T4, U, T6, T7)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4, T5, T6, T7> IndexTuple<6> for (T0, T1, T2, T3, T4, T5, T6, T7)

type Nth = T6

type NthMapped<U> = (T0, T1, T2, T3, T4, T5, U, T7)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

impl<T0, T1, T2, T3, T4, T5, T6, T7> IndexTuple<7> for (T0, T1, T2, T3, T4, T5, T6, T7)

type Nth = T7

type NthMapped<U> = (T0, T1, T2, T3, T4, T5, T6, U)

fn nth(this: Self) -> Self::Nth

fn nth_ref(this: &Self) -> &Self::Nth

fn map_nth<U>(this: Self, f: impl FnOnce(Self::Nth) -> U) -> Self::NthMapped<U>

Implementors§