Struct FunctionInstance 

pub struct FunctionInstance<B: FunctionBodyPolicy> { /* private fields */ }

A language-neutral, managed function object with a concrete guest body.

Each capture is represented twice for distinct purposes: its existing BindingCell supplies shared lexical mutation, while its ManagedHandle becomes a strong edge in the common managed graph. No private environment graph or body registry is involved.

Implementations

impl<B: FunctionBodyPolicy> FunctionInstance<B>

pub fn new( plan: FunctionPlan, body: B, captures: Vec<CapturedBinding>, class: ClassRef, args_shape: Option<ShapeRef>, result_shape: Option<ShapeRef>, ) -> Result<Self, InstanceError>

Builds an instance from a plan, typed body, managed captures, and runtime metadata.

pub const fn plan(&self) -> &FunctionPlan

Borrows the immutable declaration plan.

pub const fn body(&self) -> &B

Borrows the concrete guest body policy without erasure or downcasting.

pub fn captures(&self) -> &[CapturedBinding]

Borrows the capture cells in plan declaration order.

pub const fn supplied_class(&self) -> &ClassRef

Borrows the caller-supplied runtime class.

pub const fn args_shape(&self) -> Option<&ShapeRef>

Borrows the caller-supplied argument Shape, when present.

pub const fn result_shape(&self) -> Option<&ShapeRef>

Borrows the caller-supplied result Shape, when present.

pub fn invoke_bound(&self, cx: &mut Cx, call: BoundCall) -> KernelResult<Value>

Invokes the guest policy through the neutral evaluated-value boundary.

Kernel calls and optional dispatch-method adaptation both use this path, so neither surface can change the policy-visible BoundCall.

Trait Implementations

impl<B: FunctionBodyPolicy> Callable for FunctionInstance<B>

fn call(&self, cx: &mut Cx, args: Args) -> KernelResult<Value>

Invoke the callable with already-evaluated, checked Args.

fn browse_args_shape(&self, _cx: &mut Cx) -> KernelResult<Option<ShapeRef>>

Optional shape describing the accepted argument list, for browsing.

fn browse_result_shape(&self, _cx: &mut Cx) -> KernelResult<Option<ShapeRef>>

Optional shape describing the call result, for browsing.

fn call_exprs(&self, cx: &mut Cx, args: RawArgs) -> Result<Value, Error>

Invoke the callable on raw, unevaluated argument expressions.

impl<B: Clone + FunctionBodyPolicy> Clone for FunctionInstance<B>

fn clone(&self) -> FunctionInstance<B>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<B: FunctionBodyPolicy> ManagedObject for FunctionInstance<B>

fn trace_edges(&self, visitor: &mut dyn EdgeVisitor)

Enumerates all strong, weak, and ephemeron edges exactly once.

fn clear_weak_edge(&mut self, edge: EdgeId, expected: ManagedId) -> bool

Clears one weak edge if it still points at expected.

fn clear_ephemeron_edge( &mut self, edge: EdgeId, expected_key: ManagedId, expected_value: ManagedId, ) -> bool

Clears one ephemeron entry if it still has the expected key and value. Repeating a successful request must return false.

impl<B: FunctionBodyPolicy> Object for FunctionInstance<B>

fn display(&self, _cx: &mut Cx) -> KernelResult<String>

Render the object as a human-readable display string.

fn as_any(&self) -> &dyn Any

Expose the object for Rust downcasting.

fn header(&self) -> &ObjectHeader

Identity and trust header for the object; defaults to the shared anonymous header.

fn op(&self, _key: &OpKey) -> Option<&dyn Op>

Resolve the operation registered under key, if any.

fn claims( &self, _cx: &mut Cx, _pattern: &ClaimPattern, _sink: &mut dyn ClaimSink, ) -> Result<(), Error>

Emit the object’s claims matching pattern into sink.

fn snapshot(&self, _cx: &mut Cx) -> Result<Option<Datum>, Error>

Optional content-addressable snapshot of the object’s state.

impl<B: FunctionBodyPolicy> ObjectCompat for FunctionInstance<B>

fn class(&self, _cx: &mut Cx) -> KernelResult<ClassRef>

Class object this value belongs to; defaults to nil.

fn as_callable(&self) -> Option<&dyn Callable>

Callable view, if the object can be invoked.

fn as_class(&self) -> Option<&dyn Class>

Class view, if the object is a class.

fn as_shape(&self) -> Option<&dyn Shape>

Shape view, if the object is a shape.

fn as_object_encoder(&self) -> Option<&dyn ObjectEncode>

Object-encoder view, if the object encodes other objects.

fn as_read_constructor(&self) -> Option<&dyn ReadConstructor>

Read-constructor view, if the object decodes data forms.

fn as_number_domain(&self) -> Option<&(dyn NumberDomain + 'static)>

Number-domain view, if the object is a number domain.

fn as_number_value(&self) -> Option<&dyn NumberValue>

Number-value view, if the object is a domain number.

fn as_eval_fabric(&self) -> Option<&dyn EvalFabric>

Eval-fabric view, if the object is a distributed eval surface.

fn as_stream(&self) -> Option<&dyn Stream>

Stream view, if the object is a stream.

fn as_sequence(&self) -> Option<&dyn Sequence>

Sequence view, if the object is a sequence.

fn as_thunk(&self) -> Option<&dyn Thunk>

Thunk view, if the object is a deferred computation.

fn as_list(&self) -> Option<&(dyn ListValue + 'static)>

List view, if the object is a list value.

fn as_table_impl(&self) -> Option<&(dyn Table + 'static)>

Table-implementation view, if the object is a table.

fn as_dir(&self) -> Option<&(dyn Dir + 'static)>

Directory view, if the object is a directory.

fn as_expr(&self, cx: &mut Cx) -> Result<Expr, Error>

Expression form of the object; defaults to an opaque extension node.

fn truth(&self, _cx: &mut Cx) -> Result<bool, Error>

Truthiness of the object; defaults to true.

fn publish_shape_satisfaction_claims( &self, _cx: &mut Cx, _shape: &Ref, ) -> Result<bool, Error>

Publish claims asserting that the object satisfies shape; returns whether any were published.

fn as_table(&self, cx: &mut Cx) -> Result<Value, Error>

Project the object into a table value; the default exposes its display.