[][src]Struct provenance::Key

pub struct Key<Provenance> { /* fields omitted */ }

A lightweight key referencing a value stored in a ProvenanceMap or SeparateProvenanceMap.

Can only be created by methods on such map and thus will always be valid for the map that created it. Further, the map that creates the key "tags" it with it's provenance. And since there only may be one map with any given provenance, it is guaranteed that if a key match the required type signature for retrieving a value from a map, then that key were created by that map and reference a value in that map.

Trait Implementations

impl<Provenance> Clone for Key<Provenance>[src]

impl<Provenance> Copy for Key<Provenance>[src]

impl<Provenance> Debug for Key<Provenance>[src]

impl<Provenance> Eq for Key<Provenance>[src]

impl<Provenance> Hash for Key<Provenance>[src]

impl<Provenance> PartialEq<Key<Provenance>> for Key<Provenance>[src]

Auto Trait Implementations

impl<Provenance> RefUnwindSafe for Key<Provenance> where
    Provenance: RefUnwindSafe
[src]

impl<Provenance> !Send for Key<Provenance>[src]

impl<Provenance> !Sync for Key<Provenance>[src]

impl<Provenance> Unpin for Key<Provenance>[src]

impl<Provenance> UnwindSafe for Key<Provenance> where
    Provenance: RefUnwindSafe
[src]

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.