sigma_types/
all.rs

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
//! Iterable data structure in which each element satisfies a given invariant.

use core::{fmt, marker::PhantomData};

/// Iterable data structure in which each element satisfies a given invariant.
#[derive(Clone, Copy, Debug, Default, Eq, Hash, Ord, PartialEq, PartialOrd)]
pub struct All<Invariant: crate::Test<Input::Item, 1>, Input: IntoIterator + fmt::Debug>(
    PhantomData<Invariant>,
    PhantomData<Input>,
)
where
    Input::Item: fmt::Debug,
    for<'i> &'i Input: IntoIterator<Item = &'i Input::Item>;

impl<Invariant: crate::Test<Input::Item, 1>, Input: IntoIterator + fmt::Debug> crate::Test<Input, 1>
    for All<Invariant, Input>
where
    Input::Item: fmt::Debug,
    for<'i> &'i Input: IntoIterator<Item = &'i Input::Item>,
{
    const ADJECTIVE: &str = "all valid";

    type Error<'i>
        = NotAll<'i, Input::Item, Invariant>
    where
        Input: 'i;

    #[inline]
    fn test([input]: [&Input; 1]) -> Result<(), Self::Error<'_>> {
        for (index, element) in input.into_iter().enumerate() {
            match Invariant::test([element]) {
                Ok(()) => {}
                Err(error) => {
                    return Err(NotAll {
                        element,
                        error,
                        index,
                    });
                }
            }
        }
        Ok(())
    }
}

/// At least one element in an iterator did not satisfy the given invariant.
#[non_exhaustive]
#[derive(Clone, Copy, Debug, Eq, Hash, Ord, PartialEq, PartialOrd)]
pub struct NotAll<'i, Item: fmt::Debug, Invariant: crate::Test<Item, 1>> {
    /// Invalid element in the iterator.
    element: &'i Item,
    /// Error indicating why this element wasn't valid.
    error: Invariant::Error<'i>,
    /// After how many other elements
    /// did we see the this element?
    index: usize,
}

impl<Item: fmt::Debug, Invariant: crate::Test<Item, 1>> fmt::Display
    for NotAll<'_, Item, Invariant>
{
    #[inline]
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        #![expect(
            clippy::use_debug,
            reason = "Intentional and informative, not just forgotten print-debugging"
        )]

        let Self {
            element,
            ref error,
            index,
        } = *self;
        write!(
            f,
            "Element #{index} ({element:#?}) was not {}: {error}",
            Invariant::ADJECTIVE,
        )
    }
}