Struct mz_repr::adt::timestamp::CheckedTimestamp

pub struct CheckedTimestamp<T> {
    t: T,
}

Fields

t: T

Implementations

impl<T: TimestampLike> CheckedTimestamp<T>

pub fn from_timestamplike(t: T) -> Result<Self, TimestampError>

pub fn checked_add_signed(self, rhs: Duration) -> Option<T>

pub fn checked_sub_signed(self, rhs: Duration) -> Option<T>

pub fn diff_as( &self, other: &Self, unit: DateTimePart, ) -> Result<i64, TimestampError>

Returns the difference between self and the provided CheckedTimestamp as a number of “unit“s.

Note: used for DATEDIFF(...), which isn’t a Postgres function, but is in a number of other databases.

pub fn age(&self, other: &Self) -> Result<Interval, TimestampError>

Implementation was roughly ported from Postgres’s timestamp.c.

https://github.com/postgres/postgres/blob/REL_15_3/src/backend/utils/adt/timestamp.c#L3631

pub fn round_to_precision( &self, precision: Option<TimestampPrecision>, ) -> Result<CheckedTimestamp<T>, TimestampError>

Rounds the timestamp to the specified number of digits of precision.

impl CheckedTimestamp<NaiveDateTime>

pub fn to_naive(&self) -> NaiveDateTime

impl CheckedTimestamp<DateTime<Utc>>

pub fn to_naive(&self) -> NaiveDateTime

Trait Implementations

impl Arbitrary for CheckedTimestamp<DateTime<Utc>>

type Parameters = ()

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

type Strategy = BoxedStrategy<CheckedTimestamp<DateTime<Utc>>>

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

fn arbitrary_with(_: 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 Arbitrary for CheckedTimestamp<NaiveDateTime>

type Parameters = ()

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

type Strategy = BoxedStrategy<CheckedTimestamp<NaiveDateTime>>

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

fn arbitrary_with(_: 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 AsColumnType for CheckedTimestamp<DateTime<Utc>>

fn as_column_type() -> ColumnType

The SQL column type of this Rust type

impl AsColumnType for CheckedTimestamp<NaiveDateTime>

fn as_column_type() -> ColumnType

The SQL column type of this Rust type

impl<T: Clone> Clone for CheckedTimestamp<T>

fn clone(&self) -> CheckedTimestamp<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, E> DatumType<'a, E> for CheckedTimestamp<DateTime<Utc>>

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<'a, E> DatumType<'a, E> for CheckedTimestamp<NaiveDateTime>

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<T: Debug> Debug for CheckedTimestamp<T>

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

Formats the value using the given formatter.

impl<T: TimestampLike> Deref for CheckedTimestamp<T>

type Target = T

The resulting type after dereferencing.

fn deref(&self) -> &T

Dereferences the value.

impl Display for CheckedTimestamp<DateTime<Utc>>

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

Formats the value using the given formatter.

impl Display for CheckedTimestamp<NaiveDateTime>

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

Formats the value using the given formatter.

impl From<CheckedTimestamp<DateTime<Utc>>> for DateTime<Utc>

fn from(val: CheckedTimestamp<DateTime<Utc>>) -> Self

Converts to this type from the input type.

impl<'a> From<CheckedTimestamp<DateTime<Utc>>> for Datum<'a>

fn from(dt: CheckedTimestamp<DateTime<Utc>>) -> Datum<'a>

Converts to this type from the input type.

impl<'a> From<CheckedTimestamp<NaiveDateTime>> for Datum<'a>

fn from(dt: CheckedTimestamp<NaiveDateTime>) -> Datum<'a>

Converts to this type from the input type.

impl From<CheckedTimestamp<NaiveDateTime>> for NaiveDateTime

fn from(val: CheckedTimestamp<NaiveDateTime>) -> Self

Converts to this type from the input type.

impl<T: Hash> Hash for CheckedTimestamp<T>

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<T: Ord> Ord for CheckedTimestamp<T>

fn cmp(&self, other: &CheckedTimestamp<T>) -> 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 + PartialOrd,

Restrict a value to a certain interval.

impl<T: PartialEq> PartialEq for CheckedTimestamp<T>

fn eq(&self, other: &CheckedTimestamp<T>) -> 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<T: PartialOrd> PartialOrd for CheckedTimestamp<T>

fn partial_cmp(&self, other: &CheckedTimestamp<T>) -> 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<'a> RangeOps<'a> for CheckedTimestamp<DateTime<Utc>>

fn err_type_name() -> &'static str

fn step(self) -> Option<Self>

Increment self one step forward, if applicable. Return None if overflows.

fn unwrap_datum(d: Datum<'a>) -> Self

impl<'a> RangeOps<'a> for CheckedTimestamp<NaiveDateTime>

fn err_type_name() -> &'static str

fn step(self) -> Option<Self>

Increment self one step forward, if applicable. Return None if overflows.

fn unwrap_datum(d: Datum<'a>) -> Self

impl RustType<ProtoNaiveDateTime> for CheckedTimestamp<DateTime<Utc>>

fn into_proto(&self) -> ProtoNaiveDateTime

Convert a Self into a Proto value.

fn from_proto(proto: ProtoNaiveDateTime) -> 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 RustType<ProtoNaiveDateTime> for CheckedTimestamp<NaiveDateTime>

fn into_proto(&self) -> ProtoNaiveDateTime

Convert a Self into a Proto value.

fn from_proto(proto: ProtoNaiveDateTime) -> 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<T: Serialize> Serialize for CheckedTimestamp<T>

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

where S: Serializer,

Serialize this value into the given Serde serializer.

impl<T: Sub<Duration, Output = T>> Sub<TimeDelta> for CheckedTimestamp<T>

type Output = T

The resulting type after applying the - operator.

fn sub(self, rhs: Duration) -> T

Performs the - operation.

impl<T: Sub<Output = Duration>> Sub for CheckedTimestamp<T>

type Output = TimeDelta

The resulting type after applying the - operator.

fn sub(self, rhs: CheckedTimestamp<T>) -> Duration

Performs the - operation.

impl TryFrom<DateTime<Utc>> for CheckedTimestamp<DateTime<Utc>>

type Error = TimestampError

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<Datum<'_>> for CheckedTimestamp<DateTime<Utc>>

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<Datum<'_>> for CheckedTimestamp<NaiveDateTime>

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<NaiveDateTime> for CheckedTimestamp<NaiveDateTime>

type Error = TimestampError

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<T: Copy> Copy for CheckedTimestamp<T>

impl<T: Eq> Eq for CheckedTimestamp<T>

impl<T> StructuralPartialEq for CheckedTimestamp<T>