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

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

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

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

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

Required Associated Types§

source

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§

source

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

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

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

source§

impl WasmValTypeList for ()

§

type Array = [i128; 0]

source§

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

source§

impl<A1, A2> WasmValTypeList for (A1, A2)where A1: WasmValType, A2: WasmValType,

§

type Array = [i128; 2]

source§

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

source§

impl<A1, A2, A3> WasmValTypeList for (A1, A2, A3)where A1: WasmValType, A2: WasmValType, A3: WasmValType,

§

type Array = [i128; 3]

source§

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

source§

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

§

type Array = [i128; 4]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

source§

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]

source§

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

Implementors§

source§

impl<A1> WasmValTypeList for A1where A1: WasmValType,

§

type Array = [i128; 1]