[][src]Crate witx

Structs

AliasDatatype
CoreFuncType

Describes the WebAssembly signature of a function

CoreParamType

A parameter in the WebAssembly type of a function.

Datatype
Document
EnumDatatype
Filesystem
FlagsDatatype
Id
InterfaceFunc
InterfaceFuncParam
Location

Location in the source text

MockFs
Module
ModuleImport
ParseError

Parser turns s-expressions into unvalidated syntax constructs. conventions: Type::starts_parsing(s-expr) -> bool is for look-ahead: we use this predicate to combine parsers for different Types where both alternatives are accepted. Type::parse(sexpr: &SExpr) -> Result<Self, ParseError> takes a single s-expression and parses it into a Self. for parsers that take a subset of a vector s-expression, the signature Type::parse(sexprs: &[SExpr], location: Location) -> Result<Self, ParseError> has an additional Location argument, which should point to the parent SExpr::Vec. This is used for error reporting in case the slice doesn't have the number of elements expected.

StructDatatype
StructMember
UnionDatatype
UnionVariant

Enums

AtomType

Enumerates the types permitted for function arguments in the WebAssembly spec

BuiltinType
CoreParamSignifies

Enumerates the sort of relationship an WebAssembly parameter to an interface function parameter.

DatatypeIdent
DatatypePassedBy

Enumerates the strategies which may be used to pass a datatype as an argument

DatatypeVariant
DeclSyntax
Definition
Entry
IntRepr
InterfaceFuncParamPosition
LexError
ModuleDefinition
ModuleEntry
ModuleImportVariant
RenderSExpr
SExprParseError
ValidationError
WitxError

Traits

Render
WitxIo

Functions

load

Load a witx document from the filesystem

parse

Parse a witx document from a str. (use ...) directives are not permitted.