Module mz_timely_util::order

Traits and types for partially ordered sets.

Structs

• Interval
  A type representing an inclusive interval of type P, ordered under the subset relation.
• Partitioned
  A partially ordered timestamp that is partitioned by an arbitrary number of partitions identified by P. The construction allows for efficient representation of frontiers with Antichains.
• Reverse
  A helper struct for reverse partial ordering.

Traits

• Extrema
  A trait defining the minimum and maximum values of a type.
• Step

Functions

• refine_antichain
  Refine an Antichain<T> into a Antichain<Inner>, using a Refines implementation (in the case of tuple-style timestamps, this usually means appending a minimum time).