Expand description

Trace and batch implementations based on sorted ranges.

The types and type aliases in this module start with either

  • OrdVal: Collections whose data have the form (key, val) where key is ordered.
  • OrdKey: Collections whose data have the form key where key is ordered.

Although OrdVal is more general than OrdKey, the latter has a simpler representation and should consume fewer resources (computation and memory) when it applies.

Structs

An immutable collection of update tuples, from a contiguous interval of logical times.
A builder for creating layers from unsorted update tuples.
A cursor for navigating a single layer.
State for an in-progress merge.
An immutable collection of update tuples, from a contiguous interval of logical times.
A builder for creating layers from unsorted update tuples.
A cursor for navigating a single layer.
State for an in-progress merge.

Type Definitions

A trace implementation for empty values using a spine of ordered lists.
A trace implementation for empty values using a spine of abomonated ordered lists.
A trace implementation using a spine of ordered lists.
A trace implementation using a spine of abomonated ordered lists.