pub trait UpdateTry {
// Required method
spec fn branch(self) -> UpdateControlFlow;
}Required Methods§
Sourcespec fn branch(self) -> UpdateControlFlow
spec fn branch(self) -> UpdateControlFlow
Implementations on Foreign Types§
Source§impl UpdateTry for ()
impl UpdateTry for ()
Source§open spec fn branch(self) -> UpdateControlFlow
open spec fn branch(self) -> UpdateControlFlow
{ UpdateControlFlow::Commit }Source§impl<T, E> UpdateTry for Result<T, E>
impl<T, E> UpdateTry for Result<T, E>
Source§open spec fn branch(self) -> UpdateControlFlow
open spec fn branch(self) -> UpdateControlFlow
{
match self {
Ok(_) => UpdateControlFlow::Commit,
Err(_) => UpdateControlFlow::Abort,
}
}