Struct Timestamp

#[repr(transparent)]
pub struct Timestamp {
    internal: u64,
}

System-wide timestamp type.

Fields

internal: u64

note no pub.

Implementations

impl Timestamp

pub const MAX: Self

pub const MIN: Self

pub const fn new(timestamp: u64) -> Self

pub fn to_bytes(&self) -> [u8; 8]

pub fn from_bytes(bytes: [u8; 8]) -> Self

pub fn saturating_sub<I: Into<Self>>(self, rhs: I) -> Self

pub fn saturating_add<I: Into<Self>>(self, rhs: I) -> Self

pub fn saturating_mul<I: Into<Self>>(self, rhs: I) -> Self

pub fn checked_add<I: Into<Self>>(self, rhs: I) -> Option<Self>

pub fn checked_sub<I: Into<Self>>(self, rhs: I) -> Option<Self>

pub fn step_forward(&self) -> Self

Advance a timestamp by the least amount possible such that ts.less_than(ts.step_forward()) is true. Panic if unable to do so.

pub fn step_forward_by(&self, amount: &Self) -> Self

Advance a timestamp forward by the given amount. Panic if unable to do so.

pub fn try_step_forward(&self) -> Option<Self>

Advance a timestamp by the least amount possible such that ts.less_than(ts.step_forward()) is true. Return None if unable to do so.

pub fn try_step_forward_by(&self, amount: &Self) -> Option<Self>

Advance a timestamp forward by the given amount. Return None if unable to do so.

pub fn step_back(&self) -> Option<Self>

Retreat a timestamp by the least amount possible such that ts.step_back().unwrap().less_than(ts) is true. Return None if unable, which must only happen if the timestamp is Timestamp::minimum().

Trait Implementations

impl Arbitrary for Timestamp

type Parameters = <u64 as Arbitrary>::Parameters

The type of parameters that arbitrary_with accepts for configuration of the generated Strategy. Parameters must implement Default.

type Strategy = Map<<u64 as Arbitrary>::Strategy, fn(u64) -> Timestamp>

The type of Strategy used to generate values of type Self.

fn arbitrary_with(_top: Self::Parameters) -> Self::Strategy

Generates a Strategy for producing arbitrary values of type the implementing type (Self). The strategy is passed the arguments given in args.

fn arbitrary() -> Self::Strategy

Generates a Strategy for producing arbitrary values of type the implementing type (Self).

impl<'a> AsColumnType for Timestamp

fn as_column_type() -> SqlColumnType

The SQL column type of this Rust type

impl BucketTimestamp for Timestamp

fn advance_by_power_of_two(&self, exponent: u32) -> Option<Self>

Advance this timestamp by 2^exponent. Returns None if the timestamp would overflow.

const DOMAIN: usize = _

The number of bits in the timestamp.

impl Clone for Timestamp

fn clone(&self) -> Timestamp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Codec64 for Timestamp

fn codec_name() -> String

Name of the codec.

fn encode(&self) -> [u8; 8]

Encode a timestamp or diff for permanent storage.

fn decode(buf: [u8; 8]) -> Self

Decode a timestamp or diff previous encoded with this codec’s Codec64::encode.

impl Columnar for Timestamp

type Container = Timestamps<Vec<Timestamp>>

The type that stores the columnar representation.

fn into_owned<'a>(other: Ref<'a, Self>) -> Self

Produce an instance of Self from Self::Ref<'a>.

fn reborrow<'b, 'a: 'b>(thing: Ref<'a, Self>) -> Ref<'b, Self>

where Self: 'a,

Reborrows the reference type to a shorter lifetime.

fn copy_from<'a>(&mut self, other: <Self::Container as Container>::Ref<'a>)

where Self: Sized,

Repopulates self from a reference.

fn as_columns<'a, I>(selves: I) -> Self::Container

where I: IntoIterator<Item = &'a Self>, Self: 'a,

Converts a sequence of the references to the type into columnar form.

fn into_columns<I>(selves: I) -> Self::Container

where I: IntoIterator<Item = Self>, Self: Sized,

Converts a sequence of the type into columnar form.

impl Columnation for Timestamp

type InnerRegion = CopyRegion<Timestamp>

The type of region capable of absorbing allocations owned by the Self type. Note: not allocations of Self, but of the things that it owns.

impl<'a, E> DatumType<'a, E> for Timestamp

fn nullable() -> bool

Whether this Rust type can represent NULL values

fn fallible() -> bool

Whether this Rust type can represent errors

fn try_from_result( res: Result<Datum<'a>, E>, ) -> Result<Self, Result<Datum<'a>, E>>

Try to convert a Result whose Ok variant is a Datum into this native Rust type (Self). If it fails the error variant will contain the original result.

fn into_result(self, _temp_storage: &'a RowArena) -> Result<Datum<'a>, E>

Convert this Rust type into a Result containing a Datum, or an error

impl Debug for Timestamp

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

Formats the value using the given formatter.

impl Default for Timestamp

fn default() -> Timestamp

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Timestamp

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Timestamp

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

Formats the value using the given formatter.

impl From<&Timestamp> for u64

fn from(ts: &Timestamp) -> Self

Converts to this type from the input type.

impl<'a> From<Timestamp> for Datum<'a>

fn from(ts: Timestamp) -> Datum<'a>

Converts to this type from the input type.

impl From<Timestamp> for Numeric

fn from(ts: Timestamp) -> Self

Converts to this type from the input type.

impl From<Timestamp> for Duration

fn from(ts: Timestamp) -> Self

Converts to this type from the input type.

impl From<Timestamp> for u128

fn from(ts: Timestamp) -> Self

Converts to this type from the input type.

impl From<Timestamp> for u64

fn from(ts: Timestamp) -> Self

Converts to this type from the input type.

impl From<u64> for Timestamp

fn from(internal: u64) -> Self

Converts to this type from the input type.

impl FromStr for Timestamp

type Err = String

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl Hash for Timestamp

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl HeapSize for Timestamp

fn heap_size(&self) -> (usize, usize)

Active (len) and allocated (cap) heap sizes in bytes. This should not include the size of self itself.

impl Lattice for Timestamp

fn join(&self, other: &Self) -> Self

The smallest element greater than or equal to both arguments.

fn meet(&self, other: &Self) -> Self

The largest element less than or equal to both arguments.

fn join_assign(&mut self, other: &Self)

where Self: Sized,

Updates self to the smallest element greater than or equal to both arguments.

fn meet_assign(&mut self, other: &Self)

where Self: Sized,

Updates self to the largest element less than or equal to both arguments.

fn advance_by(&mut self, frontier: AntichainRef<'_, Self>)

where Self: Sized,

Advances self to the largest time indistinguishable under frontier.

impl Ord for Timestamp

fn cmp(&self, other: &Timestamp) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq<&Timestamp> for Timestamp

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl PartialEq<Timestamp> for &Timestamp

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl PartialEq for Timestamp

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl PartialOrd for Timestamp

fn partial_cmp(&self, other: &Timestamp) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl PartialOrder<&Timestamp> for Timestamp

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: &Rhs) -> bool

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

impl PartialOrder<Timestamp> for &Timestamp

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

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

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

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

impl PartialOrder for Timestamp

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: &Rhs) -> bool

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

impl PathSummary<Timestamp> for Timestamp

fn results_in(&self, src: &Timestamp) -> Option<Timestamp>

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

fn followed_by(&self, other: &Timestamp) -> Option<Timestamp>

Composes this path summary with another path summary.

impl Refines<()> for Timestamp

fn to_inner(_: ()) -> Timestamp

Converts the outer timestamp to an inner timestamp.

fn to_outer(self)

Converts the inner timestamp to an outer timestamp.

fn summarize(_: <Timestamp as Timestamp>::Summary)

Summarizes an inner path summary as an outer path summary.

impl Rem for Timestamp

type Output = Timestamp

The resulting type after applying the % operator.

fn rem(self, rhs: Timestamp) -> Self::Output

Performs the % operation.

impl RustType<ProtoTimestamp> for Timestamp

fn into_proto(&self) -> ProtoTimestamp

Convert a Self into a Proto value.

fn from_proto(proto: ProtoTimestamp) -> Result<Self, TryFromProtoError>

Consume and convert a Proto back into a Self value.

fn into_proto_owned(self) -> Proto

A zero clone version of Self::into_proto that types can optionally implement, otherwise, the default implementation delegates to Self::into_proto.

impl Serialize for Timestamp

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

impl StepForward for Timestamp

fn step_forward(&self) -> Self

Advance a timestamp by the least amount possible such that ts.less_than(ts.step_forward()) is true. Panic if unable to do so.

impl Timestamp for Timestamp

type Summary = Timestamp

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

fn minimum() -> Self

A unique minimum value in our partial order.

impl TimestampManipulation for Timestamp

fn step_forward(&self) -> Self

Advance a timestamp by the least amount possible such that ts.less_than(ts.step_forward()) is true. Panic if unable to do so.

fn step_forward_by(&self, amount: &Self) -> Self

Advance a timestamp forward by the given amount. Panic if unable to do so.

fn try_step_forward(&self) -> Option<Self>

Advance a timestamp by the least amount possible such that ts.less_than(ts.step_forward()) is true. Return None if unable to do so.

fn try_step_forward_by(&self, amount: &Self) -> Option<Self>

Advance a timestamp forward by the given amount. Return None if unable to do so.

fn step_back(&self) -> Option<Self>

Retreat a timestamp by the least amount possible such that ts.step_back().unwrap().less_than(ts) is true. Return None if unable, which must only happen if the timestamp is Timestamp::minimum().

fn maximum() -> Self

Return the maximum value for this timestamp.

fn round_up(&self, schedule: &RefreshSchedule) -> Option<Self>

Rounds up the timestamp to the time of the next refresh according to the given schedule. Returns None if there is no next refresh.

fn round_down_minus_1(&self, schedule: &RefreshSchedule) -> Option<Self>

Rounds down timestamp - 1 to the time of the previous refresh according to the given schedule. Returns None if there is no previous refresh.

impl TryFrom<Datum<'_>> for Timestamp

type Error = ()

The type returned in the event of a conversion error.

fn try_from(from: Datum<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Decimal<NUMERIC_DATUM_WIDTH_USIZE>> for Timestamp

type Error = TryFromDecimalError

The type returned in the event of a conversion error.

fn try_from(value: Numeric) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Duration> for Timestamp

type Error = TryFromIntError

The type returned in the event of a conversion error.

fn try_from(value: Duration) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Timestamp> for i64

type Error = TryFromIntError

The type returned in the event of a conversion error.

fn try_from(value: Timestamp) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<i64> for Timestamp

type Error = TryFromIntError

The type returned in the event of a conversion error.

fn try_from(value: i64) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<u128> for Timestamp

type Error = TryFromIntError

The type returned in the event of a conversion error.

fn try_from(value: u128) -> Result<Self, Self::Error>

Performs the conversion.

impl Zeroable for Timestamp

fn zeroed() -> Self

Calls zeroed.

impl AnyBitPattern for Timestamp

impl Copy for Timestamp

impl Eq for Timestamp

impl NoUninit for Timestamp

impl StructuralPartialEq for Timestamp

impl TotalOrder for Timestamp