Struct WhnfStats 

pub struct WhnfStats {
    pub beta_steps: u64,
    pub delta_steps: u64,
    pub zeta_steps: u64,
    pub iota_steps: u64,
    pub total_exprs: u64,
}

Statistics collected during WHNF reduction.

Fields

beta_steps: u64

Number of beta reductions performed.

delta_steps: u64

Number of delta (definition unfolding) steps.

zeta_steps: u64

Number of zeta (let binding) steps.

iota_steps: u64

Number of iota (recursor) steps.

total_exprs: u64

Total expressions evaluated.

Implementations

impl WhnfStats

pub fn new() -> Self

Create a zeroed statistics record.

pub fn total_steps(&self) -> u64

Total number of reduction steps performed.

pub fn any_progress(&self) -> bool

Whether any reductions were performed.

Trait Implementations

impl Clone for WhnfStats

fn clone(&self) -> WhnfStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WhnfStats

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

Formats the value using the given formatter.

impl Default for WhnfStats

fn default() -> WhnfStats

Returns the “default value” for a type.