Struct UtcSpan 

pub struct UtcSpan { /* private fields */ }

The moments a selection by time keeps: [since, until) in UTC, an absent end left open (crates/runtime/spec/Clock.lean §8-57).

It judges one moment at a time and assumes no order: a ledger’s t does not rise with seq, so a reader asks about every line and never stops at the first one past until.

Implementations

impl UtcSpan

pub fn new( since: Option<TimeMs>, until: Option<TimeMs>, ) -> Result<UtcSpan, AxError>

Errors

E_INVALID_ARGS when until is not after since: such a span holds no moment, and selecting by it would read as a stretch of history in which nothing happened.

pub fn since(&self) -> Option<TimeMs>

pub fn until(&self) -> Option<TimeMs>

pub fn contains(&self, at: TimeMs) -> bool

Whether at is at or after since and before until.

Trait Implementations

impl Clone for UtcSpan

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for UtcSpan

impl Debug for UtcSpan

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

Formats the value using the given formatter.

impl Default for UtcSpan

fn default() -> Self

Returns the “default value” for a type.

impl Eq for UtcSpan

impl PartialEq for UtcSpan

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for UtcSpan