Struct AgdaAnalysisCache 

pub struct AgdaAnalysisCache { /* private fields */ }

Implementations

impl AgdaAnalysisCache

pub fn new(max_size: usize) -> Self

pub fn get(&mut self, key: &str) -> Option<&AgdaCacheEntry>

pub fn insert(&mut self, key: String, data: Vec<u8>)

pub fn invalidate(&mut self, key: &str)

pub fn clear(&mut self)

pub fn hit_rate(&self) -> f64

pub fn size(&self) -> usize

Trait Implementations

impl Clone for AgdaAnalysisCache

fn clone(&self) -> AgdaAnalysisCache

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AgdaAnalysisCache

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

Formats the value using the given formatter.