#wasm_core

Reusable WebAssembly specification model for MoonBit tools.

This module contains the shared data model used by parsers, validators, frontends, runtimes, and tests.

#Packages

Milky2018/wasm_core: small construction helpers and facade APIs.
Milky2018/wasm_core/encoder: standard WebAssembly binary encoding for the shared module model.
Milky2018/wasm_core/types: WebAssembly value types, instructions, modules, function types, subtyping helpers, and related spec data.
Milky2018/wasm_core/wat: deterministic WAT rendering for a complete module or one defined function.

#Example: build a small core module model

The root package is a small facade for constructing common WebAssembly module shapes. Use Milky2018/wasm_core/types when you need the full specification data model.

///|
test "build a module with one exported function" {
  let mod_ = simple_module([I32], [I64], [I64Const(7L)], "answer")
  inspect(mod_.funcs.length(), content="1")
  inspect(mod_.exports.length(), content="1")
  debug_inspect(mod_.func_type_at(0).unwrap().params, content="[I32]")
  debug_inspect(mod_.func_type_at(0).unwrap().results, content="[I64]")
}

#Example: render a module as WAT

The renderer depends only on wasm_core packages. A library consumer can use it without importing the Wasmoon runtime, validator, parser, or command-line packages.

///|
let mod_ = @types.Module::simple([], [I32], [I32Const(42)], "answer")

///|
let text = @wat.render(mod_)

render_function uses the module function index space and rejects imported functions because they do not have a code body. Both public entry points return WatPrintError for malformed in-memory module shapes that cannot be expressed faithfully as WAT.

#Example: model GC proposal types

The types package contains the richer specification model. Root-level helper functions are intentionally thin; use SubType, FuncType, StructType, and ArrayType directly for validation or frontend tests.

///|
test "construct function subtypes for a module type section" {
  let unary = func_subtype([I32], [I32])
  let binary = func_subtype([I32, I32], [I32])
  let mod_ = empty_module()
  mod_.types.push(unary)
  mod_.types.push(binary)
  inspect(mod_.is_func_type(0), content="true")
  inspect(mod_.is_func_type(1), content="true")
  debug_inspect(mod_.func_type_at(1).unwrap().params, content="[I32, I32]")
}

#
empty_module

source

fn empty_module() -> @Milky2018/wasm_core/types.Module
Module

#
func_subtype

source

fn func_subtype(params : Array[@Milky2018/wasm_core/types.ValueType
ValueType], results : Array[@Milky2018/wasm_core/types.ValueType
ValueType]) -> @Milky2018/wasm_core/types.SubType
SubType

#
func_type

source

fn func_type(params : Array[@Milky2018/wasm_core/types.ValueType
ValueType], results : Array[@Milky2018/wasm_core/types.ValueType
ValueType]) -> @Milky2018/wasm_core/types.FuncType
FuncType

#
simple_module

source

fn simple_module(params : Array[@Milky2018/wasm_core/types.ValueType
ValueType], results : Array[@Milky2018/wasm_core/types.ValueType
ValueType], body : Array[@Milky2018/wasm_core/types.Instruction
Instruction], export_name : String) -> @Milky2018/wasm_core/types.Module
Module