Struct prop_check_rs::gen::Gen

pub struct Gen<A> { /* private fields */ }

Implementations

impl<A: Clone + 'static> Gen<A>

pub fn run(self, rng: RNG) -> (A, RNG)

pub fn new<B>(b: State<RNG, B>) -> Gen<B>

pub fn map<B, F>(self, f: F) -> Gen<B>where
    F: Fn(A) -> B + 'static,
    B: Clone + 'static,

pub fn and_then<B, C, F>(self, g: Gen<B>, f: F) -> Gen<C>where
    F: Fn(A, B) -> C + 'static,
    A: Clone,
    B: Clone + 'static,
    C: Clone + 'static,

pub fn flat_map<B, F>(self, f: F) -> Gen<B>where
    F: Fn(A) -> Gen<B> + 'static,
    B: Clone + 'static,

Trait Implementations

impl<A: Clone + 'static> Clone for Gen<A>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<A: Debug> Debug for Gen<A>

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

Formats the value using the given formatter.