Trait wasmtime::WasmResults

pub unsafe trait WasmResults: WasmParams { }

A trait used for Func::typed and with TypedFunc to represent the set of results for wasm functions.

This is currently only implemented for () and for bare types that can be returned. This is not yet implemented for tuples because a multi-value TypedFunc is not currently supported.

Implementations on Foreign Types

impl WasmResults for () where
    (): HostAbi, 

type ResultAbi = ()

unsafe fn from_abi(store: &mut StoreOpaque, abi: Self::ResultAbi) -> Self

impl<A1: WasmTy> WasmResults for (A1,) where
    (A1::Abi,): HostAbi, 

type ResultAbi = (A1::Abi,)

unsafe fn from_abi(store: &mut StoreOpaque, abi: Self::ResultAbi) -> Self

impl<A1: WasmTy, A2: WasmTy> WasmResults for (A1, A2) where
    (A1::Abi, A2::Abi): HostAbi, 

type ResultAbi = (A1::Abi, A2::Abi)

unsafe fn from_abi(store: &mut StoreOpaque, abi: Self::ResultAbi) -> Self

impl<A1: WasmTy, A2: WasmTy, A3: WasmTy> WasmResults for (A1, A2, A3) where
    (A1::Abi, A2::Abi, A3::Abi): HostAbi, 

type ResultAbi = (A1::Abi, A2::Abi, A3::Abi)

unsafe fn from_abi(store: &mut StoreOpaque, abi: Self::ResultAbi) -> Self

impl<A1: WasmTy, A2: WasmTy, A3: WasmTy, A4: WasmTy> WasmResults for (A1, A2, A3, A4) where
    (A1::Abi, A2::Abi, A3::Abi, A4::Abi): HostAbi, 

type ResultAbi = (A1::Abi, A2::Abi, A3::Abi, A4::Abi)

unsafe fn from_abi(store: &mut StoreOpaque, abi: Self::ResultAbi) -> Self

impl<A1: WasmTy, A2: WasmTy, A3: WasmTy, A4: WasmTy, A5: WasmTy> WasmResults for (A1, A2, A3, A4, A5) where
    (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi): HostAbi, 

type ResultAbi = (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi)

unsafe fn from_abi(store: &mut StoreOpaque, abi: Self::ResultAbi) -> Self

impl<A1: WasmTy, A2: WasmTy, A3: WasmTy, A4: WasmTy, A5: WasmTy, A6: WasmTy> WasmResults for (A1, A2, A3, A4, A5, A6) where
    (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi, A6::Abi): HostAbi, 

type ResultAbi = (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi, A6::Abi)

unsafe fn from_abi(store: &mut StoreOpaque, abi: Self::ResultAbi) -> Self

impl<A1: WasmTy, A2: WasmTy, A3: WasmTy, A4: WasmTy, A5: WasmTy, A6: WasmTy, A7: WasmTy> WasmResults for (A1, A2, A3, A4, A5, A6, A7) where
    (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi, A6::Abi, A7::Abi): HostAbi, 

type ResultAbi = (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi, A6::Abi, A7::Abi)

unsafe fn from_abi(store: &mut StoreOpaque, abi: Self::ResultAbi) -> Self

impl<A1: WasmTy, A2: WasmTy, A3: WasmTy, A4: WasmTy, A5: WasmTy, A6: WasmTy, A7: WasmTy, A8: WasmTy> WasmResults for (A1, A2, A3, A4, A5, A6, A7, A8) where
    (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi, A6::Abi, A7::Abi, A8::Abi): HostAbi, 

type ResultAbi = (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi, A6::Abi, A7::Abi, A8::Abi)

unsafe fn from_abi(store: &mut StoreOpaque, abi: Self::ResultAbi) -> Self

impl<A1: WasmTy, A2: WasmTy, A3: WasmTy, A4: WasmTy, A5: WasmTy, A6: WasmTy, A7: WasmTy, A8: WasmTy, A9: WasmTy> WasmResults for (A1, A2, A3, A4, A5, A6, A7, A8, A9) where
    (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi, A6::Abi, A7::Abi, A8::Abi, A9::Abi): HostAbi, 

type ResultAbi = (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi, A6::Abi, A7::Abi, A8::Abi, A9::Abi)

unsafe fn from_abi(store: &mut StoreOpaque, abi: Self::ResultAbi) -> Self

impl<A1: WasmTy, A2: WasmTy, A3: WasmTy, A4: WasmTy, A5: WasmTy, A6: WasmTy, A7: WasmTy, A8: WasmTy, A9: WasmTy, A10: WasmTy> WasmResults for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10) where
    (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi, A6::Abi, A7::Abi, A8::Abi, A9::Abi, A10::Abi): HostAbi, 

type ResultAbi = (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi, A6::Abi, A7::Abi, A8::Abi, A9::Abi, A10::Abi)

unsafe fn from_abi(store: &mut StoreOpaque, abi: Self::ResultAbi) -> Self

impl<A1: WasmTy, A2: WasmTy, A3: WasmTy, A4: WasmTy, A5: WasmTy, A6: WasmTy, A7: WasmTy, A8: WasmTy, A9: WasmTy, A10: WasmTy, A11: WasmTy> WasmResults for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11) where
    (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi, A6::Abi, A7::Abi, A8::Abi, A9::Abi, A10::Abi, A11::Abi): HostAbi, 

type ResultAbi = (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi, A6::Abi, A7::Abi, A8::Abi, A9::Abi, A10::Abi, A11::Abi)

unsafe fn from_abi(store: &mut StoreOpaque, abi: Self::ResultAbi) -> Self

impl<A1: WasmTy, A2: WasmTy, A3: WasmTy, A4: WasmTy, A5: WasmTy, A6: WasmTy, A7: WasmTy, A8: WasmTy, A9: WasmTy, A10: WasmTy, A11: WasmTy, A12: WasmTy> WasmResults for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12) where
    (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi, A6::Abi, A7::Abi, A8::Abi, A9::Abi, A10::Abi, A11::Abi, A12::Abi): HostAbi, 

type ResultAbi = (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi, A6::Abi, A7::Abi, A8::Abi, A9::Abi, A10::Abi, A11::Abi, A12::Abi)

unsafe fn from_abi(store: &mut StoreOpaque, abi: Self::ResultAbi) -> Self

impl<A1: WasmTy, A2: WasmTy, A3: WasmTy, A4: WasmTy, A5: WasmTy, A6: WasmTy, A7: WasmTy, A8: WasmTy, A9: WasmTy, A10: WasmTy, A11: WasmTy, A12: WasmTy, A13: WasmTy> WasmResults for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13) where
    (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi, A6::Abi, A7::Abi, A8::Abi, A9::Abi, A10::Abi, A11::Abi, A12::Abi, A13::Abi): HostAbi, 

type ResultAbi = (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi, A6::Abi, A7::Abi, A8::Abi, A9::Abi, A10::Abi, A11::Abi, A12::Abi, A13::Abi)

unsafe fn from_abi(store: &mut StoreOpaque, abi: Self::ResultAbi) -> Self

impl<A1: WasmTy, A2: WasmTy, A3: WasmTy, A4: WasmTy, A5: WasmTy, A6: WasmTy, A7: WasmTy, A8: WasmTy, A9: WasmTy, A10: WasmTy, A11: WasmTy, A12: WasmTy, A13: WasmTy, A14: WasmTy> WasmResults for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14) where
    (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi, A6::Abi, A7::Abi, A8::Abi, A9::Abi, A10::Abi, A11::Abi, A12::Abi, A13::Abi, A14::Abi): HostAbi, 

type ResultAbi = (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi, A6::Abi, A7::Abi, A8::Abi, A9::Abi, A10::Abi, A11::Abi, A12::Abi, A13::Abi, A14::Abi)

unsafe fn from_abi(store: &mut StoreOpaque, abi: Self::ResultAbi) -> Self

impl<A1: WasmTy, A2: WasmTy, A3: WasmTy, A4: WasmTy, A5: WasmTy, A6: WasmTy, A7: WasmTy, A8: WasmTy, A9: WasmTy, A10: WasmTy, A11: WasmTy, A12: WasmTy, A13: WasmTy, A14: WasmTy, A15: WasmTy> WasmResults for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15) where
    (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi, A6::Abi, A7::Abi, A8::Abi, A9::Abi, A10::Abi, A11::Abi, A12::Abi, A13::Abi, A14::Abi, A15::Abi): HostAbi, 

type ResultAbi = (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi, A6::Abi, A7::Abi, A8::Abi, A9::Abi, A10::Abi, A11::Abi, A12::Abi, A13::Abi, A14::Abi, A15::Abi)

unsafe fn from_abi(store: &mut StoreOpaque, abi: Self::ResultAbi) -> Self

impl<A1: WasmTy, A2: WasmTy, A3: WasmTy, A4: WasmTy, A5: WasmTy, A6: WasmTy, A7: WasmTy, A8: WasmTy, A9: WasmTy, A10: WasmTy, A11: WasmTy, A12: WasmTy, A13: WasmTy, A14: WasmTy, A15: WasmTy, A16: WasmTy> WasmResults for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16) where
    (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi, A6::Abi, A7::Abi, A8::Abi, A9::Abi, A10::Abi, A11::Abi, A12::Abi, A13::Abi, A14::Abi, A15::Abi, A16::Abi): HostAbi, 

type ResultAbi = (A1::Abi, A2::Abi, A3::Abi, A4::Abi, A5::Abi, A6::Abi, A7::Abi, A8::Abi, A9::Abi, A10::Abi, A11::Abi, A12::Abi, A13::Abi, A14::Abi, A15::Abi, A16::Abi)

unsafe fn from_abi(store: &mut StoreOpaque, abi: Self::ResultAbi) -> Self

Implementors

impl<T: WasmTy> WasmResults for T where
    (T::Abi,): HostAbi, 

type ResultAbi = <(T,) as WasmResults>::ResultAbi