Skip to main content

Crate weavy

Crate weavy 

Source
Expand description

Shared lowered-program substrate for interpreters and copy-and-patch backends.

weavy stays format-agnostic: callers bring schema identities, parsers, and value models. The crate provides the shared carrier for lowered programs (flat programs, named blocks, and a small call-stack runner), plus the generic typed-memory descriptor/op vocabulary in mem. Native copy-and-patch backends can use the same program/block shape.

Modules§

ir
Canonical typed execution IR shared by Weavy frontends.
mem
Shared typed-memory thunk vocabulary for lowered programs.

Structs§

BlockRef
Dense index for a callable lowered block.
DenseLowered
A root program plus dense block programs.
Lowered
A root program plus named block programs.
RunStats
Opt-in execution counters for the generic lowered-program runner.

Enums§

Control
Interpreter control returned by a caller’s op semantics.
RunError
Errors produced by run.

Traits§

Step
Caller-provided op semantics for run.

Functions§

run
Run a lowered program through caller-supplied op semantics.
run_dense
Run a dense lowered program through caller-supplied op semantics.
run_dense_program
Run a dense program with an explicit dense block table.
run_dense_program_with_stats
Run a dense program with an explicit dense block table and return counters.
run_dense_with_stats
Run a dense lowered program and return opt-in execution counters.
run_program
Run a program with an explicit block table.
run_program_with_stats
Run a program with an explicit block table and return execution counters.
run_with_stats
Run a lowered program and return opt-in execution counters.

Type Aliases§

Program
A flat lowered program for an op vocabulary supplied by the caller.