Enum timely::progress::nested::summary::Summary

pub enum Summary<S, T> {
    Local(T),
    Outer(S, T),
}

Summarizes a path within a scope.

The path summary can either be entirely local to the scope (Local) or it may leave the scope and return (Outer).

Variants

Local(T)

Reachable within the scope, and a summary adjusting only the inner coordinate.

Outer(S, T)

Reachable outside the scope, with adjustments to both coordinates.

Trait Implementations

impl<S: Copy, T: Copy> Copy for Summary<S, T>

impl<S: Clone, T: Clone> Clone for Summary<S, T>

fn clone(&self) -> Summary<S, T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<S: Eq, T: Eq> Eq for Summary<S, T>

impl<S: PartialEq, T: PartialEq> PartialEq for Summary<S, T>

fn eq(&self, __arg_0: &Summary<S, T>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &Summary<S, T>) -> bool

This method tests for !=.

impl<S: Debug, T: Debug> Debug for Summary<S, T>

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<S, T: Default> Default for Summary<S, T>

fn default() -> Summary<S, T>

Returns the "default value" for a type.

impl<S: PartialOrder, T: PartialOrder> PartialOrder for Summary<S, T>

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

Returns true iff one element is less than or equal to the other.

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

Returns true iff one element is strictly less than the other.

impl<TOuter, SOuter, TInner, SInner> PathSummary<Product<TOuter, TInner>> for Summary<SOuter, SInner> where
    TOuter: Timestamp,
    TInner: Timestamp,
    SOuter: PathSummary<TOuter>,
    SInner: PathSummary<TInner>, 

fn results_in(
    &self,
    product: &Product<TOuter, TInner>
) -> Option<Product<TOuter, TInner>>

Advances a timestamp according to the timestamp actions on the path.

fn followed_by(
    &self,
    other: &Summary<SOuter, SInner>
) -> Option<Summary<SOuter, SInner>>

Composes this path summary with another path summary.

impl<SOuter: Display, SInner: Display> Display for Summary<SOuter, SInner>

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

Formats the value using the given formatter.