Struct differential_dataflow::trace::implementations::Batcher

pub struct Batcher<K: Ord, V: Ord, T: Ord, R: Monoid, B: Batch<K, V, T, R>> { /* fields omitted */ }

Creates batches from unordered tuples.

Trait Implementations

impl<K, V, T, R, B> Batcher<K, V, T, R, B> for MergeBatcher<K, V, T, R, B> where
    K: Ord + Clone,
    V: Ord + Clone,
    T: Lattice + Ord + Clone,
    R: Monoid,
    B: Batch<K, V, T, R>, 

fn new() -> Self

Allocates a new empty batcher.

fn push_batch(&mut self, batch: &mut Vec<((K, V), T, R)>)

Adds an unordered batch of elements to the batcher.

fn seal(&mut self, upper: &[T]) -> B

Returns all updates not greater or equal to an element of upper.

fn frontier(&mut self) -> &[T]

Returns the lower envelope of contained update times.