Struct EtaDepthTracker 

pub struct EtaDepthTracker { /* private fields */ }

Tracks depth of eta-expansion nesting.

Implementations

impl EtaDepthTracker

pub fn new() -> Self

Create an empty tracker.

pub fn push(&mut self, struct_name: &str)

Push a structure context onto the stack.

pub fn pop(&mut self) -> Option<String>

Pop the current structure context.

pub fn depth(&self) -> usize

Return the current expansion depth.

pub fn is_nested(&self) -> bool

Return whether we are currently inside any expansion.

pub fn current(&self) -> Option<&str>

Return the innermost structure name.

pub fn path(&self) -> String

Return the full nesting path as a dot-separated string.

pub fn contains(&self, name: &str) -> bool

Return whether a given structure appears anywhere in the nesting.

Trait Implementations

impl Default for EtaDepthTracker

fn default() -> Self

Returns the “default value” for a type.