Trait Layout

pub trait Layout {
    type Target: Update + ?Sized;
    type KeyContainer: BatchContainer + PushInto<<Self::Target as Update>::Key>;
    type ValContainer: BatchContainer;
    type TimeContainer: BatchContainer<Owned = <Self::Target as Update>::Time> + PushInto<<Self::Target as Update>::Time>;
    type DiffContainer: BatchContainer<Owned = <Self::Target as Update>::Diff> + PushInto<<Self::Target as Update>::Diff>;
    type OffsetContainer: for<'a> BatchContainer<ReadItem<'a> = usize>;
}

A type with opinions on how updates should be laid out.

Required Associated Types

type Target: Update + ?Sized

The represented update.

type KeyContainer: BatchContainer + PushInto<<Self::Target as Update>::Key>

Container for update keys.

type ValContainer: BatchContainer

Container for update vals.

type TimeContainer: BatchContainer<Owned = <Self::Target as Update>::Time> + PushInto<<Self::Target as Update>::Time>

Container for times.

type DiffContainer: BatchContainer<Owned = <Self::Target as Update>::Diff> + PushInto<<Self::Target as Update>::Diff>

Container for diffs.

type OffsetContainer: for<'a> BatchContainer<ReadItem<'a> = usize>

Container for offsets.

Implementors

impl<K, V, T, D> Layout for Preferred<K, V, T, D>

where K: Ord + ToOwned + PreferredContainer + ?Sized, K::Owned: Ord + Clone + 'static, V: Ord + ToOwned + PreferredContainer + ?Sized, V::Owned: Ord + Clone + 'static, T: Ord + Clone + Lattice + Timestamp, D: Ord + Clone + Semigroup + 'static,

type Target = Preferred<K, V, T, D>

type KeyContainer = <K as PreferredContainer>::Container

type ValContainer = <V as PreferredContainer>::Container

type TimeContainer = Vec<T>

type DiffContainer = Vec<D>

type OffsetContainer = OffsetList

impl<U: Update> Layout for TStack<U>

where U::Key: Columnation, U::Val: Columnation, U::Time: Columnation, U::Diff: Columnation + Ord,

type Target = U

type KeyContainer = TimelyStack<<U as Update>::Key>

type ValContainer = TimelyStack<<U as Update>::Val>

type TimeContainer = TimelyStack<<U as Update>::Time>

type DiffContainer = TimelyStack<<U as Update>::Diff>

type OffsetContainer = OffsetList

impl<U: Update> Layout for Vector<U>

where U::Diff: Ord,

type Target = U

type KeyContainer = Vec<<U as Update>::Key>

type ValContainer = Vec<<U as Update>::Val>

type TimeContainer = Vec<<U as Update>::Time>

type DiffContainer = Vec<<U as Update>::Diff>

type OffsetContainer = OffsetList