Struct InferStats 

pub struct InferStats {
    pub infer_calls: usize,
    pub whnf_calls: usize,
    pub def_eq_calls: usize,
    pub const_lookups: usize,
    pub cache_hits: usize,
}

Statistics collected during type inference.

Fields

infer_calls: usize

Number of types inferred.

whnf_calls: usize

Number of WHNF reductions performed.

def_eq_calls: usize

Number of definitional equality checks.

const_lookups: usize

Number of constant lookups.

cache_hits: usize

Number of cache hits.

Implementations

impl InferStats

pub fn reset(&mut self)

Reset all counters to zero.

pub fn total_ops(&self) -> usize

Total operations performed.

Trait Implementations

impl Clone for InferStats

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InferStats

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

Formats the value using the given formatter.

impl Default for InferStats

fn default() -> Self

Returns the “default value” for a type.