Struct ResolvedPulls 

pub struct ResolvedPulls { /* private fields */ }

Cycle-time materialization of a PullPlan.

Read-only, indexed by PullHandle. Created once per cycle during the resolve phase (SRD 31 §“Cycle-Time Pipeline”); the values inside reflect the PolydatState snapshot at the moment of resolution and are not invalidated by subsequent state changes.

Implementations

impl ResolvedPulls

pub fn empty() -> Self

Empty pulls — no consumer registered anything. Used as the default in the wrapper construction path before α.4 deletes the legacy extras flow.

pub fn get(&self, h: PullHandle) -> &Value

Resolve a handle to a borrowed value. Panics on a handle from a different plan (the index is out of range). This is a programming error — a handle’s plan provenance is statically associated with the wrapper that owns it, and ExecCtx carries the matching ResolvedPulls.

pub fn len(&self) -> usize

Number of resolved values.

pub fn is_empty(&self) -> bool

Whether this resolution is empty.