Trait wasmtime::WasmParams

pub unsafe trait WasmParams: Send { }

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

This is implemented for bare types that can be passed to wasm as well as tuples of those types.

Implementations on Foreign Types

impl WasmParams for ()

type Abi = ()

fn typecheck(params: impl ExactSizeIterator<Item = ValType>) -> Result<()>

fn externrefs_count(&self) -> usize

fn into_abi(self, _store: &mut StoreOpaque) -> Option<Self::Abi>

unsafe fn invoke<R: WasmResults>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMContext,
    vmctx2: *mut VMContext,
    abi: Self::Abi
) -> R::ResultAbi

impl<A1: WasmTy> WasmParams for (A1,)

type Abi = (A1::Abi,)

fn typecheck(params: impl ExactSizeIterator<Item = ValType>) -> Result<()>

fn externrefs_count(&self) -> usize

fn into_abi(self, _store: &mut StoreOpaque) -> Option<Self::Abi>

unsafe fn invoke<R: WasmResults>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMContext,
    vmctx2: *mut VMContext,
    abi: Self::Abi
) -> R::ResultAbi

impl<A1: WasmTy, A2: WasmTy> WasmParams for (A1, A2)

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

fn typecheck(params: impl ExactSizeIterator<Item = ValType>) -> Result<()>

fn externrefs_count(&self) -> usize

fn into_abi(self, _store: &mut StoreOpaque) -> Option<Self::Abi>

unsafe fn invoke<R: WasmResults>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMContext,
    vmctx2: *mut VMContext,
    abi: Self::Abi
) -> R::ResultAbi

impl<A1: WasmTy, A2: WasmTy, A3: WasmTy> WasmParams for (A1, A2, A3)

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

fn typecheck(params: impl ExactSizeIterator<Item = ValType>) -> Result<()>

fn externrefs_count(&self) -> usize

fn into_abi(self, _store: &mut StoreOpaque) -> Option<Self::Abi>

unsafe fn invoke<R: WasmResults>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMContext,
    vmctx2: *mut VMContext,
    abi: Self::Abi
) -> R::ResultAbi

impl<A1: WasmTy, A2: WasmTy, A3: WasmTy, A4: WasmTy> WasmParams for (A1, A2, A3, A4)

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

fn typecheck(params: impl ExactSizeIterator<Item = ValType>) -> Result<()>

fn externrefs_count(&self) -> usize

fn into_abi(self, _store: &mut StoreOpaque) -> Option<Self::Abi>

unsafe fn invoke<R: WasmResults>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMContext,
    vmctx2: *mut VMContext,
    abi: Self::Abi
) -> R::ResultAbi

impl<A1: WasmTy, A2: WasmTy, A3: WasmTy, A4: WasmTy, A5: WasmTy> WasmParams for (A1, A2, A3, A4, A5)

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

fn typecheck(params: impl ExactSizeIterator<Item = ValType>) -> Result<()>

fn externrefs_count(&self) -> usize

fn into_abi(self, _store: &mut StoreOpaque) -> Option<Self::Abi>

unsafe fn invoke<R: WasmResults>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMContext,
    vmctx2: *mut VMContext,
    abi: Self::Abi
) -> R::ResultAbi

impl<A1: WasmTy, A2: WasmTy, A3: WasmTy, A4: WasmTy, A5: WasmTy, A6: WasmTy> WasmParams for (A1, A2, A3, A4, A5, A6)

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

fn typecheck(params: impl ExactSizeIterator<Item = ValType>) -> Result<()>

fn externrefs_count(&self) -> usize

fn into_abi(self, _store: &mut StoreOpaque) -> Option<Self::Abi>

unsafe fn invoke<R: WasmResults>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMContext,
    vmctx2: *mut VMContext,
    abi: Self::Abi
) -> R::ResultAbi

impl<A1: WasmTy, A2: WasmTy, A3: WasmTy, A4: WasmTy, A5: WasmTy, A6: WasmTy, A7: WasmTy> WasmParams for (A1, A2, A3, A4, A5, A6, A7)

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

fn typecheck(params: impl ExactSizeIterator<Item = ValType>) -> Result<()>

fn externrefs_count(&self) -> usize

fn into_abi(self, _store: &mut StoreOpaque) -> Option<Self::Abi>

unsafe fn invoke<R: WasmResults>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMContext,
    vmctx2: *mut VMContext,
    abi: Self::Abi
) -> R::ResultAbi

impl<A1: WasmTy, A2: WasmTy, A3: WasmTy, A4: WasmTy, A5: WasmTy, A6: WasmTy, A7: WasmTy, A8: WasmTy> WasmParams for (A1, A2, A3, A4, A5, A6, A7, A8)

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

fn typecheck(params: impl ExactSizeIterator<Item = ValType>) -> Result<()>

fn externrefs_count(&self) -> usize

fn into_abi(self, _store: &mut StoreOpaque) -> Option<Self::Abi>

unsafe fn invoke<R: WasmResults>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMContext,
    vmctx2: *mut VMContext,
    abi: Self::Abi
) -> R::ResultAbi

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

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

fn typecheck(params: impl ExactSizeIterator<Item = ValType>) -> Result<()>

fn externrefs_count(&self) -> usize

fn into_abi(self, _store: &mut StoreOpaque) -> Option<Self::Abi>

unsafe fn invoke<R: WasmResults>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMContext,
    vmctx2: *mut VMContext,
    abi: Self::Abi
) -> R::ResultAbi

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

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

fn typecheck(params: impl ExactSizeIterator<Item = ValType>) -> Result<()>

fn externrefs_count(&self) -> usize

fn into_abi(self, _store: &mut StoreOpaque) -> Option<Self::Abi>

unsafe fn invoke<R: WasmResults>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMContext,
    vmctx2: *mut VMContext,
    abi: Self::Abi
) -> R::ResultAbi

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

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

fn typecheck(params: impl ExactSizeIterator<Item = ValType>) -> Result<()>

fn externrefs_count(&self) -> usize

fn into_abi(self, _store: &mut StoreOpaque) -> Option<Self::Abi>

unsafe fn invoke<R: WasmResults>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMContext,
    vmctx2: *mut VMContext,
    abi: Self::Abi
) -> R::ResultAbi

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> WasmParams for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12)

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

fn typecheck(params: impl ExactSizeIterator<Item = ValType>) -> Result<()>

fn externrefs_count(&self) -> usize

fn into_abi(self, _store: &mut StoreOpaque) -> Option<Self::Abi>

unsafe fn invoke<R: WasmResults>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMContext,
    vmctx2: *mut VMContext,
    abi: Self::Abi
) -> R::ResultAbi

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> WasmParams for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13)

type Abi = (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)

fn typecheck(params: impl ExactSizeIterator<Item = ValType>) -> Result<()>

fn externrefs_count(&self) -> usize

fn into_abi(self, _store: &mut StoreOpaque) -> Option<Self::Abi>

unsafe fn invoke<R: WasmResults>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMContext,
    vmctx2: *mut VMContext,
    abi: Self::Abi
) -> R::ResultAbi

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> WasmParams for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14)

type Abi = (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)

fn typecheck(params: impl ExactSizeIterator<Item = ValType>) -> Result<()>

fn externrefs_count(&self) -> usize

fn into_abi(self, _store: &mut StoreOpaque) -> Option<Self::Abi>

unsafe fn invoke<R: WasmResults>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMContext,
    vmctx2: *mut VMContext,
    abi: Self::Abi
) -> R::ResultAbi

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> WasmParams for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15)

type Abi = (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)

fn typecheck(params: impl ExactSizeIterator<Item = ValType>) -> Result<()>

fn externrefs_count(&self) -> usize

fn into_abi(self, _store: &mut StoreOpaque) -> Option<Self::Abi>

unsafe fn invoke<R: WasmResults>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMContext,
    vmctx2: *mut VMContext,
    abi: Self::Abi
) -> R::ResultAbi

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> WasmParams for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16)

type Abi = (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)

fn typecheck(params: impl ExactSizeIterator<Item = ValType>) -> Result<()>

fn externrefs_count(&self) -> usize

fn into_abi(self, _store: &mut StoreOpaque) -> Option<Self::Abi>

unsafe fn invoke<R: WasmResults>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMContext,
    vmctx2: *mut VMContext,
    abi: Self::Abi
) -> R::ResultAbi

Implementors

impl<T> WasmParams for T where
    T: WasmTy, 

type Abi = <(T,) as WasmParams>::Abi