Trait linera_witty::wasmtime::WasmtimeParameters

pub trait WasmtimeParameters {
    type Parameters: WasmParams;

    // Required methods
    fn into_wasmtime(self) -> Self::Parameters;
    fn from_wasmtime(parameters: Self::Parameters) -> Self;
}

Conversions between flat layouts and Wasmtime parameter types.

Required Associated Types

type Parameters: WasmParams

The type Wasmtime uses to represent the parameters.

Required Methods

fn into_wasmtime(self) -> Self::Parameters

Converts from this flat layout into Wasmtime’s representation.

fn from_wasmtime(parameters: Self::Parameters) -> Self

Converts from Wasmtime’s representation into a flat layout.

Object Safety

This trait is not object safe.

Implementors

impl WasmtimeParameters for HNil

type Parameters = ()

impl<A> WasmtimeParameters for HCons<A, HNil>

where A: FlatType + WasmTy,

type Parameters = (A,)

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

where A: FlatType + WasmTy, B: FlatType + WasmTy,

type Parameters = (A, B)

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

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

type Parameters = (A, B, C)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<A, B, C, D, E, F, G, H, I, J> WasmtimeParameters 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 + WasmTy, B: FlatType + WasmTy, C: FlatType + WasmTy, D: FlatType + WasmTy, E: FlatType + WasmTy, F: FlatType + WasmTy, G: FlatType + WasmTy, H: FlatType + WasmTy, I: FlatType + WasmTy, J: FlatType + WasmTy,

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

impl<A, B, C, D, E, F, G, H, I, J, K> WasmtimeParameters 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 + WasmTy, B: FlatType + WasmTy, C: FlatType + WasmTy, D: FlatType + WasmTy, E: FlatType + WasmTy, F: FlatType + WasmTy, G: FlatType + WasmTy, H: FlatType + WasmTy, I: FlatType + WasmTy, J: FlatType + WasmTy, K: FlatType + WasmTy,

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

impl<A, B, C, D, E, F, G, H, I, J, K, L> WasmtimeParameters 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 + WasmTy, B: FlatType + WasmTy, C: FlatType + WasmTy, D: FlatType + WasmTy, E: FlatType + WasmTy, F: FlatType + WasmTy, G: FlatType + WasmTy, H: FlatType + WasmTy, I: FlatType + WasmTy, J: FlatType + WasmTy, K: FlatType + WasmTy, L: FlatType + WasmTy,

type Parameters = (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> WasmtimeParameters 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 + WasmTy, B: FlatType + WasmTy, C: FlatType + WasmTy, D: FlatType + WasmTy, E: FlatType + WasmTy, F: FlatType + WasmTy, G: FlatType + WasmTy, H: FlatType + WasmTy, I: FlatType + WasmTy, J: FlatType + WasmTy, K: FlatType + WasmTy, L: FlatType + WasmTy, M: FlatType + WasmTy,

type Parameters = (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> WasmtimeParameters 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 + WasmTy, B: FlatType + WasmTy, C: FlatType + WasmTy, D: FlatType + WasmTy, E: FlatType + WasmTy, F: FlatType + WasmTy, G: FlatType + WasmTy, H: FlatType + WasmTy, I: FlatType + WasmTy, J: FlatType + WasmTy, K: FlatType + WasmTy, L: FlatType + WasmTy, M: FlatType + WasmTy, N: FlatType + WasmTy,

type Parameters = (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> WasmtimeParameters 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 + WasmTy, B: FlatType + WasmTy, C: FlatType + WasmTy, D: FlatType + WasmTy, E: FlatType + WasmTy, F: FlatType + WasmTy, G: FlatType + WasmTy, H: FlatType + WasmTy, I: FlatType + WasmTy, J: FlatType + WasmTy, K: FlatType + WasmTy, L: FlatType + WasmTy, M: FlatType + WasmTy, N: FlatType + WasmTy, O: FlatType + WasmTy,

type Parameters = (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> WasmtimeParameters 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 + WasmTy, B: FlatType + WasmTy, C: FlatType + WasmTy, D: FlatType + WasmTy, E: FlatType + WasmTy, F: FlatType + WasmTy, G: FlatType + WasmTy, H: FlatType + WasmTy, I: FlatType + WasmTy, J: FlatType + WasmTy, K: FlatType + WasmTy, L: FlatType + WasmTy, M: FlatType + WasmTy, N: FlatType + WasmTy, O: FlatType + WasmTy, P: FlatType + WasmTy,

type Parameters = (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> WasmtimeParameters 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 + WasmTy, B: FlatType + WasmTy, C: FlatType + WasmTy, D: FlatType + WasmTy, E: FlatType + WasmTy, F: FlatType + WasmTy, G: FlatType + WasmTy, H: FlatType + WasmTy, I: FlatType + WasmTy, J: FlatType + WasmTy, K: FlatType + WasmTy, L: FlatType + WasmTy, M: FlatType + WasmTy, N: FlatType + WasmTy, O: FlatType + WasmTy, P: FlatType + WasmTy, Q: FlatType + WasmTy,

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

impl<A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, Rest> WasmtimeParameters 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, HCons<R, Rest>>>>>>>>>>>>>>>>>>

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

type Parameters = (i32,)