Struct differential_dataflow::trace::description::Description

source ·
pub struct Description<Time> { /* private fields */ }
Expand description

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§

source§

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

source

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

Returns a new description from its component parts.

source§

impl<Time> Description<Time>

source

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

The lower envelope for times in the interval.

source

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

The upper envelope for times in the interval.

source

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

Times from whose future the interval may be observed.

Trait Implementations§

source§

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

source§

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

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

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

source§

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

Formats the value using the given formatter. Read more
source§

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

source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
source§

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

source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

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

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

impl<Time> Serialize for Description<Time>
where Time: Serialize,

source§

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

Serialize this value into the given Serde serializer. Read more
source§

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

Auto Trait Implementations§

§

impl<Time> Freeze for Description<Time>
where Time: Freeze,

§

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: RefUnwindSafe + UnwindSafe,

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where T: Clone,

source§

default unsafe fn clone_to_uninit(&self, dst: *mut T)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> ProgressEventTimestamp for T
where T: Data + Debug + Any,

source§

fn as_any(&self) -> &(dyn Any + 'static)

Upcasts this ProgressEventTimestamp to Any. Read more
source§

fn type_name(&self) -> &'static str

Returns the name of the concrete type of this object. Read more
source§

impl<'a, S, T> Semigroup<&'a S> for T
where T: Semigroup<S>,

source§

fn plus_equals(&mut self, rhs: &&'a S)

The method of std::ops::AddAssign, for types that do not implement AddAssign.
source§

impl<T> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

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

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<T> Data for T
where T: Clone + 'static,

source§

impl<T> Data for T
where T: Send + Sync + Any + Serialize + for<'a> Deserialize<'a> + 'static,

source§

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

source§

impl<T> ExchangeData for T
where T: Data + Data,