Struct differential_dataflow::trace::rc_blanket_impls::RcBuilder

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

Wrapper type for building reference counted batches.

Trait Implementations

impl<K, V, T, R, B: Batch<K, V, T, R>> Builder<K, V, T, R, Rc<B>> for RcBuilder<K, V, T, R, B>

Functionality for building batches from ordered update sequences.

fn new() -> Self

Allocates an empty builder.

fn with_capacity(cap: usize) -> Self

Allocates an empty builder with some capacity.

fn push(&mut self, element: (K, V, T, R))

Adds an element to the batch.

fn done(
    self,
    lower: Antichain<T>,
    upper: Antichain<T>,
    since: Antichain<T>
) -> Rc<B>

Completes building and returns the batch.

fn extend<I: Iterator<Item = (K, V, T, R)>>(&mut self, iter: I)

Adds an ordered sequence of elements to the batch.