Enum prop_check_rs::gen::SGen

pub enum SGen<A> {
    Sized(Rc<RefCell<dyn Fn(u32) -> Gen<A>>>),
    Unsized(Gen<A>),
}

Variants

Sized(Rc<RefCell<dyn Fn(u32) -> Gen<A>>>)

Unsized(Gen<A>)

Implementations

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

pub fn of_sized<F>(f: F) -> SGen<A>where
    F: Fn(u32) -> Gen<A> + 'static,

pub fn of_unsized(gen: Gen<A>) -> SGen<A>

pub fn run(&self, i: Option<u32>) -> Gen<A>

Examples found in repository

src/prop.rs (line 120)

pub fn for_all_sgen<A, F, FF>(sgen: SGen<A>, mut f: FF) -> Prop
where
  F: FnMut(A) -> bool + 'static,
  FF: FnMut() -> F + 'static,
  A: Clone + Debug + 'static, {
  match sgen {
    SGen::Unsized(g) => for_all_gen(g, f()),
    s @ SGen::Sized(..) => for_all_gen_for_size(move |i| s.run(Some(i)), f),
  }
}

Trait Implementations

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

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.