Struct differential_dataflow::trace::wrappers::frontier::BatchFrontier

pub struct BatchFrontier<B: BatchReader> { /* private fields */ }

Wrapper to provide batch to nested scope.

Implementations

impl<B: BatchReader> BatchFrontier<B>

pub fn make_from( batch: B, since: AntichainRef<'_, B::Time>, until: AntichainRef<'_, B::Time>, ) -> Self

Makes a new batch wrapper

Trait Implementations

impl<B: BatchReader> BatchReader for BatchFrontier<B>

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 = <B as BatchReader>::Time

Timestamps associated with updates

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

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 = BatchCursorFrontier<<B as BatchReader>::Cursor>

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<B::Time>

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 + BatchReader> Clone for BatchFrontier<B>

where B::Time: Clone,

fn clone(&self) -> BatchFrontier<B>

Returns a copy of the value.

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

Performs copy-assignment from source.