type_rules/rules/
all.rs

1use super::Rule;
2
3/// Rule to constrain an iterable collection (with reference)
4/// to valid the specified rule and an error message
5///
6/// # Example
7/// ```
8/// use type_rules::prelude::*;
9///
10/// #[derive(Validator)]
11/// struct VecNotEmptyString(
12///     #[rule(All(MinLength(1), "You can't use empty string"))]
13///     Vec<String>
14/// );
15/// ```
16pub struct All<'a, T>(pub T, pub &'a str);
17
18impl<'a, T, U> Rule<U> for All<'a, T>
19where
20    U: IntoIterator,
21    for<'b> &'b U: IntoIterator<Item = &'b U::Item>,
22    T: Rule<<U as IntoIterator>::Item>,
23{
24    fn check(&self, value: &U) -> Result<(), String> {
25        match value
26            .into_iter()
27            .all(|v: &<U as IntoIterator>::Item| self.0.check(v).is_ok())
28        {
29            true => Ok(()),
30            false => Err(String::from(self.1)),
31        }
32    }
33}
34
35#[cfg(test)]
36mod tests {
37    use crate::rules::{All, MinRange, Rule};
38    use claim::{assert_err, assert_ok};
39
40    const ERROR_MESSAGE: &str = "Value need to be >= 1";
41    const RULE: All<MinRange<i32>> = All(MinRange(1), ERROR_MESSAGE);
42
43    #[test]
44    fn all_ok() {
45        assert_ok!(RULE.check(&vec![1, 1]));
46    }
47    #[test]
48    fn all_err() {
49        assert_err!(RULE.check(&vec![1, 0]));
50    }
51    #[test]
52    fn all_good_error_message() {
53        let res_error_message = RULE.check(&vec![1, 0]).expect_err("Should be an Err");
54        assert_eq!(res_error_message, ERROR_MESSAGE);
55    }
56}
type_rules/rules/all.rs

type_rules/rules/
all.rs
