Struct ExpiredLeasesCursor 

#[non_exhaustive]
pub struct ExpiredLeasesCursor {
    pub expires_at_ms: TimestampMs,
    pub execution_id: ExecutionId,
}

Cursor for crate::engine_backend::EngineBackend::list_expired_leases (RFC-025 §9-locked). Tuple (not bare ExecutionId) so pagination is stable under equal-expiry: ZRANGEBYSCORE with LIMIT keyed on score alone duplicates or skips when two leases share a millisecond.

Backends order strictly by (expires_at_ms ASC, execution_id ASC).

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

expires_at_ms: TimestampMs

execution_id: ExecutionId

Implementations

impl ExpiredLeasesCursor

pub fn new(expires_at_ms: TimestampMs, execution_id: ExecutionId) -> Self

Trait Implementations

impl Clone for ExpiredLeasesCursor

fn clone(&self) -> ExpiredLeasesCursor

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExpiredLeasesCursor

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

Formats the value using the given formatter.

impl PartialEq for ExpiredLeasesCursor

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

impl StructuralPartialEq for ExpiredLeasesCursor