Skip to main content

ProofEventSink

proof_stream::sink

Trait ProofEventSink 

Source 
pub trait ProofEventSink:
    Send
    + Sync
    + 'static {
    // Required method
    fn emit(&self, event: ProofEvent);

    // Provided method
    fn flush(&self) { ... }
}
Expand description

A consumer of proof events.

Implementations must be Send + Sync + 'static so they can be stored in a thread-local and potentially forwarded across threads.

Required Methods§

Source

fn emit(&self, event: ProofEvent)

Handle one event. Must not block the calling thread.

Provided Methods§

Source

fn flush(&self)

Called at the end of a proof session. Default: no-op.

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§