pub struct Inner<T: PassByInner<Inner = I>, I: RIType>(/* private fields */);
Expand description

The implementation of the pass by inner type strategy. The type that uses this strategy will be passed between wasm and the host by using the wrapped inner type. So, this strategy is only usable by newtype structs.

Use this type as associated type for PassBy to implement this strategy for a type. Besides that the PassByInner trait need to be implemented as well.

This type expects the type that wants to use this strategy as generic parameter T and the inner type as generic parameter I.

PassByInner is a derive macro to implement this strategy.

Example

struct Test([u8; 32]);

impl PassBy for Test {
    type PassBy = Inner<Self, [u8; 32]>;
}

impl PassByInner for Test {
    type Inner = [u8; 32];

    fn into_inner(self) -> [u8; 32] {
        self.0
    }
    fn inner(&self) -> &[u8; 32] {
        &self.0
    }
    fn from_inner(inner: [u8; 32]) -> Self {
        Self(inner)
    }
}

Trait Implementations§

source§

impl<T: PassByInner<Inner = I>, I> PassByImpl<T> for Inner<T, I>where I: IntoFFIValue + FromFFIValue<SelfInstance = I> + RIType,

source§

fn into_ffi_value( instance: T, context: &mut dyn FunctionContext ) -> Result<Self::FFIType>

Convert the given instance to the ffi value. Read more
source§

fn from_ffi_value( context: &mut dyn FunctionContext, arg: Self::FFIType ) -> Result<T>

Create T from the given ffi value. Read more
source§

impl<T: PassByInner<Inner = I>, I: RIType> RIType for Inner<T, I>

The type is passed as the inner type.

§

type FFIType = <I as RIType>::FFIType

The ffi type that is used to represent Self.

Auto Trait Implementations§

§

impl<T, I> RefUnwindSafe for Inner<T, I>where I: RefUnwindSafe, T: RefUnwindSafe,

§

impl<T, I> Send for Inner<T, I>where I: Send, T: Send,

§

impl<T, I> Sync for Inner<T, I>where I: Sync, T: Sync,

§

impl<T, I> Unpin for Inner<T, I>where I: Unpin, T: Unpin,

§

impl<T, I> UnwindSafe for Inner<T, I>where I: UnwindSafe, T: UnwindSafe,

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more
§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for Twhere U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

§

fn vzip(self) -> V

§

impl<T> WithSubscriber for T

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more
source§

impl<T> MaybeRefUnwindSafe for Twhere T: RefUnwindSafe,