Struct differential_dataflow::trace::wrappers::enter_at::BatchCursorEnter

pub struct BatchCursorEnter<C, TInner, F> { /* private fields */ }

Wrapper to provide cursor to nested scope.

Trait Implementations

impl<TInner, C: Cursor, F> Cursor for BatchCursorEnter<C, TInner, F>

where TInner: Refines<C::Time> + Lattice, F: FnMut(C::Key<'_>, C::Val<'_>, C::TimeGat<'_>) -> TInner,

type Key<'a> = <C as Cursor>::Key<'a>

Key by which updates are indexed.

type Val<'a> = <C as Cursor>::Val<'a>

Values associated with keys.

type Time = TInner

Timestamps associated with updates

type TimeGat<'a> = &'a TInner

Borrowed form of timestamp.

type Diff = <C as Cursor>::Diff

Owned form of update difference.

type DiffGat<'a> = <C as Cursor>::DiffGat<'a>

Borrowed form of update difference.

type Storage = BatchEnter<<C as Cursor>::Storage, TInner, F>

Storage required by the cursor.

fn key_valid(&self, storage: &Self::Storage) -> bool

Indicates if the current key is valid.

fn val_valid(&self, storage: &Self::Storage) -> bool

Indicates if the current value is valid.

fn key<'a>(&self, storage: &'a Self::Storage) -> Self::Key<'a>

A reference to the current key. Asserts if invalid.

fn val<'a>(&self, storage: &'a Self::Storage) -> Self::Val<'a>

A reference to the current value. Asserts if invalid.

fn map_times<L: FnMut(&TInner, Self::DiffGat<'_>)>( &mut self, storage: &Self::Storage, logic: L, )

Applies logic to each pair of time and difference. Intended for mutation of the closure’s scope.

fn step_key(&mut self, storage: &Self::Storage)

Advances the cursor to the next key.

fn seek_key(&mut self, storage: &Self::Storage, key: Self::Key<'_>)

Advances the cursor to the specified key.

fn step_val(&mut self, storage: &Self::Storage)

Advances the cursor to the next value.

fn seek_val(&mut self, storage: &Self::Storage, val: Self::Val<'_>)

Advances the cursor to the specified value.

fn rewind_keys(&mut self, storage: &Self::Storage)

Rewinds the cursor to the first key.

fn rewind_vals(&mut self, storage: &Self::Storage)

Rewinds the cursor to the first value for current key.

fn get_key<'a>(&self, storage: &'a Self::Storage) -> Option<Self::Key<'a>>

Returns a reference to the current key, if valid.

fn get_val<'a>(&self, storage: &'a Self::Storage) -> Option<Self::Val<'a>>

Returns a reference to the current value, if valid.