Struct Stated 

pub struct Stated<P: Profile> { /* private fields */ }

An instant together with the precision at which it was stated.

Rule T requires comparison across unequal precision to use interval semantics and to be able to return indeterminate. Carrying the precision alongside the value makes that the easy path: Stated::try_compare cannot be reached without confronting UCAL-E0023, whereas comparing two bare Instants that came from truncated text would quietly compare their floors.

This is what crate::codec::parse returns, as a pair; the type exists so the pair need not be carried by hand.

Implementations

impl<P: Profile> Stated<P>

pub fn new(value: Instant<P>, precision: Precision) -> Self

Pair a value with its stated precision.

pub fn exact(value: Instant<P>) -> Self

A value stated to the tick.

pub fn value(&self) -> &Instant<P>

The value as stated — its floor at the stated precision, not a tick unless the precision says so.

pub fn precision(&self) -> Precision

The precision it was stated at.

pub fn is_exact(&self) -> bool

Whether the statement pins a single tick.

pub fn window(&self) -> Result<Window<P>>

The interval the statement denotes (Rule T).

pub fn compare(&self, other: &Self) -> Result<IntervalOrdering>

Interval-aware comparison, which may be indeterminate.

pub fn try_compare(&self, other: &Self) -> Result<Ordering>

Interval-aware comparison as a total order, or UCAL-E0023 when the intervals overlap and the order is genuinely not determined.

pub fn coarsen(&self, to: Tier) -> Result<Stated<P>>

Re-state at a coarser precision. UCAL-E0023 if asked to refine, since no operation may invent precision the statement does not carry (F2).

Trait Implementations

impl<P: Profile> Clone for Stated<P>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<P: Profile> Copy for Stated<P>

Available on crate feature u512 only.

impl<P: Profile> Debug for Stated<P>

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

Formats the value using the given formatter.

impl<P: Profile> Eq for Stated<P>

impl<P: Profile> PartialEq for Stated<P>

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

Equality is on the statement, not the interval: two statements are equal when they say the same thing at the same precision. Use Stated::try_compare to ask about the underlying instants.

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

Inequality operator !=.