Struct generativity::Guard

#[repr(transparent)]
pub struct Guard<'id> { /* private fields */ }

An invariant lifetime phantomdata-alike that is guaranteed to be unique with respect to other trusted invariant lifetimes.

In effect, this means that 'id is a “generative brand”. Use make_guard to obtain a new Guard.

Implementations

impl<'id> Guard<'id>

pub unsafe fn new(id: Id<'id>) -> Guard<'id>

Construct a Guard with an unbound lifetime.

You should not need to use this function; use make_guard! instead.

Safety

Guard holds an invariant lifetime that must be an unused generative brand. Using this function directly is the “I know what I’m doing” button; restrict the lifetime to a known brand immediately to avoid introducing potential unsoundness.

Trait Implementations

impl<'id> Debug for Guard<'id>

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

Formats the value using the given formatter.

impl<'id> From<Guard<'id>> for Id<'id>

fn from(guard: Guard<'id>) -> Self

Converts to this type from the input type.

impl<'id> PartialEq<Guard<'id>> for Guard<'id>

fn eq(&self, other: &Guard<'id>) -> bool

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

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

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

impl<'id> Eq for Guard<'id>

impl<'id> StructuralEq for Guard<'id>

impl<'id> StructuralPartialEq for Guard<'id>