Struct differential_dataflow::trace::description::Description[][src]

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

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>[src]

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

Returns a new description from its component parts.

impl<Time> Description<Time>[src]

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

The lower envelope for times in the interval.

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

The upper envelope for times in the interval.

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

Times from whose future the interval may be observed.

Trait Implementations

impl<Time> Abomonation for Description<Time> where
    Antichain<Time>: Abomonation,
    Time: Abomonation
[src]

impl<Time: Clone> Clone for Description<Time>[src]

impl<Time: Debug> Debug for Description<Time>[src]

Auto Trait Implementations

impl<Time> RefUnwindSafe for Description<Time> where
    Time: RefUnwindSafe

impl<Time> Send for Description<Time> where
    Time: Send

impl<Time> Sync for Description<Time> where
    Time: Sync

impl<Time> Unpin for Description<Time> where
    Time: Unpin

impl<Time> UnwindSafe for Description<Time> where
    Time: UnwindSafe

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> Data for T where
    T: 'static + Send + Sync + Any + Abomonation

impl<T> Data for T where
    T: 'static + Clone
[src]

impl<T> ExchangeData for T where
    T: Data + Data, 
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> ProgressEventTimestamp for T where
    T: Data + Any + Debug
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.