Trait WasmValTypeList

pub trait WasmValTypeList
where
    Self: Sized,
{
    type Array: AsMut<[i128]>;

    // Required method
    fn wasm_types() -> &'static [ValType];
}

Describes the mapping of a tuple of Rust types to Wasm types.

use wasmedge_sdk::{types::ExternRef, ValType, WasmValTypeList};

assert_eq!(
     <(i32, i64, f32, f64, ExternRef)>::wasm_types(),
     [ValType::I32, ValType::I64, ValType::F32, ValType::F64, ValType::ExternRef]
);

Required Associated Types

type Array: AsMut<[i128]>

The array type that can hold all the represented values.

Note that all values are stored in their binary form.

Required Methods

fn wasm_types() -> &'static [ValType]

Get the Wasm types for the tuple (list) of currently represented values.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl WasmValTypeList for ()

type Array = [i128; 0]

fn wasm_types() -> &'static [ValType]

impl<A1, A2> WasmValTypeList for (A1, A2)

where A1: WasmValType, A2: WasmValType,

type Array = [i128; 2]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3> WasmValTypeList for (A1, A2, A3)

where A1: WasmValType, A2: WasmValType, A3: WasmValType,

type Array = [i128; 3]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4> WasmValTypeList for (A1, A2, A3, A4)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType,

type Array = [i128; 4]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5> WasmValTypeList for (A1, A2, A3, A4, A5)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType,

type Array = [i128; 5]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6> WasmValTypeList for (A1, A2, A3, A4, A5, A6)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType,

type Array = [i128; 6]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType,

type Array = [i128; 7]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType,

type Array = [i128; 8]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType,

type Array = [i128; 9]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType, A10: WasmValType,

type Array = [i128; 10]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType, A10: WasmValType, A11: WasmValType,

type Array = [i128; 11]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType, A10: WasmValType, A11: WasmValType, A12: WasmValType,

type Array = [i128; 12]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType, A10: WasmValType, A11: WasmValType, A12: WasmValType, A13: WasmValType,

type Array = [i128; 13]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType, A10: WasmValType, A11: WasmValType, A12: WasmValType, A13: WasmValType, A14: WasmValType,

type Array = [i128; 14]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType, A10: WasmValType, A11: WasmValType, A12: WasmValType, A13: WasmValType, A14: WasmValType, A15: WasmValType,

type Array = [i128; 15]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType, A10: WasmValType, A11: WasmValType, A12: WasmValType, A13: WasmValType, A14: WasmValType, A15: WasmValType, A16: WasmValType,

type Array = [i128; 16]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType, A10: WasmValType, A11: WasmValType, A12: WasmValType, A13: WasmValType, A14: WasmValType, A15: WasmValType, A16: WasmValType, A17: WasmValType,

type Array = [i128; 17]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType, A10: WasmValType, A11: WasmValType, A12: WasmValType, A13: WasmValType, A14: WasmValType, A15: WasmValType, A16: WasmValType, A17: WasmValType, A18: WasmValType,

type Array = [i128; 18]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType, A10: WasmValType, A11: WasmValType, A12: WasmValType, A13: WasmValType, A14: WasmValType, A15: WasmValType, A16: WasmValType, A17: WasmValType, A18: WasmValType, A19: WasmValType,

type Array = [i128; 19]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType, A10: WasmValType, A11: WasmValType, A12: WasmValType, A13: WasmValType, A14: WasmValType, A15: WasmValType, A16: WasmValType, A17: WasmValType, A18: WasmValType, A19: WasmValType, A20: WasmValType,

type Array = [i128; 20]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType, A10: WasmValType, A11: WasmValType, A12: WasmValType, A13: WasmValType, A14: WasmValType, A15: WasmValType, A16: WasmValType, A17: WasmValType, A18: WasmValType, A19: WasmValType, A20: WasmValType, A21: WasmValType,

type Array = [i128; 21]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType, A10: WasmValType, A11: WasmValType, A12: WasmValType, A13: WasmValType, A14: WasmValType, A15: WasmValType, A16: WasmValType, A17: WasmValType, A18: WasmValType, A19: WasmValType, A20: WasmValType, A21: WasmValType, A22: WasmValType,

type Array = [i128; 22]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType, A10: WasmValType, A11: WasmValType, A12: WasmValType, A13: WasmValType, A14: WasmValType, A15: WasmValType, A16: WasmValType, A17: WasmValType, A18: WasmValType, A19: WasmValType, A20: WasmValType, A21: WasmValType, A22: WasmValType, A23: WasmValType,

type Array = [i128; 23]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType, A10: WasmValType, A11: WasmValType, A12: WasmValType, A13: WasmValType, A14: WasmValType, A15: WasmValType, A16: WasmValType, A17: WasmValType, A18: WasmValType, A19: WasmValType, A20: WasmValType, A21: WasmValType, A22: WasmValType, A23: WasmValType, A24: WasmValType,

type Array = [i128; 24]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType, A10: WasmValType, A11: WasmValType, A12: WasmValType, A13: WasmValType, A14: WasmValType, A15: WasmValType, A16: WasmValType, A17: WasmValType, A18: WasmValType, A19: WasmValType, A20: WasmValType, A21: WasmValType, A22: WasmValType, A23: WasmValType, A24: WasmValType, A25: WasmValType,

type Array = [i128; 25]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType, A10: WasmValType, A11: WasmValType, A12: WasmValType, A13: WasmValType, A14: WasmValType, A15: WasmValType, A16: WasmValType, A17: WasmValType, A18: WasmValType, A19: WasmValType, A20: WasmValType, A21: WasmValType, A22: WasmValType, A23: WasmValType, A24: WasmValType, A25: WasmValType, A26: WasmValType,

type Array = [i128; 26]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType, A10: WasmValType, A11: WasmValType, A12: WasmValType, A13: WasmValType, A14: WasmValType, A15: WasmValType, A16: WasmValType, A17: WasmValType, A18: WasmValType, A19: WasmValType, A20: WasmValType, A21: WasmValType, A22: WasmValType, A23: WasmValType, A24: WasmValType, A25: WasmValType, A26: WasmValType, A27: WasmValType,

type Array = [i128; 27]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType, A10: WasmValType, A11: WasmValType, A12: WasmValType, A13: WasmValType, A14: WasmValType, A15: WasmValType, A16: WasmValType, A17: WasmValType, A18: WasmValType, A19: WasmValType, A20: WasmValType, A21: WasmValType, A22: WasmValType, A23: WasmValType, A24: WasmValType, A25: WasmValType, A26: WasmValType, A27: WasmValType, A28: WasmValType,

type Array = [i128; 28]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType, A10: WasmValType, A11: WasmValType, A12: WasmValType, A13: WasmValType, A14: WasmValType, A15: WasmValType, A16: WasmValType, A17: WasmValType, A18: WasmValType, A19: WasmValType, A20: WasmValType, A21: WasmValType, A22: WasmValType, A23: WasmValType, A24: WasmValType, A25: WasmValType, A26: WasmValType, A27: WasmValType, A28: WasmValType, A29: WasmValType,

type Array = [i128; 29]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType, A10: WasmValType, A11: WasmValType, A12: WasmValType, A13: WasmValType, A14: WasmValType, A15: WasmValType, A16: WasmValType, A17: WasmValType, A18: WasmValType, A19: WasmValType, A20: WasmValType, A21: WasmValType, A22: WasmValType, A23: WasmValType, A24: WasmValType, A25: WasmValType, A26: WasmValType, A27: WasmValType, A28: WasmValType, A29: WasmValType, A30: WasmValType,

type Array = [i128; 30]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType, A10: WasmValType, A11: WasmValType, A12: WasmValType, A13: WasmValType, A14: WasmValType, A15: WasmValType, A16: WasmValType, A17: WasmValType, A18: WasmValType, A19: WasmValType, A20: WasmValType, A21: WasmValType, A22: WasmValType, A23: WasmValType, A24: WasmValType, A25: WasmValType, A26: WasmValType, A27: WasmValType, A28: WasmValType, A29: WasmValType, A30: WasmValType, A31: WasmValType,

type Array = [i128; 31]

fn wasm_types() -> &'static [ValType]

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> WasmValTypeList for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32)

where A1: WasmValType, A2: WasmValType, A3: WasmValType, A4: WasmValType, A5: WasmValType, A6: WasmValType, A7: WasmValType, A8: WasmValType, A9: WasmValType, A10: WasmValType, A11: WasmValType, A12: WasmValType, A13: WasmValType, A14: WasmValType, A15: WasmValType, A16: WasmValType, A17: WasmValType, A18: WasmValType, A19: WasmValType, A20: WasmValType, A21: WasmValType, A22: WasmValType, A23: WasmValType, A24: WasmValType, A25: WasmValType, A26: WasmValType, A27: WasmValType, A28: WasmValType, A29: WasmValType, A30: WasmValType, A31: WasmValType, A32: WasmValType,

type Array = [i128; 32]

fn wasm_types() -> &'static [ValType]

Implementors

impl<A1> WasmValTypeList for A1

where A1: WasmValType,

type Array = [i128; 1]