Struct ScopedExpr 

pub struct ScopedExpr { /* private fields */ }

SRD-84 shape 2 — a polydat expression bound to a parent kernel’s lexical scope. Compiled into a sub-context whose named output is the expression, evaluable many times against injected inputs. The return is whatever Wire type the bound stub was qualified with (ExprStub::returning::<T>), or its natural truthiness (is_true). A general-purpose, scope-bound, callable expression holder.

Implementations

impl ScopedExpr

pub fn bind( parent: &PolydatKernel, output: impl Into<String>, matter: GraphMatter, ) -> Result<Self, String>

Bind matter — which must define the named output (plus any extern wires it reads) — into a sub-context of parent. The expression is compiled once; call it repeatedly via eval / is_true after set-ing its inputs.

pub fn set(&mut self, name: &str, value: Value) -> &mut Self

Set a runtime input wire by name before evaluating. No-op for a name the expression doesn’t read.

pub fn dataflow(&mut self) -> &mut PolydatKernel

The bound sub-context as a Dataflow, for callers that inject a batch of inputs through a Dataflow-based injector (e.g. a runtime-state snapshot) before evaluating.

pub fn eval(&mut self) -> Value

Evaluate (pull) the bound expression’s output.

pub fn is_true(&mut self) -> bool

Evaluate as a boolean — the default truthiness sense. Polydat comparisons / && / || yield U64 0/1 (not Bool), so truthiness is “non-zero”.