Trait Leave 

pub trait Leave<T1, T2> {
    type OuterContainer;

    // Required method
    fn leave(self) -> Self::OuterContainer;
}

A container that can leave from timestamp T1 into timestamp T2.

Required Associated Types

type OuterContainer

The resulting container type.

Required Methods

fn leave(self) -> Self::OuterContainer

Update timestamps from T1 to T2.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<C: Leave<T1, T2> + Clone + Default, T1: Refines<T2>, T2: Timestamp> Leave<T1, T2> for Rc<C>

type OuterContainer = Rc<<C as Leave<T1, T2>>::OuterContainer>

fn leave(self) -> Self::OuterContainer

impl<D, T1: Refines<T2>, T2: Timestamp, R> Leave<T1, T2> for Vec<(D, T1, R)>

type OuterContainer = Vec<(D, T2, R)>

fn leave(self) -> Self::OuterContainer

Implementors

impl<K, V, T1, T2, R> Leave<T1, T2> for RecordedUpdates<(K, V, T1, R)>

where (K, V, T1, R): Update<Key = K, Val = V, Time = T1, Diff = R>, (K, V, T2, R): Update<Key = K, Val = V, Time = T2, Diff = R>, T1: Refines<T2> + Columnar + Default + Clone, T2: Timestamp + Columnar + Default + Clone, K: Columnar, V: Columnar, R: Columnar,

type OuterContainer = RecordedUpdates<(K, V, T2, R)>