mooncakes.io

README

marianoguerra/wax/check/members does not have a README file

#
MemberReceiver

pub(all) enum MemberReceiver {
  RNumeric(@marianoguerra/wax/check/infer.InferredType
InferredType)
  RStruct(Array[@marianoguerra/wax/basic.Annotated
Annotated[(@marianoguerra/wax/ast.Ident
Ident, @marianoguerra/wax/wasm/types.MutType
MutType[@marianoguerra/wax/wasm/types.StorageType
StorageType[@marianoguerra/wax/ast.Ident
Ident]]), @marianoguerra/wax/basic.Location
Location]])
  RArray(@marianoguerra/wax/wasm/types.MutType
MutType[@marianoguerra/wax/wasm/types.StorageType
StorageType[@marianoguerra/wax/ast.Ident
Ident]])
  RMemory(@marianoguerra/wax/wasm/types.AddressType
AddressType)
  RTable(@marianoguerra/wax/wasm/types.AddressType
AddressType, @marianoguerra/wax/wasm/types.RefType
RefType[@marianoguerra/wax/ast.Ident
Ident])
}

What a member access's receiver is, as the checker records it.

A lightweight descriptor rather than the candidate list itself: for a v128 or a memory receiver that list is large, and it is only ever wanted for the one access under a cursor.

#
MethodResult

source

pub(all) enum MethodResult {
  Same
  Reinterpret
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

What a value method's result type is, relative to its receiver.

#
SimdTy

source

pub(all) enum SimdTy {
  TV128
  TI32
  TI64
  TF32
  TF64
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

The types a SIMD intrinsic's operands and results take.

The reference reads this from Wax_wasm.Simd, the 856-line registry of every vector op, which is NOT ported: it is an unlisted prerequisite of the type checker (task 12), which dispatches v.add_i32x4(w) through it. This enum is the part simd_valtype needs, so the checker-facing half of this file does not wait on the other 856 lines.

#
ValueMethod

source

pub(all) struct ValueMethod {
  name : String
  binary : Bool
  result : MethodResult
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

One value method: x.clz(), x.rotl(y).

#
float_methods

source

let float_methods : Array[ValueMethod]

The value methods a float receiver offers.

#
integer_methods

source

let integer_methods : Array[ValueMethod]

The value methods an integer receiver offers.

#
numeric_receiver_kind

source

fn numeric_receiver_kind(t : @marianoguerra/wax/check/infer.InferredType
InferredType) -> MemberReceiver?

Does a value receiver of this type have value methods?

The cheap classification the recorder uses to decide whether to record at all, without building a candidate list. A packed i8/i16 has none -- it must be cast first -- and neither has a non-numeric type.

#
simd_valtype

source

fn simd_valtype(t : SimdTy) -> @marianoguerra/wax/check/infer.InferredValType
InferredValType

The value type a SIMD intrinsic's operand or result stands for.

Source Files

members.mbt

Site source Report issue Packages Build queue Skills Statistics

#MemberReceiver

#MethodResult

#SimdTy

#ValueMethod

#float_methods

#integer_methods

#numeric_receiver_kind

#simd_valtype

Source Files

#
MemberReceiver

#
MethodResult

#
SimdTy

#
ValueMethod

#
float_methods

#
integer_methods

#
numeric_receiver_kind

#
simd_valtype