refining-str 0.1.0

Refining strings.
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

//! Predicates for checking string characters.

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

use refining_core::predicate::{Predicate, PredicateExpected};

/// Checks whether all [`chars`] of the string satisfy the given predicate.
///
/// [`chars`]: str::chars
pub struct CharsAll<P: Predicate<char> + ?Sized> {
    predicate: PhantomData<P>,
}

impl<T: AsRef<str> + ?Sized, P: Predicate<char> + ?Sized> Predicate<T> for CharsAll<P> {
    fn check(value: &T) -> bool {
        value.as_ref().chars().all(P::check_value)
    }

    fn expect(formatter: &mut fmt::Formatter<'_>) -> fmt::Result {
        write!(
            formatter,
            "string with all ({expected})",
            expected = P::expected()
        )
    }

    fn expect_code(formatter: &mut fmt::Formatter<'_>) -> fmt::Result {
        write!(
            formatter,
            "str::chars::all<{expected:?}>",
            expected = P::expected()
        )
    }
}

/// Checks whether any [`chars`] of the string satisfy the given predicate.
///
/// [`chars`]: str::chars
pub struct CharsAny<P: Predicate<char> + ?Sized> {
    predicate: PhantomData<P>,
}

impl<T: AsRef<str> + ?Sized, P: Predicate<char> + ?Sized> Predicate<T> for CharsAny<P> {
    fn check(value: &T) -> bool {
        value.as_ref().chars().any(P::check_value)
    }

    fn expect(formatter: &mut fmt::Formatter<'_>) -> fmt::Result {
        write!(
            formatter,
            "string with any ({expected})",
            expected = P::expected()
        )
    }

    fn expect_code(formatter: &mut fmt::Formatter<'_>) -> fmt::Result {
        write!(
            formatter,
            "str::chars::any<{expected:?}>",
            expected = P::expected()
        )
    }
}