Struct CollectionExtender

pub struct CollectionExtender<K, V, T, R, P, F>
where
    K: ExchangeData,
    V: ExchangeData,
    T: Lattice + ExchangeData + Timestamp,
    R: Monoid + Multiply<Output = R> + ExchangeData,
    F: Fn(&P) -> K + Clone,
{ /* private fields */ }

Trait Implementations

impl<G, K, V, R, P, F> PrefixExtender<G, R> for CollectionExtender<K, V, G::Timestamp, R, P, F>

where G: Scope, K: ExchangeData + Hash + Default, V: ExchangeData + Hash + Default, P: ExchangeData, G::Timestamp: Lattice + ExchangeData, R: Monoid + Multiply<Output = R> + ExchangeData, F: Fn(&P) -> K + Clone + 'static,

type Prefix = P

The required type of prefix to extend.

type Extension = V

The type to be produced as extension.

fn count( &mut self, prefixes: &Collection<G, (P, usize, usize), R>, index: usize, ) -> Collection<G, (P, usize, usize), R>

Annotates prefixes with the number of extensions the relation would propose.

fn propose( &mut self, prefixes: &Collection<G, P, R>, ) -> Collection<G, (P, V), R>

Extends each prefix with corresponding extensions.

fn validate( &mut self, extensions: &Collection<G, (P, V), R>, ) -> Collection<G, (P, V), R>

Restricts proposed extensions by those the extender would have proposed.