Struct Unique 

pub struct Unique<I: Id> { /* private fields */ }

A wrapper around an ID that asserts it is unique.

This takes away the implementation of Copy and Clone for an ID and forbids access to the underlying ID.

Implementations

impl<I> Unique<I>

where <I as ConstFnBounds>::Type: Id,

pub const unsafe fn new(id: I) -> Self

Create a new Unique, asserting that the given ID contained within is unique.

Safety

The given id must be unique at the time of calling this function.

pub const fn into_inner(self) -> I

Take the inner ID out of this Unique, taking away the uniqueness guarantee.

Trait Implementations

impl<I: Debug + Id> Debug for Unique<I>

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

Formats the value using the given formatter.

impl<I: PartialEq + Id> PartialEq for Unique<I>

fn eq(&self, other: &Unique<I>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<I: Eq + Id> Eq for Unique<I>

impl<I: Id> StructuralPartialEq for Unique<I>

impl<I: Id> Sync for Unique<I>