Struct ErasureStats 

pub struct ErasureStats {
    pub sorts_erased: usize,
    pub pis_erased: usize,
    pub terms_kept: usize,
}

Statistics collected during type erasure.

Fields

sorts_erased: usize

Number of sorts (universes) erased.

pis_erased: usize

Number of Pi-types erased.

terms_kept: usize

Number of computational terms kept.

Implementations

impl ErasureStats

pub fn new() -> Self

Create a zeroed statistics record.

pub fn add_sort(&mut self)

Record one erased sort.

pub fn add_pi(&mut self)

Record one erased Pi-type.

pub fn add_term(&mut self)

Record one kept computational term.

pub fn ratio_erased(&self) -> f64

Fraction of nodes that were erased (sorts + pis out of total).

Returns 0.0 when no nodes have been recorded.

Trait Implementations

impl Clone for ErasureStats

fn clone(&self) -> ErasureStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ErasureStats

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

Formats the value using the given formatter.

impl Default for ErasureStats

fn default() -> ErasureStats

Returns the “default value” for a type.