Struct OrdinalBatchLease 

pub struct OrdinalBatchLease { /* private fields */ }

Ownership token for one range reserved from a perfect ordinal source.

The token contains no reader borrow or rendered payload because the source contract proves that the scalar value is the ordinal itself. Moving this value transfers responsibility for every ordinal in range; the batch executor must drain all of them or process the remainder through its scalar recovery path. The shared source cursor is never rewound.

Implementations

impl OrdinalBatchLease

pub fn source_name(&self) -> &str

The cursor the lease reserves from.

pub const fn stream_id(&self) -> u64

The stream the ordinals belong to.

pub const fn source_generation(&self) -> u64

The generation of the source’s values.

pub const fn input_index(&self) -> usize

The kernel input the cursor’s ordinal is written to.

pub const fn sequence(&self) -> u64

The lease’s position in reservation order.

pub fn range(&self) -> Range<u64>

The ordinals reserved.

pub const fn len_u64(&self) -> u64

How many ordinals the lease holds.

pub const fn is_empty(&self) -> bool

Whether the lease holds no ordinal.

Trait Implementations

impl Debug for OrdinalBatchLease

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

Formats the value using the given formatter.