Trait Timestamp

pub trait Timestamp:
    Clone
    + Eq
    + PartialOrder
    + Debug
    + Send
    + Any
    + ExchangeData
    + Hash
    + Ord {
    type Summary: PathSummary<Self> + 'static;

    // Required method
    fn minimum() -> Self;
}

A composite trait for types that serve as timestamps in timely dataflow.

By implementing this trait, you promise that the type’s PartialOrder implementation is compatible with Ord, such that if a.less_equal(b) then a <= b.

Required Associated Types

type Summary: PathSummary<Self> + 'static

A type summarizing action on a timestamp along a dataflow path.

Required Methods

fn minimum() -> Self

A unique minimum value in our partial order.

This value will often be used as an initial value, and should be cheap to construct.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl Timestamp for i8

type Summary = i8

fn minimum() -> Self

impl Timestamp for i16

type Summary = i16

fn minimum() -> Self

impl Timestamp for i32

type Summary = i32

fn minimum() -> Self

impl Timestamp for i64

type Summary = i64

fn minimum() -> Self

impl Timestamp for i128

type Summary = i128

fn minimum() -> Self

impl Timestamp for isize

type Summary = isize

fn minimum() -> Self

impl Timestamp for u8

type Summary = u8

fn minimum() -> Self

impl Timestamp for u16

type Summary = u16

fn minimum() -> Self

impl Timestamp for u32

type Summary = u32

fn minimum() -> Self

impl Timestamp for u64

type Summary = u64

fn minimum() -> Self

impl Timestamp for u128

type Summary = u128

fn minimum() -> Self

impl Timestamp for ()

type Summary = ()

fn minimum() -> Self

impl Timestamp for usize

type Summary = usize

fn minimum() -> Self

impl Timestamp for Duration

type Summary = Duration

fn minimum() -> Self

impl<TOuter: Timestamp, TInner: Timestamp> Timestamp for (TOuter, TInner)

type Summary = (<TOuter as Timestamp>::Summary, <TInner as Timestamp>::Summary)

fn minimum() -> Self

Implementors

impl<TOuter: Timestamp, TInner: Timestamp> Timestamp for Product<TOuter, TInner>

type Summary = Product<<TOuter as Timestamp>::Summary, <TInner as Timestamp>::Summary>