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

use crate::{all, cardinality, generate::Generate, primitive::Constant, state::State};
use core::array;

#[derive(Clone, Debug)]
pub struct Array<G: ?Sized, const N: usize>(pub(crate) G);

impl<G: Generate + ?Sized, const N: usize> Generate for Array<G, N> {
    type Item = [G::Item; N];
    type Shrink = all::Shrinker<[G::Shrink; N]>;

    const CARDINALITY: Option<u128> = cardinality::all_repeat_static::<N>(G::CARDINALITY);

    fn generate(&self, state: &mut State) -> Self::Shrink {
        all::Shrinker {
            index: 0,
            shrinkers: array::from_fn(|_| self.0.generate(state)),
        }
    }

    fn cardinality(&self) -> Option<u128> {
        cardinality::all_repeat_static::<N>(self.0.cardinality())
    }
}

impl<C: Constant, const N: usize> Constant for Array<C, N> {
    const VALUE: Self = Self(C::VALUE);
}