Struct EtaLog 

pub struct EtaLog { /* private fields */ }

A log of eta-reduction outcomes with timestamps.

Implementations

impl EtaLog

pub fn new() -> Self

Creates an empty log.

pub fn record(&mut self, outcome: EtaOutcome)

Records an outcome.

pub fn len(&self) -> usize

Returns the number of recorded outcomes.

pub fn is_empty(&self) -> bool

Returns whether the collection is empty.

pub fn count(&self, target: EtaOutcome) -> usize

Returns the count of a specific outcome.

pub fn success_rate(&self) -> f64

Returns the success rate (0.0–1.0).

Trait Implementations

impl Default for EtaLog

fn default() -> Self

Returns the “default value” for a type.