Struct polyhorn_core::Key

pub struct Key(_);

Key is a dynamically typed wrapper around any type that implements Any + Eq + Hash (note that Any implies 'static). Key acts as a transparent wrapper for these traits, where Eq and PartialEq in particular perform dynamic type checks before determining value equality.

Implementations

impl Key

pub fn new<T>(value: T) -> Key where
    T: Keyable + 'static, 

This function returns a new key with the given value. The prescribed trait bound on machinery::Keyable refers to a hidden trait that is automatically implemented for types that implement Any + Eq + Hash. This trait is hidden because it should not be implemented manually.

Trait Implementations

impl Clone for Key

pub fn clone(&self) -> Key

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Key

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

Formats the value using the given formatter.

impl Eq for Key

impl<T> From<Rc<T>> for Key where
    T: Keyable + 'static, 

pub fn from(value: Rc<T>) -> Self

Performs the conversion.

impl Hash for Key

pub fn hash<H>(&self, state: &mut H) where
    H: Hasher, 

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

impl PartialEq<Key> for Key

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

This method tests for self and other values to be equal, and is used by ==.

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.