Trait Equivalent 

pub trait Equivalent<T>: Sized {
    // Required methods
    fn into_equivalent(self) -> T;
    fn from_equivalent(object: T) -> Self;
}

Implemented if both types have the exact same layout. This implies having the same MaybeHasNiche::MnArray.

This is represented as two-way conversion for two reasons:

• to highlight that the conversion is actual equivalence
• to increase flexibility (mostly to go around the orphan rule)

Required Methods

fn into_equivalent(self) -> T

Inverse of Equivalent::from_equivalent.

fn from_equivalent(object: T) -> Self

Inverse of Equivalent::into_equivalent.

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 Equivalent<<i8 as HasOtherSign>::OtherSign> for i8

fn into_equivalent(self) -> <i8 as HasOtherSign>::OtherSign

fn from_equivalent(object: <i8 as HasOtherSign>::OtherSign) -> Self

impl Equivalent<<u8 as HasOtherSign>::OtherSign> for u8

fn into_equivalent(self) -> <u8 as HasOtherSign>::OtherSign

fn from_equivalent(object: <u8 as HasOtherSign>::OtherSign) -> Self

impl Equivalent<bool> for Option<()>

fn into_equivalent(self) -> bool

fn from_equivalent(object: bool) -> Self

impl Equivalent<i8> for Option<NonZero<i8>>

fn into_equivalent(self) -> i8

fn from_equivalent(object: i8) -> Self

impl Equivalent<u8> for Option<NonZero<u8>>

fn into_equivalent(self) -> u8

fn from_equivalent(object: u8) -> Self

impl Equivalent<NonZero<<i8 as HasOtherSign>::OtherSign>> for NonZero<i8>

fn into_equivalent(self) -> NonZero<<i8 as HasOtherSign>::OtherSign>

fn from_equivalent(object: NonZero<<i8 as HasOtherSign>::OtherSign>) -> Self

impl Equivalent<NonZero<<u8 as HasOtherSign>::OtherSign>> for NonZero<u8>

fn into_equivalent(self) -> NonZero<<u8 as HasOtherSign>::OtherSign>

fn from_equivalent(object: NonZero<<u8 as HasOtherSign>::OtherSign>) -> Self

impl<'a, B: 'a + ToOwned + ?Sized> Equivalent<<B as ToOwned>::Owned> for Cow<'a, B>

fn into_equivalent(self) -> B::Owned

fn from_equivalent(object: B::Owned) -> Self

impl<K: Ord> Equivalent<BTreeMap<K, ()>> for BTreeSet<K>

fn into_equivalent(self) -> BTreeMap<K, ()>

fn from_equivalent(object: BTreeMap<K, ()>) -> Self

impl<T> Equivalent<T> for (T,)

fn into_equivalent(self) -> T

fn from_equivalent(object: T) -> Self

impl<T> Equivalent<T> for Box<T>

fn into_equivalent(self) -> T

fn from_equivalent(object: T) -> Self

impl<T, U: Equivalent<T>> Equivalent<Option<T>> for Option<U>

fn into_equivalent(self) -> Option<T>

fn from_equivalent(option: Option<T>) -> Self

impl<T: Clone> Equivalent<T> for Arc<T>

fn into_equivalent(self) -> T

fn from_equivalent(object: T) -> Self

Implementors

impl Equivalent<Option<Hash>> for OptionalHash