Struct smoke::generator::SuchThat

pub struct SuchThat<G, F> { /* fields omitted */ }

Generator filtering mechanisms, such that the resulting generator, generate Item elements where the predicate is valid only.

Trait Implementations

impl<G: Clone, F: Clone> Clone for SuchThat<G, F>

fn clone(&self) -> SuchThat<G, F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<G: Generator, F> Generator for SuchThat<G, F> where
    F: Fn(&G::Item) -> bool + Clone, 

type Item = G::Item

Type generated by the generator

fn gen(&self, r: &mut R) -> Self::Item

Generate the next item

fn map<O, F>(self, f: F) -> Map<Self, F> where
    Self: Sized,
    F: Fn(Self::Item) -> O, 

Map the output of a generator through a function

fn such_that<F>(self, f: F) -> SuchThat<Self, F> where
    Self: Sized,
    F: Fn(Self::Item) -> bool + Clone, 

Filter the generated items such that only the item that matches the predicate 'f' are returned.

fn and<G>(self, other: G) -> And<Self, G> where
    Self: Sized, 

Combine two arbitrary generators into one that generate tuple item of both generators, transforming generator for A and generator for B into one generator of (A,B)

fn or<G>(self, other: G) -> Or<Self, G> where
    Self: Sized,
    G: Generator<Item = Self::Item>, 

This generator or another one.

fn into_boxed(self) -> BoxGenerator<Self::Item> where
    Self: Sized + 'static, 

Box a generator into a monomorphic fixed-sized type, that is easier to handle