Struct ValueVTable

#[non_exhaustive]
#[repr(C)]
pub struct ValueVTable {

    pub type_name: fn(&mut Formatter<'_>, TypeNameOpts) -> Result<(), Error>,
    pub marker_traits: fn() -> MarkerTraits,
    pub drop_in_place: fn() -> Option<for<'mem> unsafe fn(PtrMut<'mem>) -> PtrUninit<'mem>>,
    pub invariants: fn() -> Option<for<'mem> unsafe fn(PtrConst<'mem>) -> bool>,
    pub display: fn() -> Option<for<'mem> unsafe fn(PtrConst<'mem>, &mut Formatter<'_>) -> Result<(), Error>>,
    pub debug: fn() -> Option<for<'mem> unsafe fn(PtrConst<'mem>, &mut Formatter<'_>) -> Result<(), Error>>,
    pub default_in_place: fn() -> Option<for<'mem> unsafe fn(PtrUninit<'mem>) -> PtrMut<'mem>>,
    pub clone_into: fn() -> Option<for<'src, 'dst> unsafe fn(PtrConst<'src>, PtrUninit<'dst>) -> PtrMut<'dst>>,
    pub partial_eq: fn() -> Option<for<'l, 'r> unsafe fn(PtrConst<'l>, PtrConst<'r>) -> bool>,
    pub partial_ord: fn() -> Option<for<'l, 'r> unsafe fn(PtrConst<'l>, PtrConst<'r>) -> Option<Ordering>>,
    pub ord: fn() -> Option<for<'l, 'r> unsafe fn(PtrConst<'l>, PtrConst<'r>) -> Ordering>,
    pub hash: fn() -> Option<for<'mem> unsafe fn(PtrConst<'mem>, PtrMut<'mem>, for<'mem> unsafe fn(PtrMut<'mem>, &[u8]))>,
    pub parse: fn() -> Option<for<'mem> unsafe fn(&str, PtrUninit<'mem>) -> Result<PtrMut<'mem>, ParseError>>,
    pub try_from: fn() -> Option<for<'src, 'mem, 'shape> unsafe fn(PtrConst<'src>, &'shape Shape<'shape>, PtrUninit<'mem>) -> Result<PtrMut<'mem>, TryFromError<'shape>>>,
    pub try_into_inner: fn() -> Option<for<'src, 'dst> unsafe fn(PtrMut<'src>, PtrUninit<'dst>) -> Result<PtrMut<'dst>, TryIntoInnerError>>,
    pub try_borrow_inner: fn() -> Option<for<'src> unsafe fn(PtrConst<'src>) -> Result<PtrConst<'src>, TryBorrowInnerError>>,
}

VTable for common operations that can be performed on any shape

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

type_name: fn(&mut Formatter<'_>, TypeNameOpts) -> Result<(), Error>

cf. TypeNameFn

marker_traits: fn() -> MarkerTraits

Marker traits implemented by the type

drop_in_place: fn() -> Option<for<'mem> unsafe fn(PtrMut<'mem>) -> PtrUninit<'mem>>

cf. DropInPlaceFn — if None, drops without side-effects

invariants: fn() -> Option<for<'mem> unsafe fn(PtrConst<'mem>) -> bool>

cf. InvariantsFn

display: fn() -> Option<for<'mem> unsafe fn(PtrConst<'mem>, &mut Formatter<'_>) -> Result<(), Error>>

cf. DisplayFn

debug: fn() -> Option<for<'mem> unsafe fn(PtrConst<'mem>, &mut Formatter<'_>) -> Result<(), Error>>

cf. DebugFn

default_in_place: fn() -> Option<for<'mem> unsafe fn(PtrUninit<'mem>) -> PtrMut<'mem>>

cf. DefaultInPlaceFn

clone_into: fn() -> Option<for<'src, 'dst> unsafe fn(PtrConst<'src>, PtrUninit<'dst>) -> PtrMut<'dst>>

cf. CloneIntoFn

partial_eq: fn() -> Option<for<'l, 'r> unsafe fn(PtrConst<'l>, PtrConst<'r>) -> bool>

cf. PartialEqFn for equality comparison

partial_ord: fn() -> Option<for<'l, 'r> unsafe fn(PtrConst<'l>, PtrConst<'r>) -> Option<Ordering>>

cf. PartialOrdFn for partial ordering comparison

ord: fn() -> Option<for<'l, 'r> unsafe fn(PtrConst<'l>, PtrConst<'r>) -> Ordering>

cf. CmpFn for total ordering

hash: fn() -> Option<for<'mem> unsafe fn(PtrConst<'mem>, PtrMut<'mem>, for<'mem> unsafe fn(PtrMut<'mem>, &[u8]))>

cf. HashFn

parse: fn() -> Option<for<'mem> unsafe fn(&str, PtrUninit<'mem>) -> Result<PtrMut<'mem>, ParseError>>

cf. ParseFn

try_from: fn() -> Option<for<'src, 'mem, 'shape> unsafe fn(PtrConst<'src>, &'shape Shape<'shape>, PtrUninit<'mem>) -> Result<PtrMut<'mem>, TryFromError<'shape>>>

cf. TryFromFn

This also acts as a “TryFromInner” — you can use it to go:

• String => Utf8PathBuf
• String => Uuid
• T => Option<T>
• T => Arc<T>
• T => NonZero<T>
• etc.

try_into_inner: fn() -> Option<for<'src, 'dst> unsafe fn(PtrMut<'src>, PtrUninit<'dst>) -> Result<PtrMut<'dst>, TryIntoInnerError>>

cf. TryIntoInnerFn

This is used by transparent types to convert the wrapper type into its inner value. Primarily used during serialization.

try_borrow_inner: fn() -> Option<for<'src> unsafe fn(PtrConst<'src>) -> Result<PtrConst<'src>, TryBorrowInnerError>>

cf. TryBorrowInnerFn

This is used by transparent types to efficiently access the inner value without copying.

Implementations

impl ValueVTable

pub fn marker_traits(&self) -> MarkerTraits

Get the marker traits implemented for the type

pub fn is_eq(&self) -> bool

Check if the type implements the Eq marker trait

pub fn is_send(&self) -> bool

Check if the type implements the Send marker trait

pub fn is_sync(&self) -> bool

Check if the type implements the Sync marker trait

pub fn is_copy(&self) -> bool

Check if the type implements the Copy marker trait

pub fn is_unpin(&self) -> bool

Check if the type implements the Unpin marker trait

pub fn is_unwind_safe(&self) -> bool

Check if the type implements the UnwindSafe marker trait

pub fn is_ref_unwind_safe(&self) -> bool

Check if the type implements the RefUnwindSafe marker trait

pub const fn builder<T>() -> ValueVTableBuilder<T>

Creates a new ValueVTableBuilder

pub const fn builder_unsized<T>() -> ValueVTableBuilderUnsized<T>

where T: ?Sized,

Creates a new ValueVTableBuilderUnsized

Trait Implementations

impl Clone for ValueVTable

fn clone(&self) -> ValueVTable

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ValueVTable

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Hash for ValueVTable

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ValueVTable

fn eq(&self, other: &ValueVTable) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for ValueVTable

impl Eq for ValueVTable

impl StructuralPartialEq for ValueVTable