package wasm

You can search for identifiers within the package.

in-package search v0.2.0

Library to read and write WebAssembly (Wasm) files and manipulate their AST

Install

Dune Dependency

github.com Readme Edit opam file Versions (6)

Authors

A

Andreas Rossberg <rossberg@mpi-sws.org

Maintainers

A

Andreas Rossberg <rossberg@mpi-sws.org

Sources

opam-2.0.2.zip

md5=5129a11a3426689d0e9e027b2d9b8d5e

sha256=6dae267d47b92ac1d6cb47b34ab4108c4cf7471f35969bf75676a1620a9284cb

doc/wasm/Wasm/Script/index.html

Module `Wasm.Script`

type var = string Source.phrase

type Values.ref_ +=

| ExternRef of int32

type num = Values.num Source.phrase

type ref_ = Values.ref_ Source.phrase

type literal = Values.value Source.phrase

type definition = definition' Source.phrase

and definition' =

| Textual of Ast.module_
| Encoded of string * string
| Quoted of string * string

type action = action' Source.phrase

and action' =

| Invoke of var option * Ast.name * literal list
| Get of var option * Ast.name

type nanop = nanop' Source.phrase

and nanop' = (Lib.void, Lib.void, nan, nan) Values.op

and nan =

| CanonicalNan
| ArithmeticNan

type num_pat =

| NumPat of num
| NanPat of nanop

type vec_pat =

| VecPat of (V128.shape * num_pat list) Values.vecop

type ref_pat =

| RefPat of ref_
| RefTypePat of Types.ref_type

type result = result' Source.phrase

and result' =

| NumResult of num_pat
| VecResult of vec_pat
| RefResult of ref_pat

type assertion = assertion' Source.phrase

and assertion' =

| AssertMalformed of definition * string
| AssertInvalid of definition * string
| AssertUnlinkable of definition * string
| AssertUninstantiable of definition * string
| AssertReturn of action * result list
| AssertTrap of action * string
| AssertExhaustion of action * string

type command = command' Source.phrase

and command' =

| Module of var option * definition
| Register of Ast.name * var option
| Action of action
| Assertion of assertion
| Meta of meta

and meta = meta' Source.phrase

and meta' =

| Input of var option * string
| Output of var option * string option
| Script of var option * script

and script = command list