Struct Resolved 

pub struct Resolved<R: ResolverKind, T: 'static + Send + Sync> { /* private fields */ }

SRD-80b in-spirit replacement for the default_resolver attribute. The R parameter (a ResolverKind impl) carries the auto-resolver kind; the T parameter is the concrete Handle-inner type the body sees.

Operators write:

fn matching_profiles(
    group: Resolved<GroupResolver, DatasetHandle>,
    prefix: &str,
) -> Vec<String> {
    let group: &TestDataGroup = group_of(&group);
    // ... use group methods directly
}

The macro reads <Resolved<GroupResolver, T> as Wire>::RESOLVER at codegen time and emits the matching FuncSig.default_resolver. No #[polydat_node(default_resolver = ...)] attribute is involved — the resolver information lives in the function signature where it belongs.

Implementations

impl<R: ResolverKind, T: 'static + Send + Sync> Resolved<R, T>

pub fn from_arc(inner: Arc<T>) -> Self

Construct from a pre-resolved Arc — useful for tests and programmatic graph assembly that bypasses the DSL auto-resolver.

pub fn as_arc(&self) -> &Arc<T>

Borrow the inner Arc.

Trait Implementations

impl<R: ResolverKind, T: 'static + Send + Sync> Deref for Resolved<R, T>

type Target = T

The resulting type after dereferencing.

fn deref(&self) -> &T

Dereferences the value.

impl<R: ResolverKind, T: 'static + Send + Sync> Wire for Resolved<R, T>

const PORT: PortType = PortType::Handle

Static port type for the DSL type-checker.

const JIT: Option<JitType> = None

JIT carrier classification. Some(_) means the type rides the Phase-2 u64 buffer; None means typed-eval only.

const RESOLVER: Option<DefaultResolver>

SRD-53 §“Source-string call-site sugar” — auto-resolver for Str-typed upstream wires feeding this slot. None (the default) disables auto-promotion; the workload must supply the wire’s actual port type directly. Set via the Resolved<R, T> marker wrapper.

fn extract(v: &Value) -> Self

Pull a typed value out of a Value wire.

fn inject(self) -> Value

Push a typed value back into the Value outputs stream.

const WIRE_COST: WireCost = crate::ast::WireCost::Data

SRD-15 §“WireCost::Config” — cost class for this wire. Defaults to WireCost::Data (cheap per-cycle input). Set to WireCost::Config via the Config<T> marker wrapper to signal that the wire is rarely-changing and the compiler should warn on cycle-time binding.