[][src]Crate witx

Structs

AliasDatatype
Datatype
Document
EnumDatatype
FlagsDatatype
Id
InterfaceFunc
InterfaceFuncParam
Location

Location in the source text

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

BuiltinType
DatatypeIdent
DatatypeVariant
DeclSyntax
Definition
Entry
IntRepr
LexError
ModuleDefinition
ModuleEntry
ModuleImportVariant
SExprParseError
ValidationError
WitxError

Functions

load