Struct IdrisModuleMetrics 

pub struct IdrisModuleMetrics {
    pub num_functions: usize,
    pub num_data_types: usize,
    pub num_records: usize,
    pub num_imports: usize,
    pub total_clauses: usize,
    pub num_mutual_blocks: usize,
    pub num_pragmas: usize,
}

Metrics about a generated Idris 2 module.

Fields

num_functions: usize

Number of function definitions.

num_data_types: usize

Number of data type definitions.

num_records: usize

Number of record definitions.

num_imports: usize

Number of import declarations.

total_clauses: usize

Total number of clauses across all functions.

num_mutual_blocks: usize

Number of mutual blocks.

num_pragmas: usize

Number of pragma declarations.

Implementations

impl IdrisModuleMetrics

pub fn compute(module: &IdrisModule) -> Self

Compute metrics from an IdrisModule.

pub fn summary(&self) -> String

Return a human-readable summary.

Trait Implementations

impl Clone for IdrisModuleMetrics

fn clone(&self) -> IdrisModuleMetrics

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IdrisModuleMetrics

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

Formats the value using the given formatter.

impl Default for IdrisModuleMetrics

fn default() -> IdrisModuleMetrics

Returns the “default value” for a type.