README
U
OptLevel
U
ProfilingStrategy
U
Strategy
U
ValKind
T
CallFuture
T
Config
T
Context
T
Engine
T
FuncType
T
InstancePre
T
Linker
T
Module
T
Store
T
Trap
T
WasmtimeError
T
WasmtimeStore
V
OPT_LEVEL_NONE
V
OPT_LEVEL_SPEED
V
OPT_LEVEL_SPEED_AND_SIZE
V
PROFILING_STRATEGY_JITDUMP
V
PROFILING_STRATEGY_NONE
V
PROFILING_STRATEGY_PERFMAP
V
PROFILING_STRATEGY_VTUNE
V
STRATEGY_AUTO
V
STRATEGY_CRANELIFT
V
VALKIND_EXTERNREF
V
VALKIND_F32
V
VALKIND_F64
V
VALKIND_FUNCREF
V
VALKIND_I32
V
VALKIND_I64
V
async_context_delete
V
async_context_new
V
call_future_delete
V
call_future_poll
V
clock_now_ns
V
config_async_stack_size_set
V
config_cache_config_load
V
config_cache_config_load_bytes
V
config_cache_config_load_default
V
config_consume_fuel_set
V
config_cranelift_debug_verifier_set
V
config_cranelift_flag_enable
V
config_cranelift_flag_enable_bytes
V
config_cranelift_flag_set
V
config_cranelift_flag_set_bytes
V
config_cranelift_nan_canonicalization_set
V
config_cranelift_opt_level_set
V
config_debug_info_set
V
config_delete
V
config_epoch_interruption_set
V
config_host_stack_creator_set_bytes
V
config_macos_use_mach_ports_set
V
config_max_wasm_stack_set
V
config_memory_guard_size_set
V
config_memory_may_move_set
V
config_memory_reservation_for_growth_set
V
config_memory_reservation_set
V
config_native_unwind_info_set
V
config_new
V
config_parallel_compilation_set
V
config_profiler_set
V
config_shared_memory_set
V
config_signals_based_traps_set
V
config_strategy_set
V
config_target_set
V
config_target_set_bytes
V
config_wasm_bulk_memory_set
V
config_wasm_custom_page_sizes_set
V
config_wasm_exceptions_set
V
config_wasm_function_references_set
V
config_wasm_gc_set
V
config_wasm_memory64_set
V
config_wasm_multi_memory_set
V
config_wasm_multi_value_set
V
config_wasm_reference_types_set
V
config_wasm_relaxed_simd_deterministic_set
V
config_wasm_relaxed_simd_set
V
config_wasm_simd_set
V
config_wasm_stack_switching_set
V
config_wasm_tail_call_set
V
config_wasm_threads_set
V
config_wasm_wide_arithmetic_set
V
context_epoch_deadline_async_yield_and_update
V
context_fuel_async_yield_interval
V
engine_delete
V
engine_new
V
engine_new_with_config
V
error_delete
V
error_delete_ptr
V
error_delete_ptr_buffer
V
error_is_null
V
func_buffer_new_with_ptr
V
func_call_async
V
func_call_async_bytes
V
func_call_async_result
V
func_call_async_result_autoclean
V
func_new_ptr_bytes
V
func_noop_callback_ptr
V
func_sizeof
V
functype_delete
V
functype_is_null
V
functype_new_from_kinds
V
functype_new_from_valkinds
V
functype_new_from_valkinds_or_raise
V
functype_new_from_valkinds_result
V
instance_pre_instantiate_async_bytes
V
instance_sizeof
V
linker_define_async_func_ptr
V
linker_instantiate_async_bytes
V
make_func_buffer
V
make_instance_buffer
V
make_ptr_buffer
V
make_stack_creator_buffer
V
make_val_buffer
V
noop_callback_ptr
V
ptr_buffer_clear
V
ptr_buffer_is_null
V
ptr_buffer_read_u64
V
ptr_clear
V
ptr_is_null
V
ptr_read_u64
V
ptr_sizeof
V
stack_creator_sizeof
V
store_delete
V
store_new
V
trap_delete_ptr
V
trap_delete_ptr_buffer
V
val_buffer_count
V
val_buffer_count_or_raise
V
val_buffer_count_result
V
val_buffer_get_f32
V
val_buffer_get_f64
V
val_buffer_get_i32
V
val_buffer_get_i64
V
val_buffer_set_f32
V
val_buffer_set_f64
V
val_buffer_set_i32
V
val_buffer_set_i64
V
val_buffer_unroot_at
V
val_get_f32_at
V
val_get_f64_at
V
val_get_i32_at
V
val_get_i64_at
V
val_kind_at
V
val_set_f32_at
V
val_set_f64_at
V
val_set_i32_at
V
val_set_i64_at
V
val_sizeof
V
val_unroot_at
V
version
V
wasmtime_store_context
V
wasmtime_store_delete
V
wasmtime_store_new

wasmtime

Wasmtime C API bindings for MoonBit (native target)

wasmtime

wasm

ffi

native

Download zip

Author

mizchi

Version

0.1.6

License

Apache-2.0

Repository

github.com/mizchi/wasmtime.mbt

Last updated

5 months ago

Downloads

Dependencies

moonbitlang/x0.4.40
moonbitlang/async0.16.6

#mizchi/wasmtime.mbt

MoonBit bindings to the Wasmtime C API (native target). This repo starts with a minimal bridge that verifies native linking and exposes version() plus basic engine lifecycle.

#Status

native target only
requires Wasmtime C API headers and library at build time

#Build Requirements

This repo vendors Wasmtime as a git submodule and builds the C API via a MoonBit pre-build hook. You need a Rust toolchain (cargo) available.

The build hook:

initializes deps/wasmtime (git submodule)
runs cargo build -p wasmtime-c-api --release

When deps/wasmtime is missing (e.g. installed via .mooncakes), the build script will clone Wasmtime from GitHub and checkout the pinned commit in deps/wasmtime.rev before building. Git is required in that case.

The link flags are set in src/moon.pkg:

cc-link-flags: -Ldeps/wasmtime/target/release -lwasmtime

The pre-build step also generates src/wasmtime_version.h from deps/wasmtime/crates/c-api/include/wasmtime.h so the MoonBit API can expose the Wasmtime version without depending on the full C headers during compile.

#Using as a dependency (.mooncakes)

When this module is installed as a dependency under .mooncakes/mizchi/wasmtime, the pre-build hook in this repo is not executed automatically. If you need Wasmtime built from a consumer module, add a pre-build step there to call the script inside .mooncakes.

Example moon.pkg in the consumer:

import {
  "mizchi/wasmtime",
}

options(
  "pre-build": [
    {
      "input": [
        ".mooncakes/mizchi/wasmtime/src/scripts/build-wasmtime.sh"
      ],
      "output": [
        "build-stamps/wasmtime_prebuild.stamp"
      ],
      "command": "mkdir -p build-stamps && bash .mooncakes/mizchi/wasmtime/src/scripts/build-wasmtime.sh src/build-stamps/wasmtime_build.stamp && date -u +%Y-%m-%dT%H:%M:%SZ > $output"
    }
  ],
)

The build script writes a log at src/build-stamps/wasmtime_build.stamp so you can confirm the cwd and resolved paths.

#Quick Commands

just           # check + test (native target)
just fmt       # format code
just check     # type check
just test      # run tests
just run       # run main
just info      # generate type definition files
just prebuild-log # show pre-build log

Note: just test uses --release to avoid crashes in debug builds when linking against the Wasmtime C API.

#Example

fn main {
  println(@wasmtime.version())
}

#Async Result Example (native)

let (engine, store, context) = @wasmtime.async_context_new(4 * 1024 * 1024)
let args = @wasmtime.make_val_buffer(0)
let results = @wasmtime.make_val_buffer(0)
let trap_ptr = @wasmtime.make_ptr_buffer()
let err_ptr = @wasmtime.make_ptr_buffer()

let params : Bytes = []
let results_sig : Bytes = []
let ty = @wasmtime.functype_new_from_valkinds_or_raise(params, results_sig)
let cb_ptr = @wasmtime.func_noop_callback_ptr()
let func_bytes = @wasmtime.func_buffer_new_with_ptr(context, ty, cb_ptr, 0, 0)

let future_result =
  @wasmtime.func_call_async_result_autoclean(context, func_bytes, args, results, trap_ptr, err_ptr)
match future_result {
  Ok(future) => {
    while not(@wasmtime.call_future_poll(future)) { () }
    @wasmtime.call_future_delete(future)
  }
  Err(_err) => {
    // trap/error pointers are already deleted
  }
}
// Error example: "func_call_async failed (error=true, trap=false)"
@wasmtime.functype_delete(ty)
@wasmtime.async_context_delete(engine, store)

wasmtime

#mizchi/wasmtime.mbt

#Status

#Build Requirements

#Using as a dependency (.mooncakes)

#Quick Commands

#Example

#Async Result Example (native)

#OptLevel

#ProfilingStrategy

#Strategy

#ValKind

#CallFuture

#Config

#Context

#Engine

#FuncType

#InstancePre

#Linker

#Module

#Store

#Trap

#WasmtimeError

#WasmtimeStore

#OPT_LEVEL_NONE

#OPT_LEVEL_SPEED

#OPT_LEVEL_SPEED_AND_SIZE

#PROFILING_STRATEGY_JITDUMP

#PROFILING_STRATEGY_NONE

#PROFILING_STRATEGY_PERFMAP

#PROFILING_STRATEGY_VTUNE

#STRATEGY_AUTO

#STRATEGY_CRANELIFT

#VALKIND_EXTERNREF

#VALKIND_F32

#VALKIND_F64

#VALKIND_FUNCREF

#VALKIND_I32

#VALKIND_I64

#async_context_delete

#async_context_new

#call_future_delete

#call_future_poll

#clock_now_ns

#config_async_stack_size_set

#config_cache_config_load

#config_cache_config_load_bytes

#config_cache_config_load_default

#config_consume_fuel_set

#config_cranelift_debug_verifier_set

#config_cranelift_flag_enable

#config_cranelift_flag_enable_bytes

#config_cranelift_flag_set

#config_cranelift_flag_set_bytes

#config_cranelift_nan_canonicalization_set

#config_cranelift_opt_level_set

#config_debug_info_set

#config_delete

#config_epoch_interruption_set

#config_host_stack_creator_set_bytes

#config_macos_use_mach_ports_set

#config_max_wasm_stack_set

#config_memory_guard_size_set

#config_memory_may_move_set

#config_memory_reservation_for_growth_set

#config_memory_reservation_set

#config_native_unwind_info_set

#config_new

#config_parallel_compilation_set

#config_profiler_set

#config_shared_memory_set

#config_signals_based_traps_set

#config_strategy_set

#config_target_set

#config_target_set_bytes

#config_wasm_bulk_memory_set

#config_wasm_custom_page_sizes_set

#config_wasm_exceptions_set

#config_wasm_function_references_set

#config_wasm_gc_set

OptLevel

ProfilingStrategy

Strategy

ValKind

CallFuture

Config

Context

Engine

FuncType

InstancePre

Linker

Module

Store

Trap

WasmtimeError

WasmtimeStore

OPT_LEVEL_NONE

OPT_LEVEL_SPEED

OPT_LEVEL_SPEED_AND_SIZE

PROFILING_STRATEGY_JITDUMP

PROFILING_STRATEGY_NONE

PROFILING_STRATEGY_PERFMAP

PROFILING_STRATEGY_VTUNE

STRATEGY_AUTO

STRATEGY_CRANELIFT

VALKIND_EXTERNREF

VALKIND_F32

VALKIND_F64

VALKIND_FUNCREF

VALKIND_I32

VALKIND_I64

async_context_delete

async_context_new

call_future_delete

call_future_poll

clock_now_ns

config_async_stack_size_set

config_cache_config_load

config_cache_config_load_bytes

config_cache_config_load_default

config_consume_fuel_set

config_cranelift_debug_verifier_set

config_cranelift_flag_enable

config_cranelift_flag_enable_bytes

config_cranelift_flag_set

config_cranelift_flag_set_bytes

config_cranelift_nan_canonicalization_set

config_cranelift_opt_level_set

config_debug_info_set

config_delete

config_epoch_interruption_set

config_host_stack_creator_set_bytes

config_macos_use_mach_ports_set

config_max_wasm_stack_set

config_memory_guard_size_set

config_memory_may_move_set

config_memory_reservation_for_growth_set

config_memory_reservation_set

config_native_unwind_info_set

config_new

config_parallel_compilation_set

config_profiler_set

config_shared_memory_set

config_signals_based_traps_set

config_strategy_set

config_target_set

config_target_set_bytes

config_wasm_bulk_memory_set

config_wasm_custom_page_sizes_set

config_wasm_exceptions_set

config_wasm_function_references_set

config_wasm_gc_set

config_wasm_memory64_set

config_wasm_multi_memory_set

config_wasm_multi_value_set

config_wasm_reference_types_set

config_wasm_relaxed_simd_deterministic_set

config_wasm_relaxed_simd_set

config_wasm_simd_set

config_wasm_stack_switching_set