jiff

Struct SpanArithmetic

Source
pub struct SpanArithmetic<'a> {
    duration: Duration,
    relative: Option<SpanRelativeTo<'a>>,
}
Expand description

Options for Span::checked_add and Span::checked_sub.

This type provides a way to ergonomically add two spans with an optional relative datetime. Namely, a relative datetime is only needed when at least one of the two spans being added (or subtracted) has a non-zero calendar unit (years, months, weeks or days). Otherwise, an error will be returned.

Callers may use SpanArithmetic::days_are_24_hours to opt into 24-hour invariant days (and 7-day weeks) without providing a relative datetime.

The main way to construct values of this type is with its From trait implementations:

§Example

use jiff::ToSpan;

assert_eq!(
    1.hour().checked_add(30.minutes())?,
    1.hour().minutes(30).fieldwise(),
);

Fields§

§duration: Duration§relative: Option<SpanRelativeTo<'a>>

Implementations§

Source§

impl<'a> SpanArithmetic<'a>

Source

pub fn days_are_24_hours(self) -> SpanArithmetic<'a>

This is a convenience function for setting the relative option on this configuration to SpanRelativeTo::days_are_24_hours.

§Example

When doing arithmetic on spans involving days, either a relative datetime must be provided, or a special assertion opting into 24-hour days is required. Otherwise, you get an error.

use jiff::{SpanArithmetic, ToSpan};

let span1 = 2.days().hours(12);
let span2 = 12.hours();
// No relative date provided, which results in an error.
assert_eq!(
    span1.checked_add(span2).unwrap_err().to_string(),
    "using unit 'day' in a span or configuration requires that \
     either a relative reference time be given or \
     `SpanRelativeTo::days_are_24_hours()` is used to indicate \
     invariant 24-hour days, but neither were provided",
);
let sum = span1.checked_add(
    SpanArithmetic::from(span2).days_are_24_hours(),
)?;
assert_eq!(sum, 3.days().fieldwise());
Source§

impl<'a> SpanArithmetic<'a>

Source

fn relative<R: Into<SpanRelativeTo<'a>>>( self, relative: R, ) -> SpanArithmetic<'a>

Source

fn checked_add(self, span1: Span) -> Result<Span, Error>

Trait Implementations§

Source§

impl<'a> Clone for SpanArithmetic<'a>

Source§

fn clone(&self) -> SpanArithmetic<'a>

Returns a copy of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl<'a> Debug for SpanArithmetic<'a>

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<'a> From<&'a Span> for SpanArithmetic<'static>

Source§

fn from(span: &'a Span) -> SpanArithmetic<'static>

Converts to this type from the input type.
Source§

impl<'a, 'b> From<(&'a Span, &'b Zoned)> for SpanArithmetic<'b>

Source§

fn from((span, zoned): (&'a Span, &'b Zoned)) -> SpanArithmetic<'b>

Converts to this type from the input type.
Source§

impl<'a> From<(&'a Span, Date)> for SpanArithmetic<'static>

Source§

fn from((span, date): (&'a Span, Date)) -> SpanArithmetic<'static>

Converts to this type from the input type.
Source§

impl<'a> From<(&'a Span, DateTime)> for SpanArithmetic<'static>

Source§

fn from((span, datetime): (&'a Span, DateTime)) -> SpanArithmetic<'static>

Converts to this type from the input type.
Source§

impl<'a, 'b> From<(&'a Span, SpanRelativeTo<'b>)> for SpanArithmetic<'b>

Source§

fn from((span, relative): (&'a Span, SpanRelativeTo<'b>)) -> SpanArithmetic<'b>

Converts to this type from the input type.
Source§

impl<'a> From<(Duration, &'a Zoned)> for SpanArithmetic<'a>

Source§

fn from((duration, zoned): (UnsignedDuration, &'a Zoned)) -> SpanArithmetic<'a>

Converts to this type from the input type.
Source§

impl From<(Duration, Date)> for SpanArithmetic<'static>

Source§

fn from((duration, date): (UnsignedDuration, Date)) -> SpanArithmetic<'static>

Converts to this type from the input type.
Source§

impl From<(Duration, DateTime)> for SpanArithmetic<'static>

Source§

fn from( (duration, datetime): (UnsignedDuration, DateTime), ) -> SpanArithmetic<'static>

Converts to this type from the input type.
Source§

impl<'a> From<(SignedDuration, &'a Zoned)> for SpanArithmetic<'a>

Source§

fn from((duration, zoned): (SignedDuration, &'a Zoned)) -> SpanArithmetic<'a>

Converts to this type from the input type.
Source§

impl From<(SignedDuration, Date)> for SpanArithmetic<'static>

Source§

fn from((duration, date): (SignedDuration, Date)) -> SpanArithmetic<'static>

Converts to this type from the input type.
Source§

impl From<(SignedDuration, DateTime)> for SpanArithmetic<'static>

Source§

fn from( (duration, datetime): (SignedDuration, DateTime), ) -> SpanArithmetic<'static>

Converts to this type from the input type.
Source§

impl<'a> From<(Span, &'a Zoned)> for SpanArithmetic<'a>

Source§

fn from((span, zoned): (Span, &'a Zoned)) -> SpanArithmetic<'a>

Converts to this type from the input type.
Source§

impl From<(Span, Date)> for SpanArithmetic<'static>

Source§

fn from((span, date): (Span, Date)) -> SpanArithmetic<'static>

Converts to this type from the input type.
Source§

impl From<(Span, DateTime)> for SpanArithmetic<'static>

Source§

fn from((span, datetime): (Span, DateTime)) -> SpanArithmetic<'static>

Converts to this type from the input type.
Source§

impl<'a> From<(Span, SpanRelativeTo<'a>)> for SpanArithmetic<'a>

Source§

fn from((span, relative): (Span, SpanRelativeTo<'a>)) -> SpanArithmetic<'a>

Converts to this type from the input type.
Source§

impl From<Duration> for SpanArithmetic<'static>

Source§

fn from(duration: UnsignedDuration) -> SpanArithmetic<'static>

Converts to this type from the input type.
Source§

impl From<SignedDuration> for SpanArithmetic<'static>

Source§

fn from(duration: SignedDuration) -> SpanArithmetic<'static>

Converts to this type from the input type.
Source§

impl From<Span> for SpanArithmetic<'static>

Source§

fn from(span: Span) -> SpanArithmetic<'static>

Converts to this type from the input type.
Source§

impl<'a> Copy for SpanArithmetic<'a>

Auto Trait Implementations§

§

impl<'a> Freeze for SpanArithmetic<'a>

§

impl<'a> RefUnwindSafe for SpanArithmetic<'a>

§

impl<'a> Send for SpanArithmetic<'a>

§

impl<'a> Sync for SpanArithmetic<'a>

§

impl<'a> Unpin for SpanArithmetic<'a>

§

impl<'a> UnwindSafe for SpanArithmetic<'a>

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dst: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.