Trait linera_witty::wasmer::WasmerParameters

pub trait WasmerParameters: FlatLayout {
    type ImportParameters;
    type ExportParameters;

    // Required methods
    fn into_wasmer(self) -> Self::ImportParameters;
    fn from_wasmer(parameters: Self::ExportParameters) -> Self;
}

Conversions between flat layouts and Wasmer parameter types.

Required Associated Types

type ImportParameters

The type Wasmer uses to represent the parameters in a function imported from a guest.

type ExportParameters

The type Wasmer uses to represent the parameters in a function exported from a host.

Required Methods

fn into_wasmer(self) -> Self::ImportParameters

Converts from this flat layout into Wasmer’s representation for functions imported from a guest.

fn from_wasmer(parameters: Self::ExportParameters) -> Self

Converts from Wasmer’s representation for functions exported from the host into this flat layout.

Object Safety

This trait is not object safe.

Implementors

impl WasmerParameters for HNil

type ImportParameters = ()

type ExportParameters = ()

impl<A, B> WasmerParameters for HCons<A, HCons<B, HNil>>

where A: FlatType + FromToNativeWasmType, B: FlatType + FromToNativeWasmType,

type ImportParameters = (A, B)

type ExportParameters = (A, B)

impl<A, B, C> WasmerParameters for HCons<A, HCons<B, HCons<C, HNil>>>

where A: FlatType + FromToNativeWasmType, B: FlatType + FromToNativeWasmType, C: FlatType + FromToNativeWasmType,

type ImportParameters = (A, B, C)

type ExportParameters = (A, B, C)

impl<A, B, C, D> WasmerParameters for HCons<A, HCons<B, HCons<C, HCons<D, HNil>>>>

where A: FlatType + FromToNativeWasmType, B: FlatType + FromToNativeWasmType, C: FlatType + FromToNativeWasmType, D: FlatType + FromToNativeWasmType,

type ImportParameters = (A, B, C, D)

type ExportParameters = (A, B, C, D)

impl<A, B, C, D, E> WasmerParameters for HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HNil>>>>>

where A: FlatType + FromToNativeWasmType, B: FlatType + FromToNativeWasmType, C: FlatType + FromToNativeWasmType, D: FlatType + FromToNativeWasmType, E: FlatType + FromToNativeWasmType,

type ImportParameters = (A, B, C, D, E)

type ExportParameters = (A, B, C, D, E)

impl<A, B, C, D, E, F> WasmerParameters for HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HNil>>>>>>

where A: FlatType + FromToNativeWasmType, B: FlatType + FromToNativeWasmType, C: FlatType + FromToNativeWasmType, D: FlatType + FromToNativeWasmType, E: FlatType + FromToNativeWasmType, F: FlatType + FromToNativeWasmType,

type ImportParameters = (A, B, C, D, E, F)

type ExportParameters = (A, B, C, D, E, F)

impl<A, B, C, D, E, F, G> WasmerParameters for HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HNil>>>>>>>

where A: FlatType + FromToNativeWasmType, B: FlatType + FromToNativeWasmType, C: FlatType + FromToNativeWasmType, D: FlatType + FromToNativeWasmType, E: FlatType + FromToNativeWasmType, F: FlatType + FromToNativeWasmType, G: FlatType + FromToNativeWasmType,

type ImportParameters = (A, B, C, D, E, F, G)

type ExportParameters = (A, B, C, D, E, F, G)

impl<A, B, C, D, E, F, G, H> WasmerParameters for HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HNil>>>>>>>>

where A: FlatType + FromToNativeWasmType, B: FlatType + FromToNativeWasmType, C: FlatType + FromToNativeWasmType, D: FlatType + FromToNativeWasmType, E: FlatType + FromToNativeWasmType, F: FlatType + FromToNativeWasmType, G: FlatType + FromToNativeWasmType, H: FlatType + FromToNativeWasmType,

type ImportParameters = (A, B, C, D, E, F, G, H)

type ExportParameters = (A, B, C, D, E, F, G, H)

impl<A, B, C, D, E, F, G, H, I> WasmerParameters for HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HNil>>>>>>>>>

where A: FlatType + FromToNativeWasmType, B: FlatType + FromToNativeWasmType, C: FlatType + FromToNativeWasmType, D: FlatType + FromToNativeWasmType, E: FlatType + FromToNativeWasmType, F: FlatType + FromToNativeWasmType, G: FlatType + FromToNativeWasmType, H: FlatType + FromToNativeWasmType, I: FlatType + FromToNativeWasmType,

type ImportParameters = (A, B, C, D, E, F, G, H, I)

type ExportParameters = (A, B, C, D, E, F, G, H, I)

impl<A, B, C, D, E, F, G, H, I, J> WasmerParameters for HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HNil>>>>>>>>>>

where A: FlatType + FromToNativeWasmType, B: FlatType + FromToNativeWasmType, C: FlatType + FromToNativeWasmType, D: FlatType + FromToNativeWasmType, E: FlatType + FromToNativeWasmType, F: FlatType + FromToNativeWasmType, G: FlatType + FromToNativeWasmType, H: FlatType + FromToNativeWasmType, I: FlatType + FromToNativeWasmType, J: FlatType + FromToNativeWasmType,

type ImportParameters = (A, B, C, D, E, F, G, H, I, J)

type ExportParameters = (A, B, C, D, E, F, G, H, I, J)

impl<A, B, C, D, E, F, G, H, I, J, K> WasmerParameters for HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HNil>>>>>>>>>>>

where A: FlatType + FromToNativeWasmType, B: FlatType + FromToNativeWasmType, C: FlatType + FromToNativeWasmType, D: FlatType + FromToNativeWasmType, E: FlatType + FromToNativeWasmType, F: FlatType + FromToNativeWasmType, G: FlatType + FromToNativeWasmType, H: FlatType + FromToNativeWasmType, I: FlatType + FromToNativeWasmType, J: FlatType + FromToNativeWasmType, K: FlatType + FromToNativeWasmType,

type ImportParameters = (A, B, C, D, E, F, G, H, I, J, K)

type ExportParameters = (A, B, C, D, E, F, G, H, I, J, K)

impl<A, B, C, D, E, F, G, H, I, J, K, L> WasmerParameters for HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HNil>>>>>>>>>>>>

where A: FlatType + FromToNativeWasmType, B: FlatType + FromToNativeWasmType, C: FlatType + FromToNativeWasmType, D: FlatType + FromToNativeWasmType, E: FlatType + FromToNativeWasmType, F: FlatType + FromToNativeWasmType, G: FlatType + FromToNativeWasmType, H: FlatType + FromToNativeWasmType, I: FlatType + FromToNativeWasmType, J: FlatType + FromToNativeWasmType, K: FlatType + FromToNativeWasmType, L: FlatType + FromToNativeWasmType,

type ImportParameters = (A, B, C, D, E, F, G, H, I, J, K, L)

type ExportParameters = (A, B, C, D, E, F, G, H, I, J, K, L)

impl<A, B, C, D, E, F, G, H, I, J, K, L, M> WasmerParameters for HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HNil>>>>>>>>>>>>>

where A: FlatType + FromToNativeWasmType, B: FlatType + FromToNativeWasmType, C: FlatType + FromToNativeWasmType, D: FlatType + FromToNativeWasmType, E: FlatType + FromToNativeWasmType, F: FlatType + FromToNativeWasmType, G: FlatType + FromToNativeWasmType, H: FlatType + FromToNativeWasmType, I: FlatType + FromToNativeWasmType, J: FlatType + FromToNativeWasmType, K: FlatType + FromToNativeWasmType, L: FlatType + FromToNativeWasmType, M: FlatType + FromToNativeWasmType,

type ImportParameters = (A, B, C, D, E, F, G, H, I, J, K, L, M)

type ExportParameters = (A, B, C, D, E, F, G, H, I, J, K, L, M)

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N> WasmerParameters for HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HNil>>>>>>>>>>>>>>

where A: FlatType + FromToNativeWasmType, B: FlatType + FromToNativeWasmType, C: FlatType + FromToNativeWasmType, D: FlatType + FromToNativeWasmType, E: FlatType + FromToNativeWasmType, F: FlatType + FromToNativeWasmType, G: FlatType + FromToNativeWasmType, H: FlatType + FromToNativeWasmType, I: FlatType + FromToNativeWasmType, J: FlatType + FromToNativeWasmType, K: FlatType + FromToNativeWasmType, L: FlatType + FromToNativeWasmType, M: FlatType + FromToNativeWasmType, N: FlatType + FromToNativeWasmType,

type ImportParameters = (A, B, C, D, E, F, G, H, I, J, K, L, M, N)

type ExportParameters = (A, B, C, D, E, F, G, H, I, J, K, L, M, N)

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O> WasmerParameters for HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HNil>>>>>>>>>>>>>>>

where A: FlatType + FromToNativeWasmType, B: FlatType + FromToNativeWasmType, C: FlatType + FromToNativeWasmType, D: FlatType + FromToNativeWasmType, E: FlatType + FromToNativeWasmType, F: FlatType + FromToNativeWasmType, G: FlatType + FromToNativeWasmType, H: FlatType + FromToNativeWasmType, I: FlatType + FromToNativeWasmType, J: FlatType + FromToNativeWasmType, K: FlatType + FromToNativeWasmType, L: FlatType + FromToNativeWasmType, M: FlatType + FromToNativeWasmType, N: FlatType + FromToNativeWasmType, O: FlatType + FromToNativeWasmType,

type ImportParameters = (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O)

type ExportParameters = (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O)

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P> WasmerParameters for HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HNil>>>>>>>>>>>>>>>>

where A: FlatType + FromToNativeWasmType, B: FlatType + FromToNativeWasmType, C: FlatType + FromToNativeWasmType, D: FlatType + FromToNativeWasmType, E: FlatType + FromToNativeWasmType, F: FlatType + FromToNativeWasmType, G: FlatType + FromToNativeWasmType, H: FlatType + FromToNativeWasmType, I: FlatType + FromToNativeWasmType, J: FlatType + FromToNativeWasmType, K: FlatType + FromToNativeWasmType, L: FlatType + FromToNativeWasmType, M: FlatType + FromToNativeWasmType, N: FlatType + FromToNativeWasmType, O: FlatType + FromToNativeWasmType, P: FlatType + FromToNativeWasmType,

type ImportParameters = (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P)

type ExportParameters = (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P)

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q> WasmerParameters for HCons<A, HCons<B, HCons<C, HCons<D, HCons<E, HCons<F, HCons<G, HCons<H, HCons<I, HCons<J, HCons<K, HCons<L, HCons<M, HCons<N, HCons<O, HCons<P, HCons<Q, HNil>>>>>>>>>>>>>>>>>

where A: FlatType + FromToNativeWasmType, B: FlatType + FromToNativeWasmType, C: FlatType + FromToNativeWasmType, D: FlatType + FromToNativeWasmType, E: FlatType + FromToNativeWasmType, F: FlatType + FromToNativeWasmType, G: FlatType + FromToNativeWasmType, H: FlatType + FromToNativeWasmType, I: FlatType + FromToNativeWasmType, J: FlatType + FromToNativeWasmType, K: FlatType + FromToNativeWasmType, L: FlatType + FromToNativeWasmType, M: FlatType + FromToNativeWasmType, N: FlatType + FromToNativeWasmType, O: FlatType + FromToNativeWasmType, P: FlatType + FromToNativeWasmType, Q: FlatType + FromToNativeWasmType,

type ImportParameters = (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q)

type ExportParameters = (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q)

impl<Parameter> WasmerParameters for HCons<Parameter, HNil>

where Parameter: FlatType + FromToNativeWasmType,

type ImportParameters = Parameter

type ExportParameters = (Parameter,)