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

    MethodResult

    pub(all) enum MethodResult {
    Same
    Reinterpret
    } derive(Eq,
    Debug
    )

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

    SimdTy

    pub(all) enum SimdTy {
    TV128
    TI32
    TI64
    TF32
    TF64
    } derive(Eq,
    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

    pub(all) struct ValueMethod {
    name : String
    binary : Bool
    result : MethodResult
    } derive(Eq,
    Debug
    )

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

    float_methods

    let float_methods : Array[ValueMethod]

    The value methods a float receiver offers.

    integer_methods

    let integer_methods : Array[ValueMethod]

    The value methods an integer receiver offers.

    numeric_receiver_kind

    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

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

    Source Files

    Powered by MoonBit

    Site sourceReport issuePackagesBuild queueSkillsStatistics

    © 2026 mooncakes.io