Struct checkito::check::Checker

pub struct Checker<'a, G: ?Sized> {
    pub generator: &'a G,
    pub errors: usize,
    pub shrinks: Shrinks,
    pub seed: Option<u64>,
}

Fields

generator: &'a G

A generator that will provide the values and shrinkers for the checking and shrinking processes.

errors: usize

Maximum number of errors that the results of a check call will contain. When it is reached, the checking process aborts. Defaults to 1.

shrinks: Shrinks

Limits the shrinking process. Defaults to a duration limit of 30 seconds.

seed: Option<u64>

Seed for the random number generator used to generate random primitives.

Implementations

impl<'a, G: ?Sized> Checker<'a, G>

pub const fn new(generator: &'a G) -> Self

impl<'a, G: Generate + ?Sized> Checker<'a, G>

pub fn check<P: Prove, F: FnMut(&G::Item) -> P>( &self, size: f64, check: F ) -> Result<G::Item, Error<G::Item, P>>

pub fn checks<P: Prove, F: FnMut(&G::Item) -> P>( &self, count: usize, check: F ) -> Checks<'a, G, P, F>

impl<'a, G: Generate + ?Sized + Sync> Checker<'a, G>where G::Item: Send,

pub fn check_parallel<'b, P: Prove + Send + 'b, F: Fn(&G::Item) -> P + Sync + 'b>( &'b self, count: usize, parallel: Option<usize>, check: F ) -> impl Iterator<Item = Result<G::Item, Error<G::Item, P>>> + 'b

Trait Implementations

impl<G: ?Sized> Clone for Checker<'_, G>

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a, G: Debug + ?Sized> Debug for Checker<'a, G>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.