Trait gazebo::coerce::CoerceKey

pub unsafe trait CoerceKey<To: ?Sized>: Coerce<To> { }

A marker trait such that the existence of From: CoerceKey<To> implies that From can be treat as To without any data manipulation. Furthermore, above and beyond Coerce, any provided Hash, Eq, PartialEq, Ord and PartialOrd traits must give identical results on the From and To values.

This trait is mostly expected to be a requirement for the keys of associative-map containers, hence the Key in the name.

Implementations on Foreign Types

impl<'a, From: ?Sized, To: ?Sized> CoerceKey<&'a To> for &'a Fromwhere
    From: CoerceKey<To>,

impl<From, To> CoerceKey<[To]> for [From]where
    From: CoerceKey<To>,

impl<From, To> CoerceKey<Vec<To, Global>> for Vec<From>where
    From: CoerceKey<To>,

impl<From: ?Sized, To: ?Sized> CoerceKey<Box<To, Global>> for Box<From>where
    From: CoerceKey<To>,

impl<From1: CoerceKey<To1>, To1> CoerceKey<(To1,)> for (From1,)

impl<From1: CoerceKey<To1>, From2: CoerceKey<To2>, To1, To2> CoerceKey<(To1, To2)> for (From1, From2)

impl<From: CoerceKey<To>, To, const N: usize> CoerceKey<[To; N]> for [From; N]

impl CoerceKey<String> for String

impl CoerceKey<str> for str

impl CoerceKey<()> for ()

Implementors