package wax-lib

  1. Overview
  2. Docs
Libraries for Wax, a Rust-like syntax for WebAssembly

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (1)

Authors

  1. J
    Jérôme Vouillon

Maintainers

  1. J
    Jérôme Vouillon

Sources

wax-0.1.0.tbz
sha256=41b580846af8d41bdf6c3f005f62e38feda3e60fe2e9e4aa440db34ce515a153
sha512=4b3a181fcc7d743194a8647260870fb5190770066a197bcc48104c2b77fd40c643228b795c2bcd6b29a120820e969eb42a37a9bcec98b3f608d13f152d9f6579

doc/wax-lib.wasm/Wax_wasm/index.html

Module Wax_wasmSource

Sourcemodule Ast : sig ... end

WebAssembly Abstract Syntax Tree.

Sourcemodule Ast_utils : sig ... end
Sourcemodule Atomics : sig ... end
Sourcemodule Binary_to_text : sig ... end
Sourcemodule Cond_explore : sig ... end

Path-sensitive exploration of conditional-annotation configurations.

Sourcemodule Cond_solver : sig ... end

BDD-based reasoning over conditional-annotation conditions, used for path-sensitive validation.

Sourcemodule Cond_specialize : sig ... end

Specialization of conditional annotations against user-supplied variable bindings (the -D/--define CLI option).

Sourcemodule Declare_refs : sig ... end
Sourcemodule Desugar : sig ... end
Sourcemodule Fast_parser : sig ... end
Sourcemodule Folding : sig ... end

Folded/Unfolded instruction conversion.

Sourcemodule Lexer : sig ... end

Lexer for Wasm Text Format (WAT).

Sourcemodule Misc : sig ... end

Miscellaneous utilities for validating Wasm values.

Sourcemodule Naming : sig ... end

Give exported functions a name derived from their export.

Sourcemodule Output : sig ... end

Pretty-printing for Wasm Text Format.

Sourcemodule Parser : sig ... end
Sourcemodule Parser_messages : sig ... end
Sourcemodule Parsing : sig ... end

Generic parsing utilities.

Sourcemodule Recover : sig ... end

Sync-token classification for the WAT parser's panic-mode error recovery.

Sourcemodule Resolve : sig ... end

Name resolution for Wasm-text modules: maps each use of an index (a symbolic $id or a numeric index) to the definition it refers to, with source spans on both ends. This is the WAT counterpart of the use -> definition table the Wax type checker builds (Wax_lang.Typing.reference), and it powers the editor's go-to-definition, find-references, document-highlight and rename for Wasm text.

Sourcemodule Simd : sig ... end

Shared registry mapping wax SIMD intrinsic names to WebAssembly Vec* instructions and back. Single source of truth for to_wasm (forward), from_wasm (reverse) and Wax_lang.Typing (signatures).

Sourcemodule Text_to_binary : sig ... end
Sourcemodule Tokens : sig ... end
Sourcemodule Types : sig ... end

Type handling for Wasm.

Sourcemodule Validation : sig ... end

Validation of Wasm Text modules.

Sourcemodule Wasm_output : sig ... end
Sourcemodule Wasm_parser : sig ... end