Skip to main content

LeanWorkerProgressSink

lean_rs_worker

Trait LeanWorkerProgressSink 

Source 
pub trait LeanWorkerProgressSink: Send + Sync {
    // Required method
    fn report(&self, event: LeanWorkerProgressEvent);
}
Expand description

Parent-side sink for worker progress events.

Required Methods§

Source

fn report(&self, event: LeanWorkerProgressEvent)

Implementors§