Module wasm_binding 

Restricted .hal interface contracts for portable Wasm extension bindings.

Sources are parsed as data with the Hara reader. This module never evaluates an interface, instantiates a module, or acquires host authority.

Re-exports

pub use wit::import_wit;

pub use wit::project_wit;

pub use wit::WitDiagnostic;

pub use wit::WitDiagnosticSeverity;

pub use wit::WitImportArtifact;

pub use wit::WitImportOptions;

pub use wit::WitProjectionArtifact;

pub use wit::WitProjectionOptions;

pub use wit::WitRoute;

pub use wit::WIT_IR_SCHEMA;

pub use wit::WIT_MANIFEST_SCHEMA;

Modules

wit

A bounded, data-only bridge for the WebAssembly Interface Types format.

Structs

AdapterArtifact

A deterministic adapter module and the manifest describing its composition.

AsyncPolicy

BindingFunction

BindingParameter

BindingResult

BoundPackage

CallbackContract

CallbackParameter

DirectWasmFunctionExport

DirectWasmImport

DirectWasmInspection

DirectWasmMemory

ErrorContract

HandleContract

HostCallContract

InspectionArtifact

MemoryArgumentPlan

MemoryBindingPlan

MemoryContract

MemoryFunctionPlan

MemoryResultPlan

RequestPolicy

WasmInterface

WasmtimeMemoryExecutor

Generic native executor for the closed memory.v1 binding plan.

Enums

BindingTarget

CancellationPolicy

DirectWasmImportKind

HaraValueType

Lifting

Lowering

Ownership

WasmValueType

Constants

ADAPTER_MANIFEST_SCHEMA

DIRECT_WASM_BINDING_SCHEMA

DIRECT_WASM_BUILD_PRODUCT_SCHEMA

DIRECT_WASM_CONFORMANCE_SCHEMA

DIRECT_WASM_INSPECTION_SCHEMA

MEMORY_BINDING_SCHEMA

WASM_INTERFACE_SCHEMA

Functions

bind_package

direct_inspection_source

direct_interface_skeleton

generate_adapter

Generate the portable scalar adapter for a verified library/interface pair.

generate_hta_adapter

Generate the HTA package adapter for scalar bindings.

inspect_direct

inspect_module

verify_hta_scalar

write_interface_skeleton