Struct EtaPassResult 

pub struct EtaPassResult {
    pub summary: EtaNormRunSummary,
    pub changed_ids: Vec<u64>,
}

Final result of running the eta normalization pass.

Fields

summary: EtaNormRunSummary

changed_ids: Vec<u64>

Implementations

impl EtaPassResult

pub fn new() -> Self

Create an empty result.

pub fn any_changes(&self) -> bool

Return whether any expressions were changed.

Trait Implementations

impl Clone for EtaPassResult

fn clone(&self) -> EtaPassResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EtaPassResult

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

Formats the value using the given formatter.

impl Default for EtaPassResult

fn default() -> Self

Returns the “default value” for a type.