Enum ScopedOutcome 

pub enum ScopedOutcome<R> {
    Executed(R),
    Skipped,
    Failed(ServerError),
}

What a scope’s work did.

Variants

Executed(R)

It ran, and its write set has a writer again.

Skipped

It did not run, because an input it needed carried a failure. Its write set carries that same failure now, so a read of one of those buffers names the original cause.

Failed(ServerError)

It ran and failed. Its write set carries the error.

Implementations

impl<R> ScopedOutcome<R>

pub fn into_result(self) -> Result<R, ServerError>

The result, when the work ran and succeeded.

Errors

The error it failed with. A skip answers with an error saying so — the failure its inputs carried is not the caller’s to receive here; the claim on the write set is the report, and a read of one of those buffers names the root cause.

Trait Implementations

impl<R: Debug> Debug for ScopedOutcome<R>

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

Formats the value using the given formatter.