Struct boulder::SubsetsFromPersianRug

pub struct SubsetsFromPersianRug<T> { /* private fields */ }

Available on crate feature persian-rug only.

Produce subsets of the existing Proxy<T> items in the context.

The yield pattern is the same as the regular Subsets generator. It is safe to add more items, and they will occur in their natural place in future items yielded by the generator.

Example:

use boulder::{GeneratorWithPersianRug, SubsetsFromPersianRug};
use persian_rug::{contextual, persian_rug, Context, Proxy};

#[contextual(Rug)]
struct Foo {
  a: i32
}

#[persian_rug]
struct Rug(#[table] Foo);

let mut r = Rug(Default::default());
let f1 = r.add(Foo { a: 0 });
let f2 = r.add(Foo { a: 1 });

let mut g = SubsetsFromPersianRug::<Foo>::new();
let (s1, _) = g.generate(&mut r);
assert_eq!(s1, Vec::new());
let (s2, _) = g.generate(&mut r);
assert_eq!(s2, vec![ f1 ]);
let (s3, _) = g.generate(&mut r);
assert_eq!(s3, vec![ f2 ]);
let (s4, _) = g.generate(&mut r);
assert_eq!(s4, vec![ f1, f2 ]);

Implementations

impl<T> SubsetsFromPersianRug<T>

pub fn new() -> Self

Trait Implementations

impl<T> Default for SubsetsFromPersianRug<T>

fn default() -> Self

Returns the “default value” for a type.

impl<C, T> GeneratorWithPersianRug<C> for SubsetsFromPersianRug<T> where
    C: Context + Owner<T>,
    T: Contextual<Context = C>, 

type Output = Vec<Proxy<T>, Global>

Available on crate feature persian-rug only.

The output type.

fn generate<'b, B>(&mut self, context: B) -> (Self::Output, B) where
    B: 'b + Mutator<Context = C>, 

Available on crate feature persian-rug only.

Make a new object.