Struct EtaLongChecker 

pub struct EtaLongChecker { /* private fields */ }

Checks eta-long status for a set of expressions.

Implementations

impl EtaLongChecker

pub fn new() -> Self

Create a new checker.

pub fn record(&mut self, id: u64, status: EtaLongStatus)

Record a status for an expression id.

pub fn status(&self, id: u64) -> Option<EtaLongStatus>

Look up the status for an expression id.

pub fn summary(&self) -> (usize, usize, usize)

Return the count of expressions in each status.

pub fn len(&self) -> usize

Return the total number of recorded results.

pub fn is_empty(&self) -> bool

Return whether any results were recorded.

Trait Implementations

impl Default for EtaLongChecker

fn default() -> Self

Returns the “default value” for a type.