Struct DeadlineMicros 

pub struct DeadlineMicros(pub Option<u64>);

Bound on a deadline duration (microseconds for precision).

Uses microseconds internally to avoid floating point while supporting sub-millisecond precision. This is a min-plus semiring element where:

• None = +∞ (unbounded)
• Some(n) = finite bound of n microseconds

Tuple Fields

0: Option<u64>

Implementations

impl DeadlineMicros

pub const UNBOUNDED: Self

Unbounded deadline (no constraint).

pub const ZERO: Self

Zero deadline (instant).

pub const fn from_micros(micros: u64) -> Self

Creates a deadline from microseconds.

pub fn from_duration(d: Duration) -> Self

Creates a deadline from a Duration.

pub const fn as_micros(self) -> Option<u64>

Returns the inner value (None = unbounded).

pub const fn is_unbounded(self) -> bool

Returns true if this deadline is unbounded.

pub fn min(self, other: Self) -> Self

Min-plus addition: min(a, b) in the deadline semiring.

The tighter (smaller) deadline wins.

pub fn add(self, other: Self) -> Self

Min-plus “multiplication”: a + b (sequential composition).

Sequential work adds deadlines.

pub fn is_at_least_as_tight_as(self, other: Self) -> bool

Returns true if self is at least as tight as other.

Used for rewrite safety: a rewrite is safe if the new deadline is at least as tight as the original.

Trait Implementations

impl Clone for DeadlineMicros

fn clone(&self) -> DeadlineMicros

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DeadlineMicros

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

Formats the value using the given formatter.

impl Display for DeadlineMicros

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

Formats the value using the given formatter.

impl Ord for DeadlineMicros

fn cmp(&self, other: &DeadlineMicros) -> 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,

Restrict a value to a certain interval.

impl PartialEq for DeadlineMicros

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

fn partial_cmp(&self, other: &DeadlineMicros) -> 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 Copy for DeadlineMicros

impl Eq for DeadlineMicros

impl StructuralPartialEq for DeadlineMicros