Trait Layout

pub trait Layout {
    type KeyContainer: BatchContainer;
    type ValContainer: BatchContainer;
    type TimeContainer: BatchContainer<Owned: Lattice + Timestamp>;
    type DiffContainer: BatchContainer<Owned: Semigroup + 'static>;
    type OffsetContainer: for<'a> BatchContainer<ReadItem<'a> = usize>;
}

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

Required Associated Types

type KeyContainer: BatchContainer

Container for update keys.

type ValContainer: BatchContainer

Container for update vals.

type TimeContainer: BatchContainer<Owned: Lattice + Timestamp>

Container for times.

type DiffContainer: BatchContainer<Owned: Semigroup + 'static>

Container for diffs.

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

Container for offsets.

Implementations on Foreign Types

impl<KC, VC, TC, DC, OC> Layout for (KC, VC, TC, DC, OC)

where KC: BatchContainer, VC: BatchContainer, TC: BatchContainer<Owned: Lattice + Timestamp>, DC: BatchContainer<Owned: Semigroup>, OC: for<'a> BatchContainer<ReadItem<'a> = usize>,

type KeyContainer = KC

type ValContainer = VC

type TimeContainer = TC

type DiffContainer = DC

type OffsetContainer = OC

Implementors

impl<U> Layout for TStack<U>

where U: Update<Key: Columnation, Val: Columnation, Time: Columnation, Diff: Columnation + Ord>,

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<Diff: Ord>> Layout for Vector<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