Struct Checker 

pub struct Checker<'a, G: ?Sized> {
    pub generate: Generates,
    pub shrink: Shrinks,
    /* private fields */
}

The Checker structure holds a reference to a Generate instance and some configuration options for the checking and shrinking processes.

Fields

generate: Generates

Bounds the generation process.

shrink: Shrinks

Bounds the shrinking process.

Implementations

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

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

Trait Implementations

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

fn clone(&self) -> Self

Returns a duplicate 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.