Struct Span 

pub struct Span<T, B> {
    pub desc: Description<T>,
    pub inner: Option<B>,
}

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.

The interval is never empty, but the batch may be missing; a span records that its times happened and brought no updates.

Fields

desc: Description<T>

The lower and upper bounds of contained update times, and the compaction frontier.

inner: Option<B>

The updates within the interval; absent exactly when there are none.

Implementations

impl<T, B> Span<T, B>

pub fn new(desc: Description<T>, inner: Option<B>) -> Self

A span from a description and the batch within it, absent when there are no updates.

pub fn lower(&self) -> &Antichain<T>

All times in the span are greater or equal to an element of lower.

pub fn upper(&self) -> &Antichain<T>

All times in the span are not greater or equal to any element of upper.

pub fn has_updates(&self) -> bool

True if the span carries a batch of updates.

This is about the updates, not the interval, which is never empty.

impl<T: Timestamp, B> Span<T, B>

pub fn empty(lower: Antichain<T>, upper: Antichain<T>) -> Self

A span over the indicated interval carrying no updates.

Trait Implementations

impl<T: Clone, B: Clone> Clone for Span<T, B>

fn clone(&self) -> Span<T, B>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug, B: Debug> Debug for Span<T, B>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.