Trait TupleSplitIntoLeft

pub trait TupleSplitIntoLeft<L>: Tuple
where
    L: Tuple,
{
    type Right: Tuple;

    // Required method
    fn split_tuple_into_left(self) -> (L, Self::Right);
}

A trait for splitting a tuple up into two parts given a specified left part L. L must be a leftmost segment of Self.

Tuples will be split into parts L and TupleSplitIntoLeft::Right.

Example

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

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

Required Associated Types

type Right: Tuple

Required Methods

fn split_tuple_into_left(self) -> (L, Self::Right)

Implementations on Foreign Types

impl TupleSplitIntoLeft<()> for ()

type Right = ()

const fn split_tuple_into_left(self) -> ((), ())

impl<_1, _2, _3, _4> TupleSplitIntoLeft<(_1, _2, _3, _4)> for (_1, _2, _3, _4)

type Right = ()

const fn split_tuple_into_left(self) -> ((_1, _2, _3, _4), ())

impl<_2, _3, _4> TupleSplitIntoLeft<(_2, _3, _4)> for (_2, _3, _4)

type Right = ()

const fn split_tuple_into_left(self) -> ((_2, _3, _4), ())

impl<_2, _3, _4, _1> TupleSplitIntoLeft<(_2, _3, _4)> for (_2, _3, _4, _1)

type Right = (_1,)

const fn split_tuple_into_left(self) -> ((_2, _3, _4), (_1,))

impl<_3, _4> TupleSplitIntoLeft<(_3, _4)> for (_3, _4)

type Right = ()

const fn split_tuple_into_left(self) -> ((_3, _4), ())

impl<_3, _4, _2> TupleSplitIntoLeft<(_3, _4)> for (_3, _4, _2)

type Right = (_2,)

const fn split_tuple_into_left(self) -> ((_3, _4), (_2,))

impl<_3, _4, _2, _1> TupleSplitIntoLeft<(_3, _4)> for (_3, _4, _2, _1)

type Right = (_2, _1)

const fn split_tuple_into_left(self) -> ((_3, _4), (_2, _1))

impl<_4> TupleSplitIntoLeft<(_4,)> for (_4,)

type Right = ()

const fn split_tuple_into_left(self) -> ((_4,), ())

impl<_4> TupleSplitIntoLeft<()> for (_4,)

type Right = (_4,)

const fn split_tuple_into_left(self) -> ((), (_4,))

impl<_4, _3> TupleSplitIntoLeft<(_4,)> for (_4, _3)

type Right = (_3,)

const fn split_tuple_into_left(self) -> ((_4,), (_3,))

impl<_4, _3> TupleSplitIntoLeft<()> for (_4, _3)

type Right = (_4, _3)

const fn split_tuple_into_left(self) -> ((), (_4, _3))

impl<_4, _3, _2> TupleSplitIntoLeft<(_4,)> for (_4, _3, _2)

type Right = (_3, _2)

const fn split_tuple_into_left(self) -> ((_4,), (_3, _2))

impl<_4, _3, _2> TupleSplitIntoLeft<()> for (_4, _3, _2)

type Right = (_4, _3, _2)

const fn split_tuple_into_left(self) -> ((), (_4, _3, _2))

impl<_4, _3, _2, _1> TupleSplitIntoLeft<(_4,)> for (_4, _3, _2, _1)

type Right = (_3, _2, _1)

const fn split_tuple_into_left(self) -> ((_4,), (_3, _2, _1))

impl<_4, _3, _2, _1> TupleSplitIntoLeft<()> for (_4, _3, _2, _1)

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

const fn split_tuple_into_left(self) -> ((), (_4, _3, _2, _1))

Implementors