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
#[macro_use]
extern crate lazy_static;
pub mod email;
pub mod error;
pub mod ip;
pub mod length;
pub mod r#match;
pub mod url;
use std::collections::BTreeMap;
pub trait Prove {
fn prove(&self) -> Result<(), error::ValidationError>;
}
impl<T> Prove for Vec<T>
where
T: Prove,
{
fn prove(&self) -> Result<(), error::ValidationError> {
let mut errors = BTreeMap::new();
for (index, item) in self.iter().enumerate() {
if let Err(error) = item.prove() {
errors.insert(index as u64, error);
}
}
if errors.is_empty() {
Ok(())
} else {
Err(error::ValidationError::List(errors))
}
}
}
macro_rules! tuple_impls {
($(
($(($idx:tt)),+)
)+) => {
tuple_impls! {
$(
($((T, $idx)),+)
)+
}
};
($(
($(($T:ident, $idx:tt)),+)
)+) => {
$(
impl<T> Prove for ($($T),+) where T: Prove {
fn prove(&self) -> Result<(), error::ValidationError> {
let mut errors = std::collections::BTreeMap::new();
$(
if let Err(error) = self.$idx.prove() {
errors.insert($idx, error);
}
)+
if errors.is_empty() {
Ok(())
} else {
Err(error::ValidationError::List(errors))
}
}
}
)+
};
}
tuple_impls! {
((0), (1))
((0), (1), (2))
((0), (1), (2), (3))
((0), (1), (2), (3), (4))
((0), (1), (2), (3), (4), (5))
((0), (1), (2), (3), (4), (5), (6))
((0), (1), (2), (3), (4), (5), (6), (7))
((0), (1), (2), (3), (4), (5), (6), (7), (8))
((0), (1), (2), (3), (4), (5), (6), (7), (8), (9))
((0), (1), (2), (3), (4), (5), (6), (7), (8), (9), (10))
((0), (1), (2), (3), (4), (5), (6), (7), (8), (9), (10), (11))
((0), (1), (2), (3), (4), (5), (6), (7), (8), (9), (10), (11), (12))
}