Trait Slice

pub trait Slice<const N: usize>: Tuple {
    type FirstN;
    type FirstNStripped;

    // Required methods
    fn first_n(this: Self) -> Self::FirstN;
    fn strip_first_n(this: Self) -> Self::FirstNStripped;
    fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped);
}

The trait for a tuple that has at least N elements.

The backbone of the Tuple::first_n 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 FirstN

A tuple containing the first N elements of the original tuple.

type FirstNStripped

A tuple with the first N elements of the original tuple.

Required Methods

fn first_n(this: Self) -> Self::FirstN

Return the first N elements of the tuple as a tuple.

fn strip_first_n(this: Self) -> Self::FirstNStripped

Returns the tuple without the first N elements

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

Splits the tuple into 2, with the 1st tuple having the 1st N element, and the 2nd tuple having the rest.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl Slice<0> for ()

type FirstN = ()

type FirstNStripped = ()

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(_: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = ()

type FirstNStripped = (T0,)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

impl<T0> Slice<1> for (T0,)

type FirstN = (T0,)

type FirstNStripped = ()

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(_: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = ()

type FirstNStripped = (T0, T1)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0,)

type FirstNStripped = (T1,)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

impl<T0, T1> Slice<2> for (T0, T1)

type FirstN = (T0, T1)

type FirstNStripped = ()

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(_: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = ()

type FirstNStripped = (T0, T1, T2)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0,)

type FirstNStripped = (T1, T2)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1)

type FirstNStripped = (T2,)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

impl<T0, T1, T2> Slice<3> for (T0, T1, T2)

type FirstN = (T0, T1, T2)

type FirstNStripped = ()

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(_: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = ()

type FirstNStripped = (T0, T1, T2, T3)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0,)

type FirstNStripped = (T1, T2, T3)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1)

type FirstNStripped = (T2, T3)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1, T2)

type FirstNStripped = (T3,)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1, T2, T3)

type FirstNStripped = ()

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(_: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = ()

type FirstNStripped = (T0, T1, T2, T3, T4)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0,)

type FirstNStripped = (T1, T2, T3, T4)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1)

type FirstNStripped = (T2, T3, T4)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1, T2)

type FirstNStripped = (T3, T4)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1, T2, T3)

type FirstNStripped = (T4,)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1, T2, T3, T4)

type FirstNStripped = ()

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(_: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = ()

type FirstNStripped = (T0, T1, T2, T3, T4, T5)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0,)

type FirstNStripped = (T1, T2, T3, T4, T5)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1)

type FirstNStripped = (T2, T3, T4, T5)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1, T2)

type FirstNStripped = (T3, T4, T5)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1, T2, T3)

type FirstNStripped = (T4, T5)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1, T2, T3, T4)

type FirstNStripped = (T5,)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1, T2, T3, T4, T5)

type FirstNStripped = ()

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(_: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = ()

type FirstNStripped = (T0, T1, T2, T3, T4, T5, T6)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0,)

type FirstNStripped = (T1, T2, T3, T4, T5, T6)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1)

type FirstNStripped = (T2, T3, T4, T5, T6)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1, T2)

type FirstNStripped = (T3, T4, T5, T6)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1, T2, T3)

type FirstNStripped = (T4, T5, T6)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1, T2, T3, T4)

type FirstNStripped = (T5, T6)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1, T2, T3, T4, T5)

type FirstNStripped = (T6,)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1, T2, T3, T4, T5, T6)

type FirstNStripped = ()

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(_: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = ()

type FirstNStripped = (T0, T1, T2, T3, T4, T5, T6, T7)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0,)

type FirstNStripped = (T1, T2, T3, T4, T5, T6, T7)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1)

type FirstNStripped = (T2, T3, T4, T5, T6, T7)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1, T2)

type FirstNStripped = (T3, T4, T5, T6, T7)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1, T2, T3)

type FirstNStripped = (T4, T5, T6, T7)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1, T2, T3, T4)

type FirstNStripped = (T5, T6, T7)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1, T2, T3, T4, T5)

type FirstNStripped = (T6, T7)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

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

type FirstN = (T0, T1, T2, T3, T4, T5, T6)

type FirstNStripped = (T7,)

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(this: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

impl<T0, T1, T2, T3, T4, T5, T6, T7> Slice<8> for (T0, T1, T2, T3, T4, T5, T6, T7)

type FirstN = (T0, T1, T2, T3, T4, T5, T6, T7)

type FirstNStripped = ()

fn first_n(this: Self) -> Self::FirstN

fn strip_first_n(_: Self) -> Self::FirstNStripped

fn split(this: Self) -> (Self::FirstN, Self::FirstNStripped)

Implementors