Struct LeanProgressEvent 

pub struct LeanProgressEvent {
    pub phase: &'static str,
    pub current: u64,
    pub total: Option<u64>,
    pub elapsed: Duration,
}

One structured progress observation from a LeanSession operation.

Events are delivered synchronously on the Lean-bound worker thread. current is phase-local and monotonically non-decreasing within one phase. total = None means the operation can report a phase-local counter but does not know the final bound cheaply.

Fields

phase: &'static str

Stable phase label for the current operation.

current: u64

Phase-local progress counter.

total: Option<u64>

Optional phase-local total.

elapsed: Duration

Time elapsed since this phase started.

Trait Implementations

impl Clone for LeanProgressEvent

fn clone(&self) -> LeanProgressEvent

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LeanProgressEvent

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

Formats the value using the given formatter.

impl PartialEq for LeanProgressEvent

fn eq(&self, other: &LeanProgressEvent) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for LeanProgressEvent

impl Eq for LeanProgressEvent

impl StructuralPartialEq for LeanProgressEvent