Struct differential_dataflow::trace::wrappers::enter_at::BatchEnter

pub struct BatchEnter<B, TInner, F> { /* private fields */ }

Wrapper to provide batch to nested scope.

Implementations

impl<B, TInner, F> BatchEnter<B, TInner, F>

where B: BatchReader, TInner: Refines<B::Time> + Lattice,

pub fn make_from(batch: B, logic: F) -> Self

Makes a new batch wrapper

Trait Implementations

impl<B, TInner, F> BatchReader for BatchEnter<B, TInner, F>

where B: BatchReader, TInner: Refines<B::Time> + Lattice, F: FnMut(B::Key<'_>, <B::Cursor as Cursor>::Val<'_>, B::TimeGat<'_>) -> TInner + Clone,

type Key<'a> = <B as BatchReader>::Key<'a>

Key by which updates are indexed.

type Val<'a> = <B as BatchReader>::Val<'a>

Values associated with keys.

type Time = TInner

Timestamps associated with updates

type TimeGat<'a> = &'a TInner

Borrowed form of timestamp.

type Diff = <B as BatchReader>::Diff

Owned form of update difference.

type DiffGat<'a> = <B as BatchReader>::DiffGat<'a>

Borrowed form of update difference.

type Cursor = BatchCursorEnter<<B as BatchReader>::Cursor, TInner, F>

The type used to enumerate the batch’s contents.

fn cursor(&self) -> Self::Cursor

Acquires a cursor to the batch’s contents.

fn len(&self) -> usize

The number of updates in the batch.

fn description(&self) -> &Description<TInner>

Describes the times of the updates in the batch.

fn is_empty(&self) -> bool

True if the batch is empty.

fn lower(&self) -> &Antichain<Self::Time>

All times in the batch are greater or equal to an element of lower.

fn upper(&self) -> &Antichain<Self::Time>

All times in the batch are not greater or equal to any element of upper.

impl<B: Clone, TInner: Clone, F: Clone> Clone for BatchEnter<B, TInner, F>

fn clone(&self) -> BatchEnter<B, TInner, F>

Returns a copy of the value.

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

Performs copy-assignment from source.