Struct CacheManager 

pub struct CacheManager { /* private fields */ }

Global cache manager for all kernel caches

Implementations

impl CacheManager

pub fn new() -> Self

Create a new cache manager with default capacities

pub fn with_capacities( whnf_cap: usize, defeq_cap: usize, infer_cap: usize, ) -> Self

Create a cache manager with custom capacities

pub fn whnf_mut(&mut self) -> &mut WhnfCache

Get mutable reference to WHNF cache

pub fn defeq_mut(&mut self) -> &mut DefEqCache

Get mutable reference to DefEq cache

pub fn infer_mut(&mut self) -> &mut InferCache

Get mutable reference to Infer cache

pub fn clear_all(&mut self)

Clear all caches

pub fn resize_all( &mut self, whnf_cap: usize, defeq_cap: usize, infer_cap: usize, )

Resize all caches to new capacities

pub fn statistics(&self) -> CacheStatistics

Get comprehensive statistics for all caches

Trait Implementations

impl Default for CacheManager

fn default() -> Self

Returns the “default value” for a type.