Struct SpanArithmetic

pub struct SpanArithmetic<'a> { /* private fields */ }

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(),
);

# Ok::<(), Box<dyn std::error::Error>>(())

Implementations

impl<'a> SpanArithmetic<'a>

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 \
     `jiff::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());

# Ok::<(), Box<dyn std::error::Error>>(())

Trait Implementations

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

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

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

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

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

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

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

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

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

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

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

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

impl From<Duration> for SpanArithmetic<'static>

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

impl From<SignedDuration> for SpanArithmetic<'static>

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

impl From<Span> for SpanArithmetic<'static>

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

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

fn clone(&self) -> Self

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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> UnsafeUnpin for SpanArithmetic<'a>

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

Blanket Implementations

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

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for SpanArithmetic<'a> where T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for SpanArithmetic<'a> where T: ?Sized,

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

impl<T> CloneToUninit for SpanArithmetic<'a> where T: Clone,

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

impl<T> From<T> for SpanArithmetic<'a>

fn from(t: T) -> T

Returns the argument unchanged.

impl<T> ToOwned for SpanArithmetic<'a> where T: Clone,

type Owned = T;
fn to_owned(&self) -> T
fn clone_into(&self, target: &mut T)

impl<T, U> Into<U> for SpanArithmetic<'a> where U: From<T>,

fn into(self) -> U

Calls U::from(self).

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

impl<T, U> TryFrom<U> for SpanArithmetic<'a> where U: Into<T>,

type Error = never;
fn try_from(value: U) -> Result<T, never>

impl<T, U> TryInto<U> for SpanArithmetic<'a> where U: TryFrom<T>,

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