sim-lib-function 0.1.0

Language-neutral function plans and managed function instances for SIM.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

#![forbid(unsafe_code)]
#![deny(missing_docs)]
//! 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:
//!
//! ```compile_fail
//! use std::any::Any;
//!
//! trait GuestBodyPolicy {}
//! struct FunctionInstance<B: GuestBodyPolicy>(B);
//!
//! fn erase(body: Box<dyn Any>) -> FunctionInstance<Box<dyn Any>> {
//!     FunctionInstance(body)
//! }
//! ```

mod bind;
mod callable;
mod instance;
mod plan;

pub use bind::{ArgumentInput, ArgumentOrigin, BoundArgument, BoundCall, CallInput, bind};
pub use callable::dispatch_method_body;
pub use instance::{
    CapturedBinding, FunctionBodyPolicy, FunctionInstance, InstanceError, validate_capture_bindings,
};
pub use plan::{
    BrowseProjection, CallMode, CaptureDescriptor, FunctionPlan, ParameterDescriptor,
    ParameterKind, PlanError,
};