Expand description
Language-neutral immutable function plans.
A FunctionPlan records declaration metadata only. It deliberately has
no evaluation or invocation surface; later instance machinery composes a
plan with a concrete guest policy.
A body remains a statically selected guest policy. Type erasure cannot meet the bound of the future instance type:
ⓘ
use std::any::Any;
trait GuestBodyPolicy {}
struct FunctionInstance<B: GuestBodyPolicy>(B);
fn erase(body: Box<dyn Any>) -> FunctionInstance<Box<dyn Any>> {
FunctionInstance(body)
}Structs§
- Bound
Argument - An input paired with its exact origin.
- Bound
Call - A stable, lossless call record awaiting guest-policy decisions.
- Browse
Projection - Canonical, inert projection of a function’s browsable Shape metadata.
- Call
Input - Mutable call input assembled by kernel and guest adapters.
- Call
Mode - The ways in which a caller may address a parameter.
- Capture
Descriptor - Stable metadata for one lexical capture slot.
- Captured
Binding - One shared binding cell paired with its identity in the managed graph.
- Function
Instance - A language-neutral, managed function object with a concrete guest body.
- Function
Plan - Immutable declaration metadata shared by guest function implementations.
- Parameter
Descriptor - Stable declaration metadata for one parameter.
- Plan
Error - A construction failure for an immutable function plan.
Enums§
- Argument
Input - One undecided input supplied to the neutral adaptation boundary.
- Argument
Origin - The exact place at which an argument entered the call boundary.
- Instance
Error - Failure to construct a managed function instance.
- Parameter
Kind - The declaration role of a parameter.
Traits§
- Function
Body Policy - Guest-owned execution policy for one concrete function body type.
Functions§
- bind
- Freezes an assembled input stream without applying a language rule.
- dispatch_
method_ body - Projects a function instance into a dispatch method body.
- validate_
capture_ bindings - Validates that concrete capture cells exactly match every frozen plan slot.