Struct 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 + Navigable, TInner: Refines<B::Time> + Lattice, F: FnMut(<B::Cursor as Cursor>::Key<'_>, <B::Cursor as Cursor>::Val<'_>, <B::Cursor as Cursor>::TimeGat<'_>) -> TInner + Clone,

type Time = TInner

The timestamp type of the batch’s updates.

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 duplicate of the value.

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

Performs copy-assignment from source.

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

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

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

The cursor type.

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

Acquire a cursor suitable for the instance.