structural 0.4.3

Field accessor traits,and emulation of structural types.
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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121

use super::{FailedAccess, InfallibleAccess};

/// Converts the `Result<T,E>` representation of accessed fields to either `T` or `Option<T>`
///
/// If Self is a:
///
/// - `Result<T,InfallibleAccess>`: it's converted to `T`
///
/// - `Result<T,FailedAccess>`: it's converted to `Option<T>`
///
/// - A tuple of `Result`s:
/// it's converted to a tuple of what those `Result`s `.normalize_fields()` into.
///
///
pub trait NormalizeFields {
    /// The thing this is converted into.
    type Output;

    /// Performs the conversion..
    fn normalize_fields(self) -> Self::Output;
}

/// The type `This` is converted into when calling `.normalize_fields()`.
pub type NormalizeFieldsOut<This> = <This as NormalizeFields>::Output;

impl<T> NormalizeFields for Result<T, InfallibleAccess> {
    type Output = T;

    #[inline(always)]
    fn normalize_fields(self) -> Self::Output {
        match self {
            Ok(x) => x,
            Err(e) => match e {},
        }
    }
}

impl<T> NormalizeFields for Result<T, FailedAccess> {
    type Output = Option<T>;

    #[inline(always)]
    fn normalize_fields(self) -> Self::Output {
        self.ok()
    }
}

macro_rules! normalize_tuple {
    (
        $(( $(($elem:ident,$index:tt),)* ))*
    ) => {
        $(
            impl<$($elem,)*> NormalizeFields for ($($elem,)*)
            where
                $($elem:NormalizeFields,)*
            {
                type Output=(
                    $(NormalizeFieldsOut<$elem>,)*
                );

                #[inline(always)]
                fn normalize_fields(self)->Self::Output{
                    (
                        $(self.$index.normalize_fields(),)*
                    )
                }
            }
        )*
    };
}

/*
fn main(){
    let large=8;
    for x in 0..=13 {
        let is_large= x > large;
        print!("( ");
        for y in 0..x {
            if is_large && y%8==0 {
                print!("\n    ")
            }
            print!("(C{0},{0}), ",y);
        }
        if is_large {
            println!();
        }
        println!(")");
    }
}
*/

normalize_tuple! {
    ( )
    ( (C0,0), )
    ( (C0,0), (C1,1), )
    ( (C0,0), (C1,1), (C2,2), )
    ( (C0,0), (C1,1), (C2,2), (C3,3), )
    ( (C0,0), (C1,1), (C2,2), (C3,3), (C4,4), )
    ( (C0,0), (C1,1), (C2,2), (C3,3), (C4,4), (C5,5), )
    ( (C0,0), (C1,1), (C2,2), (C3,3), (C4,4), (C5,5), (C6,6), )
    ( (C0,0), (C1,1), (C2,2), (C3,3), (C4,4), (C5,5), (C6,6), (C7,7), )
    (
        (C0,0), (C1,1), (C2,2), (C3,3), (C4,4), (C5,5), (C6,6), (C7,7),
        (C8,8),
    )
    (
        (C0,0), (C1,1), (C2,2), (C3,3), (C4,4), (C5,5), (C6,6), (C7,7),
        (C8,8), (C9,9),
    )
    (
        (C0,0), (C1,1), (C2,2), (C3,3), (C4,4), (C5,5), (C6,6), (C7,7),
        (C8,8), (C9,9), (C10,10),
    )
    (
        (C0,0), (C1,1), (C2,2), (C3,3), (C4,4), (C5,5), (C6,6), (C7,7),
        (C8,8), (C9,9), (C10,10), (C11,11),
    )
    (
        (C0,0), (C1,1), (C2,2), (C3,3), (C4,4), (C5,5), (C6,6), (C7,7),
        (C8,8), (C9,9), (C10,10), (C11,11), (C12,12),
    )
}