Milky2018/wasm_component/canonical

README
U
Alias
U
AliasTarget
U
BinaryKind
U
Canon
U
CanonOpt
U
CanonicalAbiPlan
U
Component
U
ComponentBinary
U
ComponentDecl
U
ComponentParseError
U
CoreInlineExport
U
CoreInstanceDecl
U
CoreInstanceExpr
U
CoreInstantiateArg
U
Export
U
ExportName
U
ExternDesc
U
FuncType
U
Import
U
ImportName
U
InlineExport
U
Instance
U
InstanceDecl
U
InstanceExpr
U
InstantiateArg
U
NameAttribute
U
Param
U
PrimValType
U
RecordField
U
ResourceKind
U
Section
U
Sort
U
SortIdx
U
Start
U
StringEncoding
U
TypeBound
U
TypeDef
U
ValType
U
ValueBound
U
VariantCase
V
canonical_abi_plan
V
canonical_discriminant_layout
V
canonical_flat_types
V
canonical_lift_core_func_type
V
canonical_lower_core_func_type
V
canonical_memory_layout
V
canonical_value_contains_memory
V
parse_alias_section
V
parse_canon_section
V
parse_component
V
parse_component_binary
V
parse_core_instance_section
V
parse_export_section
V
parse_import_section
V
parse_instance_section
V
parse_start_section
V
parse_type_section
V
sniff_binary_kind

Milky2018/wasm_component/canonical does not have a README file

CanonicalAbiPlan

pub(all) struct CanonicalAbiPlan {
  value_type : @Milky2018/wasm_component/model.ValType
ValType
  types : Array[@Milky2018/wasm_component/model.TypeDef
TypeDef?]
  memory64 : Bool
  flat : Array[@Milky2018/wasm_core/types.ValueType
ValueType]
  layout : (Int, Int)?
  contains_memory : Bool
}

A value's ABI representation in its defining type environment. Flat output may be bounded by the caller's ABI arity limit; memory layout never expands fixed-length lists. An absent layout means the value exceeds the supported addressable area, while its bounded call signature can still be inspected.

canonical_abi_plan

source

fn canonical_abi_plan(ty : @Milky2018/wasm_component/model.ValType
ValType, types : Array[@Milky2018/wasm_component/model.TypeDef
TypeDef?], memory64 : Bool, max_flat? : Int) -> CanonicalAbiPlan?

canonical_discriminant_layout

source

fn canonical_discriminant_layout(case_count : Int) -> (Int, Int)

canonical_flat_types

source

fn canonical_flat_types(ty : @Milky2018/wasm_component/model.ValType
ValType, types : Array[@Milky2018/wasm_component/model.TypeDef
TypeDef?], pointer_type : @Milky2018/wasm_core/types.ValueType
ValueType, max_flat? : Int) -> Array[@Milky2018/wasm_core/types.ValueType
ValueType]?

Return the Canonical ABI flat core value types for one component value.

pointer_type must be I32 or I64 and represents the selected canonical memory. None means the type index is invalid, recursive, or does not name a value type. max_flat bounds the returned prefix when only an ABI arity threshold is needed; it avoids expanding large fixed lists.

canonical_lift_core_func_type

source

fn canonical_lift_core_func_type(func_type : @Milky2018/wasm_component/model.FuncType
FuncType, types : Array[@Milky2018/wasm_component/model.TypeDef
TypeDef?], pointer_type : @Milky2018/wasm_core/types.ValueType
ValueType) -> @Milky2018/wasm_core/types.FuncType
FuncType?

Return the Canonical ABI core signature consumed by canon lift.

More than sixteen flat parameters use one indirect pointer. A result with more than one flat value is returned as a pointer to the result area.

canonical_lower_core_func_type

source

fn canonical_lower_core_func_type(func_type : @Milky2018/wasm_component/model.FuncType
FuncType, types : Array[@Milky2018/wasm_component/model.TypeDef
TypeDef?], pointer_type : @Milky2018/wasm_core/types.ValueType
ValueType) -> @Milky2018/wasm_core/types.FuncType
FuncType?

Return the Canonical ABI core signature produced by canon lower.

More than sixteen flat parameters use one indirect pointer. A result with more than one flat value appends an indirect result pointer to the core parameters.

canonical_memory_layout

source

fn canonical_memory_layout(ty : @Milky2018/wasm_component/model.ValType
ValType, types : Array[@Milky2018/wasm_component/model.TypeDef
TypeDef?], mem_is_64 : Bool) -> (Int, Int)?

canonical_value_contains_memory

source

fn canonical_value_contains_memory(ty : @Milky2018/wasm_component/model.ValType
ValType, types : Array[@Milky2018/wasm_component/model.TypeDef
TypeDef?]) -> Bool