variadics 0.1.0

Variadic generics on stable Rust using tuple lists
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

use variadics::{Variadic, var_expr, var_type};

pub trait Boxed: Variadic {
    type Boxed;
    fn boxed(self) -> Self::Boxed;
}
impl<Item, Rest> Boxed for (Item, Rest)
where
    Rest: Boxed,
{
    type Boxed = var_type!(Box<Item>, ...Rest::Boxed);
    fn boxed(self) -> Self::Boxed {
        let (item, rest) = self;
        var_expr!(Box::new(item), ...rest.boxed())
    }
}
impl Boxed for () {
    type Boxed = ();
    fn boxed(self) -> Self::Boxed {}
}

pub trait Refed: Variadic {
    type Refed<'a>
    where
        Self: 'a;
    fn refed(&self) -> Self::Refed<'_>;
}
impl<Item, Rest> Refed for (Item, Rest)
where
    Rest: Refed,
{
    type Refed<'a>
        = (&'a Item, Rest::Refed<'a>)
    where
        Self: 'a;
    fn refed(&self) -> Self::Refed<'_> {
        let (item, rest) = self;
        (item, rest.refed())
    }
}
impl Refed for () {
    type Refed<'a> = ();
    fn refed(&self) -> Self::Refed<'_> {}
}