checkito 5.0.0

A safe, efficient and simple QuickCheck-inspired library to generate shrinkable random data mainly oriented towards generative/property/exploratory testing.
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

use crate::{generate::Generate, state::State, utility};

#[derive(Clone, Debug)]
pub struct Dampen<G: ?Sized> {
    pressure: f64,
    deepest: usize,
    limit: usize,
    generator: G,
}

impl<G> Dampen<G> {
    pub const fn new(pressure: f64, deepest: usize, limit: usize, generator: G) -> Self {
        assert!(pressure.is_finite());
        Self {
            pressure: utility::f64::max(pressure, 0.0),
            deepest,
            limit,
            generator,
        }
    }
}

impl<G: Generate + ?Sized> Generate for Dampen<G> {
    type Item = G::Item;
    type Shrink = G::Shrink;

    const CARDINALITY: Option<u128> = G::CARDINALITY;

    fn generate(&self, state: &mut State) -> Self::Shrink {
        self.generator.generate(
            state
                .dampen(self.deepest, self.limit, self.pressure)
                .as_mut(),
        )
    }

    fn cardinality(&self) -> Option<u128> {
        self.generator.cardinality()
    }
}