Struct DepBatch 

pub struct DepBatch {
    pub data: SmallVec<[HandleId; 1]>,
    pub prev_data: HandleId,
    pub involved: bool,
}

Per-dep batch data passed to BindingBoundary::invoke_fn.

Mirrors the canonical spec R2.9.b DepRecord shape at the FFI boundary. Each entry represents one dep’s state for the current wave:

• data — DATA handles accumulated this wave (R1.3.6.b coalescing). Empty means the dep settled RESOLVED or was not involved.
• prev_data — last DATA handle from the end of the previous wave. NO_HANDLE if the dep has never emitted DATA.
• involved — true iff the dep was dirtied-then-settled this wave. Distinguishes “RESOLVED in wave” (involved && data.is_empty()) from “not involved” (!involved && data.is_empty()).

Fields

data: SmallVec<[HandleId; 1]>

DATA handles accumulated this wave. Outside batch() scope, at most 1 element. Inside batch(), K consecutive emits on the same source produce K entries per R1.3.6.b coalescing.

prev_data: HandleId

Last DATA handle from the end of the previous wave. NO_HANDLE means the dep has never emitted DATA.

involved: bool

Whether this dep was involved (dirtied → settled) in the current wave.

Implementations

impl DepBatch

pub fn latest(&self) -> HandleId

The “latest” handle for this dep — the last DATA in the current wave’s batch, falling back to prev_data if no DATA arrived this wave. Returns NO_HANDLE only when the dep has never emitted.

pub fn is_sentinel(&self) -> bool

Convenience: is this dep in sentinel state (never emitted DATA)?

Trait Implementations

impl Clone for DepBatch

fn clone(&self) -> DepBatch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DepBatch

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

Formats the value using the given formatter.