Module trace

Source
Expand description

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::description::Description;

Modules§

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.
rc_blanket_impls
Blanket implementations for reference counted batches.
wrappers
Wrappers around trace implementations, providing derived views of updates.

Traits§

Batch
An immutable collection of updates.
BatchReader
A batch of updates whose contents may be read.
Batcher
Functionality for collecting and batching updates.
Builder
Functionality for building batches from ordered update sequences.
Merger
Represents a merge in progress.
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.