Trait RIType

pub trait RIType: Sized {
    type FFIType: IntoValue + TryFromValue + WasmTy;
    type Inner;
}

Something that can be used by the runtime interface as type to communicate between the runtime and the host.

Every type that should be used in a runtime interface function signature needs to implement this trait.

Required Associated Types

type FFIType: IntoValue + TryFromValue + WasmTy

The raw FFI type that is used to pass Self through the host <-> runtime boundary.

type Inner

The inner type without any serialization strategy wrapper.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl RIType for bool

bool is passed as u32.

• 1: true
• 0: false

type FFIType = u32

type Inner = bool

impl RIType for i8

The type is passed directly.

type FFIType = i32

type Inner = i8

impl RIType for i16

The type is passed directly.

type FFIType = i32

type Inner = i16

impl RIType for i32

The type is passed directly.

type FFIType = i32

type Inner = i32

impl RIType for i64

The type is passed directly.

type FFIType = i64

type Inner = i64

impl RIType for u8

The type is passed directly.

type FFIType = u32

type Inner = u8

impl RIType for u16

The type is passed directly.

type FFIType = u32

type Inner = u16

impl RIType for u32

The type is passed directly.

type FFIType = u32

type Inner = u32

impl RIType for u64

The type is passed directly.

type FFIType = u64

type Inner = u64

Implementors

impl<'a, T, const N: usize> RIType for PassPointerAndRead<&'a T, N>

type FFIType = u32

type Inner = &'a T

impl<T> RIType for AllocateAndReturnByCodec<T>

type FFIType = u64

type Inner = T

impl<T> RIType for AllocateAndReturnFatPointer<T>

type FFIType = u64

type Inner = T

impl<T> RIType for PassFatPointerAndDecode<T>

type FFIType = u64

type Inner = T

impl<T> RIType for PassFatPointerAndDecodeSlice<T>

type FFIType = u64

type Inner = T

impl<T> RIType for PassFatPointerAndRead<T>

type FFIType = u64

type Inner = T

impl<T> RIType for PassFatPointerAndReadWrite<T>

type FFIType = u64

type Inner = T

impl<T, U> RIType for PassAs<T, U>

where U: RIType,

type FFIType = <U as RIType>::FFIType

type Inner = T

impl<T, U> RIType for ReturnAs<T, U>

where U: RIType,

type FFIType = <U as RIType>::FFIType

type Inner = T

impl<T, const N: usize> RIType for AllocateAndReturnPointer<T, N>

type FFIType = u32

type Inner = T

impl<T, const N: usize> RIType for PassPointerAndReadCopy<T, N>

type FFIType = u32

type Inner = T

impl<T, const N: usize> RIType for PassPointerAndWrite<T, N>

type FFIType = u32

type Inner = T

impl<T: PointerType> RIType for Pointer<T>

type FFIType = u32

type Inner = Pointer<T>