Expand description
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§
- Guest
Pointer - 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§
- Runtime
Error - Errors that can occur when using a Wasm runtime.
Traits§
- Export
Function - A type that accepts registering a host function as an export for a guest Wasm instance.
- Export
To - A type that can register some functions as exports for the target
Instance
. - Exported
Function Interface - Representation of an exported host function’s interface.
- HList
- Typeclass for HList-y behaviour
- Imported
Function Interface - Representation of an imported function’s interface.
- Instance
- An active guest Wasm module.
- Instance
With Function - How a runtime supports a function signature.
- Instance
With Memory - Trait alias for a Wasm module instance with the WIT Canonical ABI functions.
- Join
Flat Layouts - 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>
, whereLeft
is an element from the current list andRight
is an element from theOther
list. - Register
WitTypes - Trait to register a compile-time list of
WitType
s into aBTreeMap
. - Runtime
- A Wasm runtime.
- Runtime
Memory - 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.