Trait munge::Destructure

pub unsafe trait Destructure: Sized {
    type Underlying: ?Sized;
    type Destructuring: Destructuring;

    // Required method
    fn underlying(&mut self) -> *mut Self::Underlying;
}

A type that can be destructured into its constituent parts.

See the crate docs for an example of implementing Destructure and Restructure.

Safety

• Destructuring must reflect the type of destructuring allowed for the type:
  • Borrow if the type is restructured by creating disjoint borrows of the fields of Underlying.
  • Move if the type may be restructured by moving the fields out of the destructured Underlying.
• underlying must return a pointer that is non-null, properly aligned, and valid for reads.

Required Associated Types

type Underlying: ?Sized

The underlying type that is destructured.

type Destructuring: Destructuring

The type of destructuring to perform.

Required Methods

fn underlying(&mut self) -> *mut Self::Underlying

Returns a mutable pointer to the underlying type.

Implementations on Foreign Types

impl<T> Destructure for ManuallyDrop<T>

type Underlying = T

type Destructuring = Move

fn underlying(&mut self) -> *mut Self::Underlying

impl<T> Destructure for Cell<T>

type Underlying = T

type Destructuring = Move

fn underlying(&mut self) -> *mut Self::Underlying

impl<'a, T> Destructure for &'a mut MaybeUninit<T>

type Underlying = T

type Destructuring = Borrow

fn underlying(&mut self) -> *mut Self::Underlying

impl<'a, T: ?Sized> Destructure for &'a UnsafeCell<T>

type Underlying = T

type Destructuring = Borrow

fn underlying(&mut self) -> *mut Self::Underlying

impl<'a, T> Destructure for &'a MaybeUninit<T>

type Underlying = T

type Destructuring = Borrow

fn underlying(&mut self) -> *mut Self::Underlying

impl<'a, T: ?Sized> Destructure for &'a Cell<T>

type Underlying = T

type Destructuring = Borrow

fn underlying(&mut self) -> *mut Self::Underlying

impl<'a, T: ?Sized> Destructure for &'a mut ManuallyDrop<T>

type Underlying = T

type Destructuring = Borrow

fn underlying(&mut self) -> *mut Self::Underlying

impl<'a, T: ?Sized> Destructure for &'a mut UnsafeCell<T>

type Underlying = T

type Destructuring = Borrow

fn underlying(&mut self) -> *mut Self::Underlying

impl<T> Destructure for MaybeUninit<T>

type Underlying = T

type Destructuring = Move

fn underlying(&mut self) -> *mut Self::Underlying

impl<T> Destructure for UnsafeCell<T>

type Underlying = T

type Destructuring = Move

fn underlying(&mut self) -> *mut Self::Underlying

impl<'a, T: ?Sized> Destructure for &'a ManuallyDrop<T>

type Underlying = T

type Destructuring = Borrow

fn underlying(&mut self) -> *mut Self::Underlying

impl<'a, T: ?Sized> Destructure for &'a mut Cell<T>

type Underlying = T

type Destructuring = Borrow

fn underlying(&mut self) -> *mut Self::Underlying

Implementors