Struct checkito::check::Checker

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

Fields

generator: &'a G

count: usize

shrinks: Shrinks

seed: Option<u64>

Implementations

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

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

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

pub fn sequential<'b, P: Prove, F: FnMut(&G::Item) -> P + 'b>( &'b self, check: F ) -> impl Iterator<Item = Result<G::Item, Error<G::Item, P>>> + 'b

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

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

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.