Struct differential_dataflow::trace::description::Description [−][src]
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]
lower: Antichain<Time>,
upper: Antichain<Time>,
since: Antichain<Time>
) -> Self
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]
Antichain<Time>: Abomonation,
Time: Abomonation,
unsafe fn entomb<W: Write>(&self, _write: &mut W) -> Result<()>[src]
fn extent(&self) -> usize[src]
unsafe fn exhume<'a, 'b>(
&'a mut self,
bytes: &'b mut [u8]
) -> Option<&'b mut [u8]>[src]
&'a mut self,
bytes: &'b mut [u8]
) -> Option<&'b mut [u8]>
impl<Time: Clone> Clone for Description<Time>[src]
fn clone(&self) -> Description<Time>[src]
pub fn clone_from(&mut self, source: &Self)1.0.0[src]
impl<Time: Debug> Debug for Description<Time>[src]
Auto Trait Implementations
impl<Time> RefUnwindSafe for Description<Time> where
Time: RefUnwindSafe,
Time: RefUnwindSafe,
impl<Time> Send for Description<Time> where
Time: Send,
Time: Send,
impl<Time> Sync for Description<Time> where
Time: Sync,
Time: Sync,
impl<Time> Unpin for Description<Time> where
Time: Unpin,
Time: Unpin,
impl<Time> UnwindSafe for Description<Time> where
Time: UnwindSafe,
Time: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T[src]
impl<T> Data for T where
T: 'static + Send + Sync + Any + Abomonation,
T: 'static + Send + Sync + Any + Abomonation,
impl<T> Data for T where
T: 'static + Clone, [src]
T: 'static + Clone,
impl<T> ExchangeData for T where
T: Data + Data, [src]
T: Data + Data,
impl<T> From<T> for T[src]
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T> ProgressEventTimestamp for T where
T: Data + Any + Debug, [src]
T: Data + Any + Debug,
impl<T> ToOwned for T where
T: Clone, [src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T[src]
pub fn clone_into(&self, target: &mut T)[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,