Trait wiggle::wasmtime_crate::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<A1, A2> WasmParams for (A1, A2) where
    A1: WasmTy,
    A2: WasmTy, 

type Abi = (<A1 as WasmTy>::Abi, <A2 as WasmTy>::Abi)

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

fn externrefs_count(&self) -> usize

fn into_abi(
    self,
    _store: &mut StoreOpaque
) -> Option<<(A1, A2) as WasmParams>::Abi>

unsafe fn invoke<R>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMOpaqueContext,
    vmctx2: *mut VMContext,
    abi: <(A1, A2) as WasmParams>::Abi
) -> <R as WasmResults>::ResultAbi where
    R: WasmResults, 

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

type Abi = (<A1 as WasmTy>::Abi, <A2 as WasmTy>::Abi, <A3 as WasmTy>::Abi, <A4 as WasmTy>::Abi, <A5 as WasmTy>::Abi)

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

fn externrefs_count(&self) -> usize

fn into_abi(
    self,
    _store: &mut StoreOpaque
) -> Option<<(A1, A2, A3, A4, A5) as WasmParams>::Abi>

unsafe fn invoke<R>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMOpaqueContext,
    vmctx2: *mut VMContext,
    abi: <(A1, A2, A3, A4, A5) as WasmParams>::Abi
) -> <R as WasmResults>::ResultAbi where
    R: WasmResults, 

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

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

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

fn externrefs_count(&self) -> usize

fn into_abi(
    self,
    _store: &mut StoreOpaque
) -> Option<<(A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13) as WasmParams>::Abi>

unsafe fn invoke<R>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMOpaqueContext,
    vmctx2: *mut VMContext,
    abi: <(A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13) as WasmParams>::Abi
) -> <R as WasmResults>::ResultAbi where
    R: WasmResults, 

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

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

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

fn externrefs_count(&self) -> usize

fn into_abi(
    self,
    _store: &mut StoreOpaque
) -> Option<<(A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14) as WasmParams>::Abi>

unsafe fn invoke<R>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMOpaqueContext,
    vmctx2: *mut VMContext,
    abi: <(A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14) as WasmParams>::Abi
) -> <R as WasmResults>::ResultAbi where
    R: WasmResults, 

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

type Abi = (<A1 as WasmTy>::Abi, <A2 as WasmTy>::Abi, <A3 as WasmTy>::Abi, <A4 as WasmTy>::Abi)

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

fn externrefs_count(&self) -> usize

fn into_abi(
    self,
    _store: &mut StoreOpaque
) -> Option<<(A1, A2, A3, A4) as WasmParams>::Abi>

unsafe fn invoke<R>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMOpaqueContext,
    vmctx2: *mut VMContext,
    abi: <(A1, A2, A3, A4) as WasmParams>::Abi
) -> <R as WasmResults>::ResultAbi where
    R: WasmResults, 

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

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

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

fn externrefs_count(&self) -> usize

fn into_abi(
    self,
    _store: &mut StoreOpaque
) -> Option<<(A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12) as WasmParams>::Abi>

unsafe fn invoke<R>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMOpaqueContext,
    vmctx2: *mut VMContext,
    abi: <(A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12) as WasmParams>::Abi
) -> <R as WasmResults>::ResultAbi where
    R: WasmResults, 

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

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

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

fn externrefs_count(&self) -> usize

fn into_abi(
    self,
    _store: &mut StoreOpaque
) -> Option<<(A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15) as WasmParams>::Abi>

unsafe fn invoke<R>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMOpaqueContext,
    vmctx2: *mut VMContext,
    abi: <(A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15) as WasmParams>::Abi
) -> <R as WasmResults>::ResultAbi where
    R: WasmResults, 

impl WasmParams for ()

type Abi = ()

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

fn externrefs_count(&self) -> usize

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

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

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

type Abi = (<A1 as WasmTy>::Abi,)

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

fn externrefs_count(&self) -> usize

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

unsafe fn invoke<R>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMOpaqueContext,
    vmctx2: *mut VMContext,
    abi: <(A1,) as WasmParams>::Abi
) -> <R as WasmResults>::ResultAbi where
    R: WasmResults, 

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

type Abi = (<A1 as WasmTy>::Abi, <A2 as WasmTy>::Abi, <A3 as WasmTy>::Abi, <A4 as WasmTy>::Abi, <A5 as WasmTy>::Abi, <A6 as WasmTy>::Abi, <A7 as WasmTy>::Abi, <A8 as WasmTy>::Abi)

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

fn externrefs_count(&self) -> usize

fn into_abi(
    self,
    _store: &mut StoreOpaque
) -> Option<<(A1, A2, A3, A4, A5, A6, A7, A8) as WasmParams>::Abi>

unsafe fn invoke<R>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMOpaqueContext,
    vmctx2: *mut VMContext,
    abi: <(A1, A2, A3, A4, A5, A6, A7, A8) as WasmParams>::Abi
) -> <R as WasmResults>::ResultAbi where
    R: WasmResults, 

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

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

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

fn externrefs_count(&self) -> usize

fn into_abi(
    self,
    _store: &mut StoreOpaque
) -> Option<<(A1, A2, A3, A4, A5, A6, A7, A8, A9, A10) as WasmParams>::Abi>

unsafe fn invoke<R>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMOpaqueContext,
    vmctx2: *mut VMContext,
    abi: <(A1, A2, A3, A4, A5, A6, A7, A8, A9, A10) as WasmParams>::Abi
) -> <R as WasmResults>::ResultAbi where
    R: WasmResults, 

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

type Abi = (<A1 as WasmTy>::Abi, <A2 as WasmTy>::Abi, <A3 as WasmTy>::Abi, <A4 as WasmTy>::Abi, <A5 as WasmTy>::Abi, <A6 as WasmTy>::Abi, <A7 as WasmTy>::Abi)

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

fn externrefs_count(&self) -> usize

fn into_abi(
    self,
    _store: &mut StoreOpaque
) -> Option<<(A1, A2, A3, A4, A5, A6, A7) as WasmParams>::Abi>

unsafe fn invoke<R>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMOpaqueContext,
    vmctx2: *mut VMContext,
    abi: <(A1, A2, A3, A4, A5, A6, A7) as WasmParams>::Abi
) -> <R as WasmResults>::ResultAbi where
    R: WasmResults, 

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

type Abi = (<A1 as WasmTy>::Abi, <A2 as WasmTy>::Abi, <A3 as WasmTy>::Abi, <A4 as WasmTy>::Abi, <A5 as WasmTy>::Abi, <A6 as WasmTy>::Abi)

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

fn externrefs_count(&self) -> usize

fn into_abi(
    self,
    _store: &mut StoreOpaque
) -> Option<<(A1, A2, A3, A4, A5, A6) as WasmParams>::Abi>

unsafe fn invoke<R>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMOpaqueContext,
    vmctx2: *mut VMContext,
    abi: <(A1, A2, A3, A4, A5, A6) as WasmParams>::Abi
) -> <R as WasmResults>::ResultAbi where
    R: WasmResults, 

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

type Abi = (<A1 as WasmTy>::Abi, <A2 as WasmTy>::Abi, <A3 as WasmTy>::Abi)

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

fn externrefs_count(&self) -> usize

fn into_abi(
    self,
    _store: &mut StoreOpaque
) -> Option<<(A1, A2, A3) as WasmParams>::Abi>

unsafe fn invoke<R>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMOpaqueContext,
    vmctx2: *mut VMContext,
    abi: <(A1, A2, A3) as WasmParams>::Abi
) -> <R as WasmResults>::ResultAbi where
    R: WasmResults, 

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

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

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

fn externrefs_count(&self) -> usize

fn into_abi(
    self,
    _store: &mut StoreOpaque
) -> Option<<(A1, A2, A3, A4, A5, A6, A7, A8, A9) as WasmParams>::Abi>

unsafe fn invoke<R>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMOpaqueContext,
    vmctx2: *mut VMContext,
    abi: <(A1, A2, A3, A4, A5, A6, A7, A8, A9) as WasmParams>::Abi
) -> <R as WasmResults>::ResultAbi where
    R: WasmResults, 

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

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

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

fn externrefs_count(&self) -> usize

fn into_abi(
    self,
    _store: &mut StoreOpaque
) -> Option<<(A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16) as WasmParams>::Abi>

unsafe fn invoke<R>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMOpaqueContext,
    vmctx2: *mut VMContext,
    abi: <(A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16) as WasmParams>::Abi
) -> <R as WasmResults>::ResultAbi where
    R: WasmResults, 

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

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

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

fn externrefs_count(&self) -> usize

fn into_abi(
    self,
    _store: &mut StoreOpaque
) -> Option<<(A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11) as WasmParams>::Abi>

unsafe fn invoke<R>(
    func: *const VMFunctionBody,
    vmctx1: *mut VMOpaqueContext,
    vmctx2: *mut VMContext,
    abi: <(A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11) as WasmParams>::Abi
) -> <R as WasmResults>::ResultAbi where
    R: WasmResults, 

Implementors

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

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