Enum HostOutcome 

pub enum HostOutcome {
    Value(RecordedValue),
    Error(String),
    NotRecordable,
}

What a host call produced, when the trace records it.

Variants

Value(RecordedValue)

The host answered with a value. A Cove Err(...) is a value like any other and arrives here, not in HostOutcome::Error.

Error(String)

The host refused the call with a runtime error, which is not an ordinary Cove failure.

NotRecordable

The operation’s schema declares it not recordable, so the call dispatched but its result was deliberately not written down.

process.exit is the shipped example: handing its result back on a replay would keep running a program that had ended.

Trait Implementations

impl Clone for HostOutcome

fn clone(&self) -> HostOutcome

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HostOutcome

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

Formats the value using the given formatter.