Struct Nominal 

#[repr(transparent)]
pub struct Nominal<T>(pub T);

Smart pointer wrapper for identity-based equality comparisons and hashing

Nominal wraps a Deref object to implement Eq and Hash based on the value of the reference to the pointee, instead of its eventual Eq and Hash instances.

This means wrapping a pointer or reference in a Nominal makes it compare and hash based on its identity as an object instead of its value, which would be the default in Rust.

In formally, this is used in places where two objects with the same value must nevertheless be considered distinct, most prominently the Declared and Defined types in the smt crate.

Tuple Fields

0: T

Implementations

impl<T> Nominal<T>

pub fn into_inner(self) -> T

Turns the Nominal into its underlying object.

Trait Implementations

impl<T> AsRef<T> for Nominal<T>

fn as_ref(&self) -> &T

Converts this type into a shared reference of the (usually inferred) input type.

impl<T: Clone> Clone for Nominal<T>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Nominal<T>

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

Formats the value using the given formatter.

impl<T: Default> Default for Nominal<T>

fn default() -> Self

Returns the “default value” for a type.

impl<T> Deref for Nominal<T>

type Target = T

The resulting type after dereferencing.

fn deref(&self) -> &T

Dereferences the value.

impl<T: Deref> Eq for Nominal<T>

impl<T> From<T> for Nominal<T>

fn from(value: T) -> Self

Converts to this type from the input type.

impl<T: Deref> Hash for Nominal<T>

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

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<T: Deref> PartialEq for Nominal<T>

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

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.