This crate contains an implementation of WebAssembly Interface Types (abbreviated WIT). It is composed of 5 parts:
- Types and Values: To represent the WIT types and values representations,
- AST: To represent the WIT language as a tree (which is not really abstract). This is the central representation of the language.
- Decoders: To read the AST from a particular data
representation; for instance,
decoders::binary::parsereads the AST from a binary.
- Encoders: To write the AST into a particular
format; for instance,
encoders::watwrites the AST into a string representing WIT with its textual format.
- Interpreter: WIT defines a concept called
Adapters. An adapter contains a set of instructions. So, in
more details, this module contains:
- A very light and generic stack implementation, exposing only the operations required by the interpreter,
- A stack-based interpreter,
- A compiler that transforms a set of instructions into a set of executable instructions,
- A stack,
- A runtime that holds the “invocation inputs” (arguments of the interpreter), the stack, and the WebAssembly instance (which holds the exports, the imports, the memories, the tables etc.),
- An hypothetic WebAssembly runtime,
represented as a set of enums, types, and traits —basically
this is the part a runtime should take a look to use the
Represents the WIT language as a tree. This is the central representation of the language.
Writes the AST into a particular format; for instance,
The error module contains all the data structures that represent an error.
A stack-based interpreter to execute instructions of WIT adapters.
Collection of helpful macros.
This macro creates a
Represents a record field type.
Represents a record type.
Represents the types supported by WIT.
A WIT value.
A trait for converting a value to bytes.
Deserialize a set of
Serialize a type