Struct differential_dataflow::trace::implementations::ord::OrdKeyCursor

pub struct OrdKeyCursor<T: Lattice + Ord + Clone, R: Diff> { /* private fields */ }

A cursor for navigating a single layer.

Trait Implementations

impl<K: Ord + Clone, T: Lattice + Ord + Clone, R: Diff> Cursor<K, (), T, R> for OrdKeyCursor<T, R>

type Storage = OrdKeyBatch<K, T, R>

Type the cursor addresses data in.

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

A reference to the current key. Asserts if invalid.

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

A reference to the current value. Asserts if invalid.

fn map_times<L: FnMut(&T, R)>(&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 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 step_key(&mut self, storage: &Self::Storage)

Advances the cursor to the next key. Indicates if the key is valid.

fn seek_key(&mut self, storage: &Self::Storage, key: &K)

Advances the cursor to the specified key. Indicates if the key is valid.

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

Advances the cursor to the next value. Indicates if the value is valid.

fn seek_val(&mut self, _storage: &Self::Storage, _val: &())

Advances the cursor to the specified value. Indicates if the value is valid.

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<&'a K>

Returns a reference to the current key, if valid.

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

Returns a reference to the current value, if valid.

impl<T: Debug + Lattice + Ord + Clone, R: Debug + Diff> Debug for OrdKeyCursor<T, R>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.