Trait MaybeIntoWasmAbi 

pub trait MaybeIntoWasmAbi: IntoWasmAbi {
    type MaybeAbi: WasmAbi;

    // Required methods
    fn into_maybe_abi(self) -> Self::MaybeAbi;
    fn none() -> Self::MaybeAbi;
}

The ABI of Option<Self>.

Option<T> takes its conversion from this trait, so every T implementing it can be wrapped, including under a generic bound such as Option<impl JsNumberOrStringLike>. A type whose own ABI has a spare value for None implements OptionIntoWasmAbi instead and gets this trait from the blanket impl; a type without one, such as i32 or f64, picks a wider MaybeAbi here.

⚠️ Unstable

This is part of the internal convert module, no stability guarantees are provided. Use at your own risk. See its documentation for more details.

Required Associated Types

type MaybeAbi: WasmAbi

The ABI of Option<Self>.

Required Methods

fn into_maybe_abi(self) -> Self::MaybeAbi

Converts a value into the Option<Self> ABI.

fn none() -> Self::MaybeAbi

Returns the ABI value for None, which JS reads as undefined.

It should be guaranteed that into_maybe_abi can never produce this value.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl MaybeIntoWasmAbi for f32

type MaybeAbi = f64

fn into_maybe_abi(self) -> f64

fn none() -> f64

impl MaybeIntoWasmAbi for f64

type MaybeAbi = MaybeAbi<f64>

fn into_maybe_abi(self) -> MaybeAbi<f64>

fn none() -> MaybeAbi<f64>

impl MaybeIntoWasmAbi for i32

type MaybeAbi = f64

fn into_maybe_abi(self) -> f64

fn none() -> f64

impl MaybeIntoWasmAbi for i64

type MaybeAbi = MaybeAbi<i64>

fn into_maybe_abi(self) -> MaybeAbi<i64>

fn none() -> MaybeAbi<i64>

impl MaybeIntoWasmAbi for i128

type MaybeAbi = MaybeAbi<i128>

fn into_maybe_abi(self) -> MaybeAbi<i128>

fn none() -> MaybeAbi<i128>

impl MaybeIntoWasmAbi for isize

type MaybeAbi = f64

fn into_maybe_abi(self) -> f64

fn none() -> f64

impl MaybeIntoWasmAbi for u32

type MaybeAbi = f64

fn into_maybe_abi(self) -> f64

fn none() -> f64

impl MaybeIntoWasmAbi for u64

type MaybeAbi = MaybeAbi<u64>

fn into_maybe_abi(self) -> MaybeAbi<u64>

fn none() -> MaybeAbi<u64>

impl MaybeIntoWasmAbi for u128

type MaybeAbi = MaybeAbi<u128>

fn into_maybe_abi(self) -> MaybeAbi<u128>

fn none() -> MaybeAbi<u128>

impl MaybeIntoWasmAbi for usize

type MaybeAbi = f64

fn into_maybe_abi(self) -> f64

fn none() -> f64

impl<T> MaybeIntoWasmAbi for *const T

type MaybeAbi = f64

fn into_maybe_abi(self) -> f64

fn none() -> f64

impl<T> MaybeIntoWasmAbi for *mut T

type MaybeAbi = f64

fn into_maybe_abi(self) -> f64

fn none() -> f64

Implementors

impl<T: OptionIntoWasmAbi> MaybeIntoWasmAbi for T

A spare value in T’s own ABI is the common case, so OptionIntoWasmAbi supplies the Option<T> ABI for every such type; a type without one implements MaybeIntoWasmAbi itself with a wider MaybeAbi.

type MaybeAbi = <T as IntoWasmAbi>::Abi