Struct topo::Id

pub struct Id(_);

Identifies an activation record in the current call topology.

The Id for the execution of a stack frame is the combined product of:

• a callsite: lexical source location at which the topologically-nested function was invoked
• parent Id: the identifier which was active when entering the current topo-nested function
• a "slot": runtime value indicating the call's "logical index" within the parent call

By default, the slot used is a count of the number of times that particular callsite has been executed within the parent Id's enclosing scope. This means that when creating an Id in a loop the identifier will be unique for each "index" of the loop iteration and will be stable if the same loop is invoked again. Changing the value used for the slot allows us to have stable Ids across multiple executions when iterating over elements of a collection that itself has unstable iteration order.

Methods

impl Id

pub fn current() -> Self

Returns the Id for the current scope in the call topology.

Trait Implementations

impl Clone for Id

fn clone(&self) -> Id

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for Id

impl Debug for Id

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

Formats the value using the given formatter.

impl Eq for Id

impl Hash for Id

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, 

Feeds a slice of this type into the given [Hasher].

impl PartialEq<Id> for Id

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

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

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

This method tests for !=.

impl StructuralEq for Id

impl StructuralPartialEq for Id