Struct EtaChangeLog 

pub struct EtaChangeLog { /* private fields */ }

A change log for an eta-normalization session.

Implementations

impl EtaChangeLog

pub fn new() -> Self

Create an empty log.

pub fn record(&mut self, expr_id: u64, kind: EtaChangeKind, pass_num: u32)

Record a change.

pub fn changes_of_kind(&self, kind: EtaChangeKind) -> Vec<&EtaChangeEntry>

Return all changes of a specific kind.

pub fn changes_for_expr(&self, id: u64) -> Vec<&EtaChangeEntry>

Return all changes for a specific expression.

pub fn len(&self) -> usize

Return the total number of changes.

pub fn is_empty(&self) -> bool

Return whether any changes were recorded.

pub fn changes_in_pass(&self, pass: u32) -> Vec<&EtaChangeEntry>

Return all changes from a specific pass number.

Trait Implementations

impl Default for EtaChangeLog

fn default() -> Self

Returns the “default value” for a type.