Trait TupleRemove 

pub trait TupleRemove<Idx> {
    type Type;
    type Remainder;

    // Required method
    fn remove(self) -> (Self::Type, Self::Remainder);
}

A trait for removing an element at a specific index from a tuple.

This trait allows removing an element at compile-time known index Idx from a tuple, returning the element and the remaining tuple.

Examples

use tuplities_remove::TupleRemove;
use typenum::U1;

let tuple = (1, "hello", 3.14);
let (removed, remainder) = TupleRemove::<U1>::remove(tuple);
assert_eq!(removed, "hello");
assert_eq!(remainder, (1, 3.14));

Part of the tuplities crate.

Required Associated Types

type Type

The type of the element being removed.

type Remainder

The type of the remaining tuple after removing.

Required Methods

fn remove(self) -> (Self::Type, Self::Remainder)

Removes the element at index Idx from the tuple.

Returns a tuple containing the removed element and the remaining tuple.

Implementations on Foreign Types

impl<T1> TupleRemove<UTerm> for (T1,)

type Type = T1

type Remainder = ()

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2> TupleRemove<UInt<UTerm, B1>> for (T1, T2)

type Type = T2

type Remainder = (T1,)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2> TupleRemove<UTerm> for (T1, T2)

type Type = T1

type Remainder = (T2,)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3> TupleRemove<UInt<UInt<UTerm, B1>, B0>> for (T1, T2, T3)

type Type = T3

type Remainder = (T1, T2)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3> TupleRemove<UInt<UTerm, B1>> for (T1, T2, T3)

type Type = T2

type Remainder = (T1, T3)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3> TupleRemove<UTerm> for (T1, T2, T3)

type Type = T1

type Remainder = (T2, T3)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4> TupleRemove<UInt<UInt<UTerm, B1>, B0>> for (T1, T2, T3, T4)

type Type = T3

type Remainder = (T1, T2, T4)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4> TupleRemove<UInt<UInt<UTerm, B1>, B1>> for (T1, T2, T3, T4)

type Type = T4

type Remainder = (T1, T2, T3)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4> TupleRemove<UInt<UTerm, B1>> for (T1, T2, T3, T4)

type Type = T2

type Remainder = (T1, T3, T4)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4> TupleRemove<UTerm> for (T1, T2, T3, T4)

type Type = T1

type Remainder = (T2, T3, T4)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5> TupleRemove<UInt<UInt<UInt<UTerm, B1>, B0>, B0>> for (T1, T2, T3, T4, T5)

type Type = T5

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

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5> TupleRemove<UInt<UInt<UTerm, B1>, B0>> for (T1, T2, T3, T4, T5)

type Type = T3

type Remainder = (T1, T2, T4, T5)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5> TupleRemove<UInt<UInt<UTerm, B1>, B1>> for (T1, T2, T3, T4, T5)

type Type = T4

type Remainder = (T1, T2, T3, T5)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5> TupleRemove<UInt<UTerm, B1>> for (T1, T2, T3, T4, T5)

type Type = T2

type Remainder = (T1, T3, T4, T5)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5> TupleRemove<UTerm> for (T1, T2, T3, T4, T5)

type Type = T1

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

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5, T6> TupleRemove<UInt<UInt<UInt<UTerm, B1>, B0>, B0>> for (T1, T2, T3, T4, T5, T6)

type Type = T5

type Remainder = (T1, T2, T3, T4, T6)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5, T6> TupleRemove<UInt<UInt<UInt<UTerm, B1>, B0>, B1>> for (T1, T2, T3, T4, T5, T6)

type Type = T6

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

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5, T6> TupleRemove<UInt<UInt<UTerm, B1>, B0>> for (T1, T2, T3, T4, T5, T6)

type Type = T3

type Remainder = (T1, T2, T4, T5, T6)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5, T6> TupleRemove<UInt<UInt<UTerm, B1>, B1>> for (T1, T2, T3, T4, T5, T6)

type Type = T4

type Remainder = (T1, T2, T3, T5, T6)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5, T6> TupleRemove<UInt<UTerm, B1>> for (T1, T2, T3, T4, T5, T6)

type Type = T2

type Remainder = (T1, T3, T4, T5, T6)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5, T6> TupleRemove<UTerm> for (T1, T2, T3, T4, T5, T6)

type Type = T1

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

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5, T6, T7> TupleRemove<UInt<UInt<UInt<UTerm, B1>, B0>, B0>> for (T1, T2, T3, T4, T5, T6, T7)

type Type = T5

type Remainder = (T1, T2, T3, T4, T6, T7)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5, T6, T7> TupleRemove<UInt<UInt<UInt<UTerm, B1>, B0>, B1>> for (T1, T2, T3, T4, T5, T6, T7)

type Type = T6

type Remainder = (T1, T2, T3, T4, T5, T7)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5, T6, T7> TupleRemove<UInt<UInt<UInt<UTerm, B1>, B1>, B0>> for (T1, T2, T3, T4, T5, T6, T7)

type Type = T7

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

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5, T6, T7> TupleRemove<UInt<UInt<UTerm, B1>, B0>> for (T1, T2, T3, T4, T5, T6, T7)

type Type = T3

type Remainder = (T1, T2, T4, T5, T6, T7)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5, T6, T7> TupleRemove<UInt<UInt<UTerm, B1>, B1>> for (T1, T2, T3, T4, T5, T6, T7)

type Type = T4

type Remainder = (T1, T2, T3, T5, T6, T7)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5, T6, T7> TupleRemove<UInt<UTerm, B1>> for (T1, T2, T3, T4, T5, T6, T7)

type Type = T2

type Remainder = (T1, T3, T4, T5, T6, T7)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5, T6, T7> TupleRemove<UTerm> for (T1, T2, T3, T4, T5, T6, T7)

type Type = T1

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

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5, T6, T7, T8> TupleRemove<UInt<UInt<UInt<UTerm, B1>, B0>, B0>> for (T1, T2, T3, T4, T5, T6, T7, T8)

type Type = T5

type Remainder = (T1, T2, T3, T4, T6, T7, T8)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5, T6, T7, T8> TupleRemove<UInt<UInt<UInt<UTerm, B1>, B0>, B1>> for (T1, T2, T3, T4, T5, T6, T7, T8)

type Type = T6

type Remainder = (T1, T2, T3, T4, T5, T7, T8)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5, T6, T7, T8> TupleRemove<UInt<UInt<UInt<UTerm, B1>, B1>, B0>> for (T1, T2, T3, T4, T5, T6, T7, T8)

type Type = T7

type Remainder = (T1, T2, T3, T4, T5, T6, T8)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5, T6, T7, T8> TupleRemove<UInt<UInt<UInt<UTerm, B1>, B1>, B1>> for (T1, T2, T3, T4, T5, T6, T7, T8)

type Type = T8

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

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5, T6, T7, T8> TupleRemove<UInt<UInt<UTerm, B1>, B0>> for (T1, T2, T3, T4, T5, T6, T7, T8)

type Type = T3

type Remainder = (T1, T2, T4, T5, T6, T7, T8)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5, T6, T7, T8> TupleRemove<UInt<UInt<UTerm, B1>, B1>> for (T1, T2, T3, T4, T5, T6, T7, T8)

type Type = T4

type Remainder = (T1, T2, T3, T5, T6, T7, T8)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5, T6, T7, T8> TupleRemove<UInt<UTerm, B1>> for (T1, T2, T3, T4, T5, T6, T7, T8)

type Type = T2

type Remainder = (T1, T3, T4, T5, T6, T7, T8)

fn remove(self) -> (Self::Type, Self::Remainder)

impl<T1, T2, T3, T4, T5, T6, T7, T8> TupleRemove<UTerm> for (T1, T2, T3, T4, T5, T6, T7, T8)

type Type = T1

type Remainder = (T2, T3, T4, T5, T6, T7, T8)

fn remove(self) -> (Self::Type, Self::Remainder)

Implementors