Crate linera_witty

Linera Witty

This crate allows generating WIT files and host side code to interface with WebAssembly guests that adhere to the WIT interface format. The source of truth for the generated code and WIT files is the Rust source code.

Modules

hlist

Module that holds HList data structures, implementations, and typeclasses.

wit_generation

Generation of WIT files.

Macros

HList

Returns a type signature for an HList of the provided types

hlist

Returns an HList based on the values passed in.

hlist_pat

Macro for pattern-matching on HLists.

Structs

GuestPointer

An address for a location in a guest WebAssembly module’s memory.

HCons

Represents the most basic non-empty HList. Its value is held in head while its tail is another HList.

HNil

Represents the right-most end of a heterogeneous list

Memory

A handle to interface with a guest Wasm module instance’s memory.

Enums

RuntimeError

Errors that can occur when using a Wasm runtime.

Traits

ExportFunction

A type that accepts registering a host function as an export for a guest Wasm instance.

ExportTo

A type that can register some functions as exports for the target Instance.

ExportedFunctionInterface

Representation of an exported host function’s interface.

HList

Typeclass for HList-y behaviour

ImportedFunctionInterface

Representation of an imported function’s interface.

Instance

An active guest Wasm module.

InstanceWithFunction

How a runtime supports a function signature.

InstanceWithMemory

Trait alias for a Wasm module instance with the WIT Canonical ABI functions.

JoinFlatLayouts

Allows converting between the current flat layout and the joined Target flat layout, which may be longer or have some elements wider than the current elements.

Layout

Representation of the memory layout of complex types as a sequence of fundamental WIT types.

Merge

Merging of two heterogeneous lists, resulting in a new heterogenous list where every element is of type Either<Left, Right>, where Left is an element from the current list and Right is an element from the Other list.

RegisterWitTypes

Trait to register a compile-time list of WitTypes into a BTreeMap.

Runtime

A Wasm runtime.

RuntimeMemory

Interface for accessing a runtime specific memory.

Split

Compile time splitting of heterogeneous lists.

WitLoad

A type that can be loaded from a guest Wasm module.

WitStore

A type that can be stored in a guest Wasm module.

WitType

A type that is representable by fundamental WIT types.

Attribute Macros

wit_import

Generates a generic type from a trait.

Derive Macros

WitLoad

Derives WitLoad for the Rust type.

WitStore

Derives WitStore for the Rust type.

WitType

Derives WitType for a Rust type.