Struct VecChunkCursor 

pub struct VecChunkCursor<K, V, T, R> { /* private fields */ }

A cursor over a VecChunk, tracking the current key and (key, val) group starts as indices into the flat vector.

Trait Implementations

impl<K, V, T, R> Cursor for VecChunkCursor<K, V, T, R>

where K: Ord + Clone + 'static, V: Ord + Clone + 'static, T: Lattice + Timestamp, R: Ord + Semigroup + 'static,

type Storage = VecChunk<K, V, T, R>

Storage required by the cursor.

type KeyContainer = <Vector<((K, V), T, R)> as Layout>::KeyContainer

Container for update keys.

type Key<'a> = <<Vector<((K, V), T, R)> as Layout>::KeyContainer as BatchContainer>::ReadItem<'a>

Alias for a borrowed key.

type ValContainer = <Vector<((K, V), T, R)> as Layout>::ValContainer

Container for update vals.

type Val<'a> = <<Vector<((K, V), T, R)> as Layout>::ValContainer as BatchContainer>::ReadItem<'a>

Alias for a borrowed val.

type ValOwn = <<Vector<((K, V), T, R)> as Layout>::ValContainer as BatchContainer>::Owned

Alias for an owned val.

type TimeContainer = <Vector<((K, V), T, R)> as Layout>::TimeContainer

Container for times.

type TimeGat<'a> = <<Vector<((K, V), T, R)> as Layout>::TimeContainer as BatchContainer>::ReadItem<'a>

Alias for a borrowed time.

type Time = <<Vector<((K, V), T, R)> as Layout>::TimeContainer as BatchContainer>::Owned

Alias for an owned time.

type DiffContainer = <Vector<((K, V), T, R)> as Layout>::DiffContainer

Container for diffs.

type DiffGat<'a> = <<Vector<((K, V), T, R)> as Layout>::DiffContainer as BatchContainer>::ReadItem<'a>

Alias for a borrowed diff.

type Diff = <<Vector<((K, V), T, R)> as Layout>::DiffContainer as BatchContainer>::Owned

Alias for an owned diff.

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

Indicates if the current key is valid.

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

Indicates if the current value is valid.

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

A reference to the current key. Asserts if invalid.

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

A reference to the current value. Asserts if invalid.

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

Returns a reference to the current key, if valid.

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

Returns a reference to the current value, if valid.

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

Advances the cursor to the next key.

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

Advances the cursor to the specified key.

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

Advances the cursor to the next value.

fn seek_val(&mut self, s: &Self::Storage, val: &V)

Advances the cursor to the specified value.

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

Rewinds the cursor to the first key.

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

Rewinds the cursor to the first value for current key.

fn owned_val(val: Self::Val<'_>) -> Self::ValOwn

Construct an owned val from a reference.

fn owned_time(time: Self::TimeGat<'_>) -> Self::Time

Construct an owned time from a reference.

fn owned_diff(diff: Self::DiffGat<'_>) -> Self::Diff

Construct an owned diff from a reference.

fn clone_time_onto(time: Self::TimeGat<'_>, onto: &mut Self::Time)

Clones a reference time onto an owned time.

fn populate_key<'a>( &mut self, storage: &'a Self::Storage, key: Self::Key<'a>, meet: Option<&Self::Time>, target: &mut EditList<Self::Val<'a>, Self::Time, Self::Diff>, )

Loads target with all updates associated with the supplied key.

fn to_vec<K, IK, V, IV>( &mut self, storage: &Self::Storage, into_key: IK, into_val: IV, ) -> Vec<((K, V), Vec<(Self::Time, Self::Diff)>)>

where IK: for<'a> Fn(Self::Key<'a>) -> K, IV: for<'a> Fn(Self::Val<'a>) -> V,

Rewinds the cursor and outputs its contents to a Vec

impl<K, V, T, R> WithLayout for VecChunkCursor<K, V, T, R>

where K: Ord + Clone + 'static, V: Ord + Clone + 'static, T: Lattice + Timestamp, R: Ord + Semigroup + 'static,

type Layout = Vector<((K, V), T, R)>

The layout.