mooncakes.io

🥮 mooncakes.io

/

/

README
- ::equalRuntimeSymbols::equal
- ::not_equalRuntimeSymbols::not_equal
- ::symbol_nameRuntimeSymbols::symbol_name
- ::to_reprRuntimeSymbols::to_repr
- ::with_runtime_prefixRuntimeSymbols::with_runtime_prefix
- ::equalWasmDefinedTypeContract::equal
- ::not_equalWasmDefinedTypeContract::not_equal
- ::to_reprWasmDefinedTypeContract::to_repr
- ::equalWasmFieldContract::equal
- ::not_equalWasmFieldContract::not_equal
- ::to_reprWasmFieldContract::to_repr
- ::equalWasmFunctionContract::equal
- ::not_equalWasmFunctionContract::not_equal
- ::to_reprWasmFunctionContract::to_repr
- ::equalWasmOpcode::equal
- ::hashWasmOpcode::hash
- ::hash_combineWasmOpcode::hash_combine
- ::not_equalWasmOpcode::not_equal
- ::to_reprWasmOpcode::to_repr
- ::equalWasmRuntimeHelper::equal
- ::not_equalWasmRuntimeHelper::not_equal
- ::to_reprWasmRuntimeHelper::to_repr
- ::equalWasmStorageContract::equal
- ::not_equalWasmStorageContract::not_equal
- ::to_reprWasmStorageContract::to_repr
- ::equalWasmTableContract::equal
- ::not_equalWasmTableContract::not_equal
- ::to_reprWasmTableContract::to_repr
- ::emptyWasmValidationContext::empty
- ::newWasmValidationContext::new
- ::validate_extensionWasmValidationContext::validate_extension
- ::validate_global_valueWasmValidationContext::validate_global_value
T
WasmValidationResolvers
V
EXTERNREF_TAG
V
FUNCREF_TAG
V
NULL_REF
V
WASM_DIALECT
V
any_convert_extern
V
array_copy
V
array_fill
V
array_get
V
array_get_s
V
array_get_u
V
array_init_data
V
array_init_elem
V
array_len
V
array_new
V
array_new_data
V
array_new_default
V
array_new_elem
V
array_new_fixed
V
array_set
V
call_indirect_multi
V
call_multi
V
call_ref_multi
V
data_drop
V
decode
V
decode_error
V
decode_memory_base_context_field
V
decode_opcode
V
delegate
V
descriptor
V
descriptor_by_name
V
elem_drop
V
emit_throw
V
emit_throw_ref
V
encode
V
extern_convert_any
V
get_exception_tag
V
get_exception_value
V
get_exception_value_count
V
get_func_ref
V
get_spilled_local
V
i31_get_s
V
i31_get_u
V
i31_new
V
load_mem_base
V
memory_base_context_field
V
memory_copy
V
memory_fill
V
memory_grow
V
memory_init
V
memory_size
V
ref_cast
V
ref_eq
V
ref_test
V
return_call_indirect_multi
V
return_call_multi
V
return_call_ref_multi
V
spill_locals_for_throw
V
struct_get
V
struct_get_s
V
struct_get_u
V
struct_new
V
struct_new_default
V
struct_set
V
table_copy
V
table_fill
V
table_grow
V
table_init
V
try_table_begin
V
try_table_end
V
validate_extension
V
validate_global_value
V
verify_function
V
verify_function_with_context
V
wasm_externref_type
V
wasm_funcref_type

Milky2018/wasm_milkir/frontend does not have a README file

EmbeddingEnvironment

using @Milky2018/wasm_milkir/frontend/embedding { type EmbeddingEnvironment }

MemoryDescriptorLayout

using @Milky2018/wasm_milkir/frontend/embedding { type MemoryDescriptorLayout }

RuntimeLayout

using @Milky2018/wasm_milkir/frontend/embedding { type RuntimeLayout }

TranslationContext

using @Milky2018/wasm_milkir/frontend/ir { type TranslationContext }

Module-wide state shared while translating multiple function bodies.

LowerError

pub suberror LowerError {
  FunctionIndexOutOfRange(index~ : Int)
  TypeIndexOutOfRange(index~ : Int)
  NonFunctionType(index~ : Int)
  MissingCode(index~ : Int)
  UnsupportedNativeLowering(index~ : Int, reason~ : String)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

impl Show for LowerError

LowerError::equal

fn LowerError::equal(LowerError, LowerError) -> Bool

LowerError::not_equal

fn LowerError::not_equal(x : LowerError, y : LowerError) -> Bool

LowerError::output

fn LowerError::output(self : LowerError, logger : &Logger) -> Unit

LowerError::to_repr

fn LowerError::to_repr(LowerError) -> @moonbitlang/core/debug.Repr
Repr

LowerError::to_string

fn LowerError::to_string(self : LowerError) -> String

lower_function

fn lower_function(env : @Milky2018/wasm_milkir/frontend/embedding.EmbeddingEnvironment
EmbeddingEnvironment, mod_ : @Milky2018/wasm_core/types.Module
Module, func_local_idx : Int) -> @Milky2018/milkir.Function
Function raise LowerError

translate_function

fn translate_function(embedding_env : @Milky2018/wasm_milkir/frontend/embedding.EmbeddingEnvironment
EmbeddingEnvironment, mod_ : @Milky2018/wasm_core/types.Module
Module, func_local_idx : Int, name? : String, memory_max_override? : Int?) -> @Milky2018/milkir.Function
Function raise LowerError

Translate one module function through the canonical production frontend.

translate_function_body

fn translate_function_body(ctx : @Milky2018/wasm_milkir/frontend/ir.TranslationContext
TranslationContext, name : String, func_type : @Milky2018/wasm_core/types.FuncType
FuncType, locals : Array[@Milky2018/wasm_core/types.ValueType
ValueType], body : Array[@Milky2018/wasm_core/types.Instruction
Instruction]) -> @Milky2018/milkir.Function
Function

Translate one decoded function body through the production Wasm frontend.

translation_context_from_module

fn translation_context_from_module(mod_ : @Milky2018/wasm_core/types.Module
Module, embedding_env : @Milky2018/wasm_milkir/frontend/embedding.EmbeddingEnvironment
EmbeddingEnvironment, memory_max_override? : Int?, func_base? : Int, import_remap? : Array[Int]) -> @Milky2018/wasm_milkir/frontend/ir.TranslationContext
TranslationContext

Build the canonical production translation context for a decoded module.

try_lower_native_function

fn try_lower_native_function(env : @Milky2018/wasm_milkir/frontend/embedding.EmbeddingEnvironment
EmbeddingEnvironment, mod_ : @Milky2018/wasm_core/types.Module
Module, func_local_idx : Int) -> @Milky2018/milkir.Function
Function? raise LowerError

wasm_validation_context

fn wasm_validation_context(ctx : @Milky2018/wasm_milkir/frontend/ir.TranslationContext
TranslationContext) -> @Milky2018/wasm_milkir.WasmValidationContext
WasmValidationContext

Build contextual contracts for validating the MilkIR emitted by ctx.

Source Files

Powered by MoonBit

Site source Report issue Packages Build queue Skills Statistics

© 2026 mooncakes.io