Trait monkey_test::Gen

pub trait Gen<A>: Clone {
    // Required method
    fn iter(&self, seed: u64) -> Box<dyn Iterator<Item = A>>;
}

The generator trait, for producing example values to test in a property.

Required Methods

fn iter(&self, seed: u64) -> Box<dyn Iterator<Item = A>>

Produce a example iterator from the generator, given a randomization seed.

Implementors

impl Gen<u8> for RandU8Gen

impl<A: 'static + Clone, GA: Gen<A>> Gen<Vec<A, Global>> for RandVecGen<A, GA>

impl<T: Clone + 'static> Gen<T> for SliceGen<T>