meta_tuple 0.5.0

A statically typed opaque tuple that can contain any type.
Documentation 
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

use crate::{MetaTuple, meta_tuple};

/// A trait that converts a more user friendly concrete type into a [`MetaTuple`].
///
/// By default this is implemented on static tuples.
pub trait IntoMetaTuple {
    fn into_meta_tuple(self) -> impl MetaTuple;
}

impl<T> IntoMetaTuple for T
where
    T: MetaTuple,
{
    fn into_meta_tuple(self) -> impl MetaTuple {
        self
    }
}

macro_rules! impl_tuple {
    ($($T: ident),*) => {
        #[allow(non_snake_case)]
        impl<$($T: 'static,)*> IntoMetaTuple for ($($T,)*) {
            fn into_meta_tuple(self) -> impl MetaTuple {
                let ($($T,)*) = self;
                meta_tuple!($($T,)*)
            }
        }

        #[allow(non_snake_case)]
        impl<$($T: 'static,)*> IntoMetaTuple for &($($T,)*) {
            fn into_meta_tuple(self) -> impl MetaTuple {
                let ($($T,)*) = self;
                meta_tuple!($(&*$T,)*)
            }
        }

        #[allow(non_snake_case)]
        impl<$($T: 'static,)*> IntoMetaTuple for &mut ($($T,)*) {
            fn into_meta_tuple(self) -> impl MetaTuple {
                let ($($T,)*) = self;
                meta_tuple!($(&mut *$T,)*)
            }
        }
    };
}

impl_tuple!(A);
impl_tuple!(A, B);
impl_tuple!(A, B, C);
impl_tuple!(A, B, C, D);
impl_tuple!(A, B, C, D, E);
impl_tuple!(A, B, C, D, E, F);
impl_tuple!(A, B, C, D, E, F, G);
impl_tuple!(A, B, C, D, E, F, G, H);
impl_tuple!(A, B, C, D, E, F, G, H, I);
impl_tuple!(A, B, C, D, E, F, G, H, I, J);
impl_tuple!(A, B, C, D, E, F, G, H, I, J, K);
impl_tuple!(A, B, C, D, E, F, G, H, I, J, K, L);