Module trace 

Traits and datastructures representing a collection trace.

A collection trace is a set of updates of the form (key, val, time, diff), which determine the contents of a collection at given times by accumulating updates whose time field is less or equal to the target field.

The Trace trait describes those types and methods that a data structure must implement to be viewed as a collection trace. This trait allows operator implementations to be generic with respect to the type of trace, and allows various data structures to be interpretable as multiple different types of trace.

Re-exports

pub use self::cursor::Cursor;

pub use self::cursor::Navigable;

pub use self::cursor::BatchCursor;

pub use self::cursor::BatchKey;

pub use self::cursor::BatchVal;

pub use self::cursor::BatchValOwn;

pub use self::cursor::BatchDiff;

pub use self::cursor::BatchDiffGat;

pub use self::cursor::BatchTimeGat;

pub use self::description::Description;

pub use crate::batcher::Batcher;

Modules

chunk

Sorted, consolidated runs of updates, and operators over sequences of them.

cursor

Traits and types for navigating order sequences of update tuples.

description

Descriptions of intervals of partially ordered times.

implementations

Implementations of Trace and associated traits.

wrappers

Wrappers around trace implementations, providing derived views of updates.

Structs

Span

An interval of a trace’s history: a description of the times it covers, and the batch of updates within it, absent exactly when there are none.

Traits

Builder

Functionality for building batches from ordered update sequences.

Trace

An append-only collection of (key, val, time, diff) tuples.

TraceReader

A trace whose contents may be read.

Type Aliases

ExertionLogic

A type used to express how much effort a trace should exert even in the absence of updates.

SpanOf

The span type of a trace: Span instantiated at the trace’s time and batch.