musli_core/impls/
tuples.rs

Help
1//! Implementations for variously lengthed tuples.
2
3use crate::de::{Decode, DecodePacked, Decoder, SequenceDecoder};
4use crate::en::{Encode, EncodePacked, Encoder, SequenceEncoder};
5use crate::hint::SequenceHint;
6
7macro_rules! count {
8    (_) => { 1 };
9    (_ _) => { 2 };
10    (_ _ _) => { 3 };
11    (_ _ _ _) => { 4 };
12    (_ _ _ _ _) => { 5 };
13    (_ _ _ _ _ _) => { 6 };
14    (_ _ _ _ _ _ _) => { 7 };
15    (_ _ _ _ _ _ _ _) => { 8 };
16    (_ _ _ _ _ _ _ _ _) => { 9 };
17    (_ _ _ _ _ _ _ _ _ _) => { 10 };
18    (_ _ _ _ _ _ _ _ _ _ _) => { 11 };
19    (_ _ _ _ _ _ _ _ _ _ _ _) => { 12 };
20    (_ _ _ _ _ _ _ _ _ _ _ _ _) => { 13 };
21    (_ _ _ _ _ _ _ _ _ _ _ _ _ _) => { 14 };
22    (_ _ _ _ _ _ _ _ _ _ _ _ _ _ _) => { 15 };
23    (_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _) => { 16 };
24
25    (( $($s:tt)* ) $_:ident $($tail:tt)*) => {
26        count!(( $($s)* _ ) $($tail)*)
27    };
28
29    (( $($s:tt)* )) => {
30        count!( $($s)* )
31    };
32
33    ($($ident:ident)*) => {
34        count!(() $($ident)*)
35    };
36}
37
38macro_rules! declare {
39    () => {
40    };
41
42    (($ty0:ident, $ident0:ident) $(, ($ty:ident, $ident:ident))* $(,)?) => {
43        impl<M, $ty0 $(, $ty)*> Encode<M> for ($ty0, $($ty),*)
44        where
45            $ty0: Encode<M>,
46            $($ty: Encode<M>),*
47        {
48            #[inline]
49            fn encode<E>(&self, _: &E::Cx, encoder: E) -> Result<E::Ok, E::Error>
50            where
51                E: Encoder<Mode = M>,
52            {
53                static HINT: SequenceHint = SequenceHint::with_size(count!($ident0 $($ident)*));
54
55                encoder.encode_sequence_fn(&HINT, |tuple| {
56                    let ($ident0, $($ident),*) = self;
57                    tuple.encode_next()?.encode($ident0)?;
58                    $(tuple.encode_next()?.encode($ident)?;)*
59                    Ok(())
60                })
61            }
62        }
63
64        impl<'de, M, $ty0, $($ty,)*> Decode<'de, M> for ($ty0, $($ty),*)
65        where
66            $ty0: Decode<'de, M>,
67            $($ty: Decode<'de, M>),*
68        {
69            #[inline]
70            fn decode<D>(_: &D::Cx, decoder: D) -> Result<Self, D::Error>
71            where
72                D: Decoder<'de, Mode = M>,
73            {
74                static HINT: SequenceHint = SequenceHint::with_size(count!($ident0 $($ident)*));
75
76                decoder.decode_sequence_hint(&HINT, |tuple| {
77                    let $ident0 = tuple.next()?;
78                    $(let $ident = tuple.next()?;)*
79                    Ok(($ident0, $($ident),*))
80                })
81            }
82        }
83
84        impl<M, $ty0 $(,$ty)*> EncodePacked<M> for ($ty0, $($ty),*)
85        where
86            $ty0: Encode<M>,
87            $($ty: Encode<M>),*
88        {
89            #[inline]
90            fn encode_packed<E>(&self, _: &E::Cx, encoder: E) -> Result<E::Ok, E::Error>
91            where
92                E: Encoder<Mode = M>,
93            {
94                let ($ident0, $($ident),*) = self;
95                encoder.encode_pack_fn(|pack| {
96                    pack.encode_next()?.encode($ident0)?;
97                    $(pack.encode_next()?.encode($ident)?;)*
98                    Ok(())
99                })
100            }
101        }
102
103        impl<'de, M, $ty0, $($ty,)*> DecodePacked<'de, M> for ($ty0, $($ty),*)
104        where
105            $ty0: Decode<'de, M>,
106            $($ty: Decode<'de, M>),*
107        {
108            #[inline]
109            fn decode_packed<D>(_: &D::Cx, decoder: D) -> Result<Self, D::Error>
110            where
111                D: Decoder<'de, Mode = M>,
112            {
113                decoder.decode_pack(|pack| {
114                    let $ident0 = pack.next()?;
115                    $(let $ident = pack.next()?;)*
116                    Ok(($ident0, $($ident),*))
117                })
118            }
119        }
120
121        declare!($(($ty, $ident)),*);
122    };
123}
124
125declare! {
126    (T0, t0),
127    (T1, t1),
128    (T2, t2),
129    (T3, t3),
130    (T4, t4),
131    (T5, t5),
132    (T6, t6),
133    (T7, t7),
134    (T8, t8),
135    (T9, t9),
136    (T10, t10),
137    (T11, t11),
138    (T12, t12),
139    (T13, t13),
140    (T14, t14),
141    (T15, t15),
142}
musli_core/impls/tuples.rs

musli_core/impls/
tuples.rs
