[][src]Crate wasmer_interface_types

This crate contains an implementation of WebAssembly Interface Types (abbreviated WIT). It is composed of 5 parts:

  1. Types and Values: To represent the WIT types and values representations,
  2. AST: To represent the WIT language as a tree (which is not really abstract). This is the central representation of the language.
  3. Decoders: To read the AST from a particular data representation; for instance, decoders::binary::parse reads the AST from a binary.
  4. Encoders: To write the AST into a particular format; for instance, encoders::wat writes the AST into a string representing WIT with its textual format.
  5. 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, defined by:
      • 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 wasmer-interface-types crate—.

Modules

ast

Represents the WIT language as a tree. This is the central representation of the language.

decoders

Reads the AST from a particular data representation; for instance, decoders::binary reads the AST from a binary.

encoders

Writes the AST into a particular format; for instance, encoders::wat writes the AST into a string representing WIT with its textual format.

errors

The error module contains all the data structures that represent an error.

interpreter

A stack-based interpreter to execute instructions of WIT adapters.

types

This module defines the WIT types.

values

Defines WIT values and associated operations.

vec1

Vec1<T> represents a non-empty Vec<T>.

Macros

vec1

This macro creates a Vec1 by checking at compile-time that its invariant holds.