Struct Lifetime 

pub struct Lifetime<'id> { /* private fields */ }

A fully statically checked ID based on invariant lifetimes and HRTBs.

This is the same technique as used by GhostCell. While theoretically the best option (being both safe and zero-cost), its infectious nature makes it not very useful in practice.

Implementations

impl Lifetime<'_>

pub fn scope<O, F>(f: F) -> O

where F: for<'id> FnOnce(Unique<Lifetime<'id>>) -> O,

Create a new lifetime-based ID usable in a specific scope.

Trait Implementations

impl<'id> Clone for Lifetime<'id>

fn clone(&self) -> Lifetime<'id>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'id> Debug for Lifetime<'id>

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

Formats the value using the given formatter.

impl<'id> PartialEq for Lifetime<'id>

fn eq(&self, other: &Lifetime<'id>) -> 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<'id> Copy for Lifetime<'id>

impl<'id> Eq for Lifetime<'id>

impl Id for Lifetime<'_>

impl<'id> StructuralPartialEq for Lifetime<'id>