pub struct Inner<T: PassByInner<Inner = I>, I: RIType>(_);
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,

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

const: unstable · source§

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

Mutably borrows from an owned value. Read more
§

impl<T> Downcast for Twhere T: Any,

§

fn into_any(self: Box<T, Global>) -> Box<dyn Any + 'static, Global>

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.
§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any + 'static>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
§

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
§

impl<T> DowncastSync for Twhere T: Any + Send + Sync,

§

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Send + Sync + 'static>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait.
source§

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T> Instrument for T

source§

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

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

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

const: unstable · 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.
const: unstable · 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.
const: unstable · 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

source§

impl<T> WithSubscriber for T

source§

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
source§

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,