Struct differential_dataflow::trace::wrappers::filter::BatchFilter

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

Wrapper to provide batch to nested scope.

Implementations

impl<B, F> BatchFilter<B, F>

where B: BatchReader,

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

Makes a new batch wrapper

Trait Implementations

impl<B, F> BatchReader for BatchFilter<B, F>

where B: BatchReader, F: FnMut(B::Key<'_>, B::Val<'_>) -> bool + Clone + 'static,

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 = BatchCursorFilter<<B as BatchReader>::Cursor, 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<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, F: Clone> Clone for BatchFilter<B, F>

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

Returns a copy of the value.

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

Performs copy-assignment from source.