Trait ValueTypeMarker

pub trait ValueTypeMarker: TypeMarker {
    type Borrowed<'a>;

    // Required method
    fn borrow(value: &Self::Owned) -> Self::Borrowed<'_>;
}

A FIDL value type marker.

Value types are guaranteed to never contain handles. As a result, they can be encoded by immutable reference (or by value for Copy types).

Required Associated Types

type Borrowed<'a>

The Rust type to use for encoding. This is a particular Encode<Self> type cheaply obtainable from &Self::Owned. There are three cases:

• Special cases such as &[T] for vectors.
• For primitives, bits, and enums, it is Owned.
• Otherwise, it is &Owned.

Required Methods

fn borrow(value: &Self::Owned) -> Self::Borrowed<'_>

Cheaply converts from &Self::Owned to Self::Borrowed.

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 ValueTypeMarker for bool

type Borrowed<'a> = bool

fn borrow(value: &Self::Owned) -> Self::Borrowed<'_>

impl ValueTypeMarker for f32

type Borrowed<'a> = f32

fn borrow(value: &Self::Owned) -> Self::Borrowed<'_>

impl ValueTypeMarker for f64

type Borrowed<'a> = f64

fn borrow(value: &Self::Owned) -> Self::Borrowed<'_>

impl ValueTypeMarker for i8

type Borrowed<'a> = i8

fn borrow(value: &Self::Owned) -> Self::Borrowed<'_>

impl ValueTypeMarker for i16

type Borrowed<'a> = i16

fn borrow(value: &Self::Owned) -> Self::Borrowed<'_>

impl ValueTypeMarker for i32

type Borrowed<'a> = i32

fn borrow(value: &Self::Owned) -> Self::Borrowed<'_>

impl ValueTypeMarker for i64

type Borrowed<'a> = i64

fn borrow(value: &Self::Owned) -> Self::Borrowed<'_>

impl ValueTypeMarker for u8

type Borrowed<'a> = u8

fn borrow(value: &Self::Owned) -> Self::Borrowed<'_>

impl ValueTypeMarker for u16

type Borrowed<'a> = u16

fn borrow(value: &Self::Owned) -> Self::Borrowed<'_>

impl ValueTypeMarker for u32

type Borrowed<'a> = u32

fn borrow(value: &Self::Owned) -> Self::Borrowed<'_>

impl ValueTypeMarker for u64

type Borrowed<'a> = u64

fn borrow(value: &Self::Owned) -> Self::Borrowed<'_>

Implementors

impl ValueTypeMarker for FrameworkErr

type Borrowed<'a> = FrameworkErr

impl ValueTypeMarker for ObjectType

type Borrowed<'a> = ObjectType

impl ValueTypeMarker for Rights

type Borrowed<'a> = Rights

impl ValueTypeMarker for WireMetadata

type Borrowed<'a> = &'a WireMetadata

impl ValueTypeMarker for Ambiguous1

type Borrowed<'a> = AmbiguousNever

impl ValueTypeMarker for Ambiguous2

type Borrowed<'a> = AmbiguousNever

impl ValueTypeMarker for EmptyPayload

type Borrowed<'a> = ()

impl ValueTypeMarker for EmptyStruct

type Borrowed<'a> = ()

impl ValueTypeMarker for EpitaphBody

type Borrowed<'a> = &'a EpitaphBody

impl ValueTypeMarker for TransactionHeader

type Borrowed<'a> = &'a TransactionHeader

impl<T: Timeline + Copy + 'static, U: Copy + 'static> ValueTypeMarker for Instant<T, U>

type Borrowed<'a> = Instant<T, U>

impl<T: ValueTypeMarker> ValueTypeMarker for Boxed<T>

type Borrowed<'a> = Option<<T as ValueTypeMarker>::Borrowed<'a>>

impl<T: ValueTypeMarker> ValueTypeMarker for Optional<T>

type Borrowed<'a> = Option<<T as ValueTypeMarker>::Borrowed<'a>>

impl<T: ValueTypeMarker> ValueTypeMarker for OptionalUnion<T>

type Borrowed<'a> = Option<<T as ValueTypeMarker>::Borrowed<'a>>

impl<T: ValueTypeMarker, const N: usize> ValueTypeMarker for Array<T, N>

type Borrowed<'a> = &'a [<T as TypeMarker>::Owned; N]

impl<T: ValueTypeMarker, const N: usize> ValueTypeMarker for Vector<T, N>

type Borrowed<'a> = &'a [<T as TypeMarker>::Owned]

impl<const N: usize> ValueTypeMarker for BoundedString<N>

type Borrowed<'a> = &'a str