Struct WhnfCache 

pub struct WhnfCache { /* private fields */ }

A simple LRU-style cache for WHNF results.

Stores the most recently computed WHNF reductions to avoid redundant work when the same expression appears multiple times.

Implementations

impl WhnfCache

pub fn new(capacity: usize) -> Self

Create a new cache with the given capacity.

pub fn get(&mut self, key: &WhnfCacheKey) -> Option<&Expr>

Look up a pre-computed WHNF result.

pub fn insert(&mut self, key: WhnfCacheKey, value: Expr)

Store a WHNF result.

pub fn len(&self) -> usize

Number of entries in the cache.

pub fn is_empty(&self) -> bool

Whether the cache is empty.

pub fn clear(&mut self)

Clear all cache entries.

pub fn hits(&self) -> u64

Cache hit count.

pub fn misses(&self) -> u64

Cache miss count.

pub fn hit_rate(&self) -> f64

Hit rate (0.0 to 1.0).

Trait Implementations

impl Debug for WhnfCache

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

Formats the value using the given formatter.

impl Default for WhnfCache

fn default() -> WhnfCache

Returns the “default value” for a type.