Struct CacheStatistics 

pub struct CacheStatistics {
    pub whnf_hits: u64,
    pub whnf_misses: u64,
    pub whnf_hit_rate: f64,
    pub defeq_hits: u64,
    pub defeq_misses: u64,
    pub defeq_hit_rate: f64,
    pub infer_hits: u64,
    pub infer_misses: u64,
    pub infer_hit_rate: f64,
}

Statistics for all caches.

Provides comprehensive metrics for monitoring cache performance across all cache types.

Fields

whnf_hits: u64

Number of hits in the WHNF cache.

whnf_misses: u64

Number of misses in the WHNF cache.

whnf_hit_rate: f64

Hit rate percentage for the WHNF cache (0.0-100.0).

defeq_hits: u64

Number of hits in the DefEq cache.

defeq_misses: u64

Number of misses in the DefEq cache.

defeq_hit_rate: f64

Hit rate percentage for the DefEq cache (0.0-100.0).

infer_hits: u64

Number of hits in the Infer cache.

infer_misses: u64

Number of misses in the Infer cache.

infer_hit_rate: f64

Hit rate percentage for the Infer cache (0.0-100.0).

Implementations

impl CacheStatistics

pub fn total_hits(&self) -> u64

Get total hits across all caches

pub fn total_misses(&self) -> u64

Get total misses across all caches

pub fn overall_hit_rate(&self) -> f64

Get overall hit rate across all caches

Trait Implementations

impl Clone for CacheStatistics

fn clone(&self) -> CacheStatistics

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CacheStatistics

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

Formats the value using the given formatter.