Trait Access 

pub trait Access<T>: InferPresence<T> {
    type RemainderFrom<Source: Access<T>>: Access<T>;

    const IS_ABSENT: bool;

    // Required methods
    fn get(&self) -> Option<&T>;
    fn get_mut(&mut self) -> Option<&mut T>;
    fn into_option(self) -> Option<T>;
    fn from_value(value: T) -> (Self, Self::RemainderFrom<T>)
       where Self: Sized;
    fn try_from_option(
        value: Option<T>,
    ) -> Result<(Self, Self::RemainderFrom<Option<T>>), Option<T>>
       where Self: Sized;
}

Uniform field access for Present, Optional, or Absent.

Required Associated Constants

const IS_ABSENT: bool

Compile-time constant indicating if this field is absent.

Required Associated Types

type RemainderFrom<Source: Access<T>>: Access<T>

Remainder type when extracting Self from Source.

Required Methods

fn get(&self) -> Option<&T>

Get field reference if present.

fn get_mut(&mut self) -> Option<&mut T>

Get mutable field reference if present.

fn into_option(self) -> Option<T>

Consume and convert to Option.

fn from_value(value: T) -> (Self, Self::RemainderFrom<T>)

where Self: Sized,

Construct from a value.

fn try_from_option( value: Option<T>, ) -> Result<(Self, Self::RemainderFrom<Option<T>>), Option<T>>

where Self: Sized,

Try to construct from an option.

Errors

Returns Err with the original Option<T> if the conversion cannot be performed.

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<T> Access<T> for Option<T>

const IS_ABSENT: bool = false

type RemainderFrom<Source: Access<T>> = PhantomData<T>

fn get(&self) -> Option<&T>

fn get_mut(&mut self) -> Option<&mut T>

fn into_option(self) -> Option<T>

fn from_value(value: T) -> (Self, Self::RemainderFrom<T>)

fn try_from_option( value: Option<T>, ) -> Result<(Self, Self::RemainderFrom<Option<T>>), Option<T>>

impl<T> Access<T> for PhantomData<T>

const IS_ABSENT: bool = true

type RemainderFrom<Source: Access<T>> = Source

fn get(&self) -> Option<&T>

fn get_mut(&mut self) -> Option<&mut T>

fn into_option(self) -> Option<T>

fn from_value(value: T) -> (Self, Self::RemainderFrom<T>)

fn try_from_option( value: Option<T>, ) -> Result<(Self, Self::RemainderFrom<Option<T>>), Option<T>>

Implementors

impl<T: Sized> Access<T> for T

const IS_ABSENT: bool = false

type RemainderFrom<Source: Access<T>> = PhantomData<T>