Struct Description

pub struct Description<Time> { /* private fields */ }

Describes an interval of partially ordered times.

A Description indicates a set of partially ordered times, and a moment at which they are observed. The lower and upper frontiers bound the times contained within, and the since frontier indicates a moment at which the times were observed. If since is strictly in advance of lower, the contained times may be “advanced” to times which appear equivalent to any time after since.

Implementations

impl<Time: PartialOrder + Clone> Description<Time>

pub fn new( lower: Antichain<Time>, upper: Antichain<Time>, since: Antichain<Time>, ) -> Self

Returns a new description from its component parts.

impl<Time> Description<Time>

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

The lower envelope for times in the interval.

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

The upper envelope for times in the interval.

pub fn since(&self) -> &Antichain<Time>

Times from whose future the interval may be observed.

Trait Implementations

impl<Time: Clone> Clone for Description<Time>

fn clone(&self) -> Description<Time>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Time: Debug> Debug for Description<Time>

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

Formats the value using the given formatter.

impl<'de, Time> Deserialize<'de> for Description<Time>

where Time: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<Time: PartialEq> PartialEq for Description<Time>

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<Time> Serialize for Description<Time>

where Time: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<Time: Eq> Eq for Description<Time>