differential_dataflow::trace::wrappers::freeze

Struct CursorFreeze

Source
pub struct CursorFreeze<C, F> { /* private fields */ }
Expand description

Wrapper to provide cursor to nested scope.

Trait Implementations§

Source§

impl<C, F> Cursor for CursorFreeze<C, F>
where C: Cursor, F: Fn(C::TimeGat<'_>) -> Option<C::Time>,

Source§

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

Key by which updates are indexed.
Source§

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

Values associated with keys.
Source§

type Time = <C as Cursor>::Time

Timestamps associated with updates
Source§

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

Borrowed form of timestamp.
Source§

type Diff = <C as Cursor>::Diff

Owned form of update difference.
Source§

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

Borrowed form of update difference.
Source§

type Storage = <C as Cursor>::Storage

Storage required by the cursor.
Source§

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

Indicates if the current key is valid. Read more
Source§

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

Indicates if the current value is valid. Read more
Source§

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

A reference to the current key. Asserts if invalid.
Source§

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

A reference to the current value. Asserts if invalid.
Source§

fn map_times<L: FnMut(Self::TimeGat<'_>, 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.
Source§

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

Advances the cursor to the next key.
Source§

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

Advances the cursor to the specified key.
Source§

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

Advances the cursor to the next value.
Source§

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

Advances the cursor to the specified value.
Source§

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

Rewinds the cursor to the first key.
Source§

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

Rewinds the cursor to the first value for current key.
Source§

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

Returns a reference to the current key, if valid.
Source§

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

Returns a reference to the current value, if valid.
Source§

fn to_vec<K, V>( &mut self, storage: &Self::Storage, ) -> Vec<((K, V), Vec<(Self::Time, Self::Diff)>)>
where for<'a> Self::Key<'a>: IntoOwned<'a, Owned = K>, for<'a> Self::Val<'a>: IntoOwned<'a, Owned = V>,

Rewinds the cursor and outputs its contents to a Vec

Auto Trait Implementations§

§

impl<C, F> Freeze for CursorFreeze<C, F>
where C: Freeze,

§

impl<C, F> RefUnwindSafe for CursorFreeze<C, F>

§

impl<C, F> !Send for CursorFreeze<C, F>

§

impl<C, F> !Sync for CursorFreeze<C, F>

§

impl<C, F> Unpin for CursorFreeze<C, F>
where C: Unpin,

§

impl<C, F> UnwindSafe for CursorFreeze<C, F>

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CopyAs<T> for T

Source§

fn copy_as(self) -> T

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<'a, S, T> Semigroup<&'a S> for T
where T: Semigroup<S>,

Source§

fn plus_equals(&mut self, rhs: &&'a S)

The method of std::ops::AddAssign, for types that do not implement AddAssign.
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.