1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
crate::do_impl!("concat", tuple_concat, {
use crate::{prepend, Prepend, TuplePrepend};
/// The resulting type when two tuples are concatenated.
///
/// ```
/// use same_types::assert_same_types;
/// use tupleops::ConcatTuples;
///
/// assert_same_types!(
/// ConcatTuples<(u8, u16), (u32, u64)>,
/// (u8, u16, u32, u64)
/// );
/// ```
///
/// See also: [concat_tuples], [TupleConcat].
#[cfg_attr(docsrs, doc(cfg(feature = "concat")))]
pub type ConcatTuples<Front, Back> = <(Front, Back) as TupleConcat<Front, Back>>::Type;
/// Concatenate two tuples.
///
/// ```
/// use tupleops::concat_tuples;
///
/// assert_eq!(
/// concat_tuples((1, 2), (3, 4)),
/// (1, 2, 3, 4),
/// );
/// ```
///
/// See also: [ConcatTuples], [TupleConcat].
#[cfg_attr(docsrs, doc(cfg(feature = "concat")))]
#[inline(always)]
pub fn concat_tuples<Front, Back>(front: Front, back: Back) -> ConcatTuples<Front, Back>
where
(Front, Back): TupleConcat<Front, Back>,
{
<(Front, Back) as TupleConcat<Front, Back>>::concat_tuples(front, back)
}
/// Two tuples that are usable with [concat_tuples()].
///
/// See also: [concat_tuples()], [TupleConcat].
#[cfg_attr(docsrs, doc(cfg(feature = "concat")))]
pub trait TupleConcat<Front, Back> {
#[doc(hidden)]
type Type;
#[doc(hidden)]
fn concat_tuples(front: Front, back: Back) -> Self::Type;
}
impl<Back> TupleConcat<(), Back> for ((), Back) {
type Type = Back;
#[inline(always)]
fn concat_tuples((): (), back: Back) -> Self::Type {
back
}
}
impl<Elem, Back> TupleConcat<(Elem,), Back> for ((Elem,), Back)
where
(Elem, Back): TuplePrepend<Elem, Back>,
{
type Type = Prepend<Elem, Back>;
#[inline(always)]
fn concat_tuples(front: (Elem,), back: Back) -> Self::Type {
let (elem,) = front;
prepend(elem, back)
}
}
});