Struct LeaseWindow 

pub struct LeaseWindow { /* private fields */ }

Explicit holder and monotonic bounds for one operation lease acquisition.

Implementations

impl LeaseWindow

pub fn new( holder: Datum, acquired_at: u64, expires_at: u64, ) -> Result<Self, OperationError>

Validates a non-empty half-open monotonic lease interval.

pub const fn holder(&self) -> &Datum

Returns the explicit holder identity.

pub const fn acquired_at(&self) -> u64

Returns the inclusive monotonic acquisition tick.

pub const fn expires_at(&self) -> u64

Returns the exclusive monotonic expiry tick.

Trait Implementations

impl Clone for LeaseWindow

fn clone(&self) -> LeaseWindow

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LeaseWindow

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

Formats the value using the given formatter.

impl Eq for LeaseWindow

impl PartialEq for LeaseWindow

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for LeaseWindow