Struct EtaStats 

pub struct EtaStats {
    pub expansions: u64,
    pub reductions: u64,
    pub failed_expansions: u64,
    pub failed_reductions: u64,
}

Counts eta-expansion and reduction events for instrumentation.

Fields

expansions: u64

reductions: u64

failed_expansions: u64

failed_reductions: u64

Implementations

impl EtaStats

pub fn new() -> Self

Create zeroed stats.

pub fn record_expansion(&mut self)

Record a successful expansion.

pub fn record_reduction(&mut self)

Record a successful reduction.

pub fn record_failed_expansion(&mut self)

Record a failed expansion.

pub fn record_failed_reduction(&mut self)

Record a failed reduction.

pub fn expansion_rate(&self) -> f64

Return expansion success rate.

pub fn reduction_rate(&self) -> f64

Return reduction success rate.

pub fn summary(&self) -> String

Format a summary.

Trait Implementations

impl Clone for EtaStats

fn clone(&self) -> EtaStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EtaStats

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

Formats the value using the given formatter.

impl Default for EtaStats

fn default() -> EtaStats

Returns the “default value” for a type.