typle 0.13.0

Generic tuple bounds and transformations
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

use typle::typle;

#[allow(unused)]
pub struct X {
    i: u32,
}

#[typle(Tuple for 0..=3)]
impl X {
    #[allow(unused)]
    pub fn new(i: u32) -> Self {
        Self { i }
    }

    #[typle_attr_if(Tuple::LEN == 0, allow(unused_assignments))]
    pub fn associated<T: Tuple<u32>>(t: T, i: u32) -> T {
        (typle!(j in .. => t[[j]] + i))
    }

    #[typle_attr_if(Tuple::LEN == 0, allow(unused_assignments))]
    pub fn inherent1<'a, T: Tuple<u32>>(&'a self, t: T) -> T {
        (typle!(j in .. => t[[j]] + self.i))
    }

    pub fn inherent2<'a, T: Tuple<u32>>(&'a self, t: T) -> T {
        Self::associated(t, self.i)
    }

    #[allow(clippy::assign_op_pattern)]
    pub fn inherent3<'a, T: Tuple<u32>>(&'a mut self, t: T) -> T {
        self.i += 1;
        self.i = self.i + 1;
        t
    }

    pub fn inherent4<'a, T: Tuple<u32>>(&'a self, t: T) -> T {
        let _v: Vec<Self> = Vec::<Self>::new();
        t
    }

    #[typle_attr_if(Tuple::LEN == 0, allow(unused_assignments))]
    pub fn inherent5<'a, T: Tuple<u32>>(&'a self, t: T) -> T {
        #[typle_attr_if(T::LEN == 0, allow(unused_variables))]
        let X { i } = self;
        (typle!(j in .. => t[[j]] + i))
    }

    #[typle_attr_if(Tuple::LEN == 0, allow(unused_assignments))]
    pub fn inherent6<'a, T: Tuple<u32>>(&'a self, t: T) -> T {
        #[typle_attr_if(T::LEN == 0, allow(unused_variables))]
        let Self { i } = self;
        (typle!(j in .. => t[[j]] + i))
    }
}