Trait wiggle::wasmtime_crate::WasmParams[−][src]

pub unsafe trait WasmParams: Send { }

Expand description

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, 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
    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,
    A1: WasmTy,

[src]

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)

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

[src]

pub 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>

[src]

pub unsafe fn invoke<R>(
    func: *const VMFunctionBody, 
    vmctx1: *mut VMContext, 
    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,

[src]

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

[src]

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)

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

[src]

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

[src]

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

[src]

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

[src]

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

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

[src]

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

[src]

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

[src]

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

[src]

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)

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

[src]

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

[src]

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

[src]

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
    A2: WasmTy,
    A3: WasmTy,
    A4: WasmTy,
    A5: WasmTy,
    A6: WasmTy,
    A7: WasmTy,
    A8: WasmTy,
    A9: WasmTy,
    A10: WasmTy,
    A11: WasmTy,
    A12: WasmTy,
    A1: WasmTy,

[src]

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)

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

[src]

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

[src]

pub unsafe fn invoke<R>(
    func: *const VMFunctionBody, 
    vmctx1: *mut VMContext, 
    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,

[src]

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

[src]

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

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

[src]

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

[src]

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

[src]

impl WasmParams for ()[src]

type Abi = ()

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

[src]

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

[src]

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

[src]

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

[src]

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)

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

[src]

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

[src]

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

[src]

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

[src]

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

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

[src]

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

[src]

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

[src]

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

[src]

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

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

[src]

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

[src]

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

[src]

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

[src]

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

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

[src]

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

[src]

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

[src]

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
    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,
    A1: WasmTy,

[src]

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)

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

[src]

pub 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>

[src]

pub unsafe fn invoke<R>(
    func: *const VMFunctionBody, 
    vmctx1: *mut VMContext, 
    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,

[src]

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

[src]

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)

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

[src]

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

[src]

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

[src]

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

[src]

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)

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

[src]

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

[src]

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

[src]

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
    A2: WasmTy,
    A3: WasmTy,
    A4: WasmTy,
    A5: WasmTy,
    A6: WasmTy,
    A7: WasmTy,
    A8: WasmTy,
    A9: WasmTy,
    A10: WasmTy,
    A11: WasmTy,
    A12: WasmTy,
    A13: WasmTy,
    A1: WasmTy,

[src]

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)

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

[src]

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

[src]

pub unsafe fn invoke<R>(
    func: *const VMFunctionBody, 
    vmctx1: *mut VMContext, 
    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,

[src]

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
    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,
    A1: WasmTy,

[src]

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)

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

[src]

pub 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>

[src]

pub unsafe fn invoke<R>(
    func: *const VMFunctionBody, 
    vmctx1: *mut VMContext, 
    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,

[src]

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
    A2: WasmTy,
    A3: WasmTy,
    A4: WasmTy,
    A5: WasmTy,
    A6: WasmTy,
    A7: WasmTy,
    A8: WasmTy,
    A9: WasmTy,
    A10: WasmTy,
    A11: WasmTy,
    A1: WasmTy,

[src]

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)

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

[src]

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

[src]

pub unsafe fn invoke<R>(
    func: *const VMFunctionBody, 
    vmctx1: *mut VMContext, 
    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,

[src]

Implementors

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

[src]

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

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

[src]

pub fn into_abi(
    self, 
    store: &mut StoreOpaque<'_>
) -> Option<<T as WasmParams>::Abi>

[src]

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

[src]