Skip to main content

UnchangedOr

Struct UnchangedOr 

Source
pub struct UnchangedOr<T: ContainerElement = Any> { /* private fields */ }
Expand description

A typed replacement or an Unchanged marker, stored in one FFI Any cell.

T may be an FFI value type or Any. Use Result<UnchangedOr<T>> to propagate errors. Callbacks can return this wrapper, Unchanged, a replacement value, or a Result containing any of these.

Converting this wrapper to Any preserves the marker. Use Self::value_or or Self::value_or_else when an actual value is needed.

Implementations§

Source§

impl<T: ContainerElement> UnchangedOr<T>

Source

pub fn unchanged() -> Self

Keep the original value without borrowing or cloning it.

Source

pub fn changed(value: T) -> Self

Supply an owning replacement value.

Source

pub fn is_unchanged(&self) -> bool

Whether this result asks its caller to keep the original value.

Source

pub fn unchanged_or_same_as(&self, original: &T) -> bool

Whether the result is unchanged or has the original shallow identity.

Source

pub fn into_option(self) -> Option<T>

Move out the replacement, returning None when unchanged.

Source

pub fn value_or(self, original: T) -> T

Move the replacement or the supplied original value out of this result.

Source

pub fn value_or_else(self, original: impl FnOnce() -> T) -> T

Materialize the original only if this result is unchanged.

Source

pub fn map<U: ContainerElement>( self, convert: impl FnOnce(T) -> U, ) -> UnchangedOr<U>

Convert only the replacement, preserving an unchanged marker.

Source

pub fn try_map<U: ContainerElement, E>( self, convert: impl FnOnce(T) -> Result<U, E>, ) -> Result<UnchangedOr<U>, E>

Fallibly convert only the replacement, propagating its error unchanged.

Source

pub fn try_cast<U: ContainerElement>(self) -> Result<UnchangedOr<U>>

Check a replacement’s FFI type without cloning it.

An unchanged result is compatible with every replacement type. Erased and narrowing conversions retain the strict type check used by Any::try_as. For a known typed conversion, use map(Into::into).

Trait Implementations§

Source§

impl<T: ContainerElement> AnyCompatible for UnchangedOr<T>

Source§

unsafe fn copy_to_any_view(src: &Self, data: &mut TVMFFIAny)

the value to copy to TVMFFIAny
Source§

unsafe fn move_to_any(src: Self, data: &mut TVMFFIAny)

consume the value to move to Any
Source§

unsafe fn check_any_strict(data: &TVMFFIAny) -> bool

Source§

unsafe fn copy_from_any_view_after_check(data: &TVMFFIAny) -> Self

Copy value from TVMFFIAny after checking caller must ensure that the value is compatible with the type
Source§

unsafe fn move_from_any_after_check(data: &mut TVMFFIAny) -> Self

the value to move from TVMFFIAny NOTE: pay very careful attention to avoid memory leak! Read more
Source§

unsafe fn try_cast_from_any_view(data: &TVMFFIAny) -> Result<Self, ()>

try to cast the value from AnyView
Source§

fn type_str() -> String

the type string of the type
Source§

fn get_mismatch_type_info(data: &TVMFFIAny) -> String

Get the type key of a type when TryCastFromAnyView fails.
Source§

fn to_any(&self) -> Any

Borrow self into an owned Any, increfing object-backed values. Read more
Source§

impl<T: ContainerElement> Clone for UnchangedOr<T>

Source§

fn clone(&self) -> Self

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl<T: ContainerElement> TryFrom<Any> for UnchangedOr<T>

Source§

type Error = Error

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

fn try_from(value: Any) -> Result<Self>

Performs the conversion.
Source§

impl<'a, T: ContainerElement> TryFrom<AnyView<'a>> for UnchangedOr<T>

Source§

type Error = Error

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

fn try_from(value: AnyView<'a>) -> Result<Self>

Performs the conversion.

Auto Trait Implementations§

§

impl<T = Any> !Send for UnchangedOr<T>

§

impl<T = Any> !Sync for UnchangedOr<T>

§

impl<T> Freeze for UnchangedOr<T>

§

impl<T> RefUnwindSafe for UnchangedOr<T>
where T: RefUnwindSafe,

§

impl<T> Unpin for UnchangedOr<T>
where T: Unpin,

§

impl<T> UnsafeUnpin for UnchangedOr<T>

§

impl<T> UnwindSafe for UnchangedOr<T>
where T: UnwindSafe,

Blanket Implementations§

Source§

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

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

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

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

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

Source§

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

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where 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> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

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

Source§

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 T
where U: TryFrom<T>,

Source§

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.