Trait TupleSplitAt

pub trait TupleSplitAt<const MIDDLE: usize>: Tuple {
    type Left: Tuple;
    type Right: Tuple;

    // Required method
    fn split_tuple_at(self) -> (Self::Left, Self::Right);
}

Tuples which may be split at index MIDDLE have the trait TupleSplitAt, which, when split, returns TupleSplitAt::Left, TupleSplitAt::Right.

Example

let t: (u8, f32, &str) = (1, 1.0, "test");
let (l, r): ((u8, f32), (&str,)) = tuple_split::split_tuple_at::<2>(t);

assert_eq!(t, tupleops::concat_tuples(l, r));

Required Associated Types

type Left: Tuple

type Right: Tuple

Required Methods

fn split_tuple_at(self) -> (Self::Left, Self::Right)

Implementations on Foreign Types

impl TupleSplitAt<0> for ()

type Left = ()

type Right = ()

const fn split_tuple_at(self) -> (Self::Left, Self::Right)

impl<_1, _2, _3, _4> TupleSplitAt<{count!($($types1),*)}> for (_1, _2, _3, _4)

type Left = (_1, _2, _3, _4)

type Right = ()

const fn split_tuple_at(self) -> (Self::Left, Self::Right)

impl<_2, _3, _4> TupleSplitAt<{count!($($types1),*)}> for (_2, _3, _4)

type Left = (_2, _3, _4)

type Right = ()

const fn split_tuple_at(self) -> (Self::Left, Self::Right)

impl<_2, _3, _4, _1> TupleSplitAt<{count!($($types1),*)}> for (_2, _3, _4, _1)

type Left = (_2, _3, _4)

type Right = (_1,)

const fn split_tuple_at(self) -> (Self::Left, Self::Right)

impl<_3, _4> TupleSplitAt<{count!($($types1),*)}> for (_3, _4)

type Left = (_3, _4)

type Right = ()

const fn split_tuple_at(self) -> (Self::Left, Self::Right)

impl<_3, _4, _2> TupleSplitAt<{count!($($types1),*)}> for (_3, _4, _2)

type Left = (_3, _4)

type Right = (_2,)

const fn split_tuple_at(self) -> (Self::Left, Self::Right)

impl<_3, _4, _2, _1> TupleSplitAt<{count!($($types1),*)}> for (_3, _4, _2, _1)

type Left = (_3, _4)

type Right = (_2, _1)

const fn split_tuple_at(self) -> (Self::Left, Self::Right)

impl<_4> TupleSplitAt<0> for (_4,)

type Left = ()

type Right = (_4,)

const fn split_tuple_at(self) -> (Self::Left, Self::Right)

impl<_4> TupleSplitAt<{count!($($types1),*)}> for (_4,)

type Left = (_4,)

type Right = ()

const fn split_tuple_at(self) -> (Self::Left, Self::Right)

impl<_4, _3> TupleSplitAt<0> for (_4, _3)

type Left = ()

type Right = (_4, _3)

const fn split_tuple_at(self) -> (Self::Left, Self::Right)

impl<_4, _3> TupleSplitAt<{count!($($types1),*)}> for (_4, _3)

type Left = (_4,)

type Right = (_3,)

const fn split_tuple_at(self) -> (Self::Left, Self::Right)

impl<_4, _3, _2> TupleSplitAt<0> for (_4, _3, _2)

type Left = ()

type Right = (_4, _3, _2)

const fn split_tuple_at(self) -> (Self::Left, Self::Right)

impl<_4, _3, _2> TupleSplitAt<{count!($($types1),*)}> for (_4, _3, _2)

type Left = (_4,)

type Right = (_3, _2)

const fn split_tuple_at(self) -> (Self::Left, Self::Right)

impl<_4, _3, _2, _1> TupleSplitAt<0> for (_4, _3, _2, _1)

type Left = ()

type Right = (_4, _3, _2, _1)

const fn split_tuple_at(self) -> (Self::Left, Self::Right)

impl<_4, _3, _2, _1> TupleSplitAt<{count!($($types1),*)}> for (_4, _3, _2, _1)

type Left = (_4,)

type Right = (_3, _2, _1)

const fn split_tuple_at(self) -> (Self::Left, Self::Right)

Implementors