Trait UpdateTry 

pub trait UpdateTry {
    // Required method
    spec fn branch(self) -> UpdateControlFlow;
}

Required Methods

spec fn branch(self) -> UpdateControlFlow

Dyn Compatibility

This trait is dyn compatible.

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

Implementations on Foreign Types

impl UpdateTry for ()

open spec fn branch(self) -> UpdateControlFlow

{ UpdateControlFlow::Commit }

impl<T, E> UpdateTry for Result<T, E>

open spec fn branch(self) -> UpdateControlFlow

{
    match self {
        Ok(_) => UpdateControlFlow::Commit,
        Err(_) => UpdateControlFlow::Abort,
    }
}

Implementors

impl<T> UpdateTry for Commit<T>