pbt 0.4.7

Property-based testing with `derive` macros, aware of mutual induction & instantiability.
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

//! Implementations for `core::num::NonZero<_>` types.

use {
    crate::{
        construct::{Construct, Literal, TypeFormer, visit_self, visit_self_owned},
        reflection::{Type, register, type_of},
        shrink::shrink,
    },
    core::num::NonZero,
    std::collections::BTreeSet,
};

impl Construct for NonZero<u8> {
    #[inline]
    fn register_all_immediate_dependencies(visited: &mut BTreeSet<Type>) {
        if !visited.insert(type_of::<Self>()) {
            return;
        }
        let () = register::<u8>(visited.clone());
    }

    #[inline]
    #[expect(
        clippy::as_conversions,
        clippy::cast_possible_truncation,
        reason = "intentional"
    )]
    fn type_former() -> TypeFormer<Self> {
        TypeFormer::Literal(Literal {
            deserialize: |s| NonZero::new(s.parse().ok()?),
            generate: |prng| loop {
                let u = prng.rand() as u8;
                if let Some(nz) = NonZero::new(u) {
                    return nz;
                }
            },
            serialize: |value: &Self| value.get().to_string(),
            shrink: |u| Box::new(shrink(u.get()).filter_map(NonZero::new)),
        })
    }

    #[inline]
    fn visit_deep<V: Construct>(&self) -> impl Iterator<Item = V> {
        visit_self(self).chain(visit_self_owned(self.get()))
    }
}

impl Construct for NonZero<char> {
    #[inline]
    fn register_all_immediate_dependencies(visited: &mut BTreeSet<Type>) {
        if !visited.insert(type_of::<Self>()) {
            return;
        }
        let () = register::<char>(visited.clone());
    }

    #[inline]
    #[expect(
        clippy::as_conversions,
        clippy::cast_possible_truncation,
        reason = "intentional"
    )]
    fn type_former() -> TypeFormer<Self> {
        TypeFormer::Literal(Literal {
            deserialize: |s| NonZero::new(s.parse().ok()?),
            generate: |prng| loop {
                let u = prng.rand() as u32;
                if let Ok(c) = char::try_from(u)
                    && let Some(nz) = NonZero::new(c)
                {
                    return nz;
                }
            },
            serialize: |value: &Self| value.get().to_string(),
            shrink: |c| {
                Box::new(
                    shrink(c.get() as u32).filter_map(|u| NonZero::new(char::try_from(u).ok()?)),
                )
            },
        })
    }

    #[inline]
    fn visit_deep<V: Construct>(&self) -> impl Iterator<Item = V> {
        visit_self(self).chain(visit_self_owned(self.get()))
    }
}