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>,