pub struct OpLocalUpdate<R>(pub Snapshot<R>);Expand description
Add some data to both an authority and a fragment, at the same time.
Used in Authority::add_fragment.
Tuple Fields§
§0: Snapshot<R>Trait Implementations§
Source§impl<R: UnitRA> LocalUpdate<R> for OpLocalUpdate<R>
impl<R: UnitRA> LocalUpdate<R> for OpLocalUpdate<R>
Source§fn update(self, from_auth: R, from_frag: R) -> (R, R)
fn update(self, from_auth: R, from_frag: R) -> (R, R)
logic(open)
from_auth.op(*self.0).unwrap_logic(), from_frag.op(*self.0).unwrap_logic()
Source§fn frame_preserving(self, from_auth: R, from_frag: R, frame: Option<R>)
fn frame_preserving(self, from_auth: R, from_frag: R, frame: Option<R>)
logic ⚠
requires
self.premise(from_auth, from_frag)requires
Some(from_frag).op(frame) == Some(Some(from_auth))ensures
let (to_auth, to_frag) = self.update(from_auth, from_frag); Some(to_frag).op(frame) == Some(Some(to_auth))
Auto Trait Implementations§
impl<R> Freeze for OpLocalUpdate<R>
impl<R> Objective for OpLocalUpdate<R>where
R: Objective,
impl<R> RefUnwindSafe for OpLocalUpdate<R>where
R: RefUnwindSafe,
impl<R> Send for OpLocalUpdate<R>where
R: Send,
impl<R> Sync for OpLocalUpdate<R>where
R: Sync,
impl<R> Unpin for OpLocalUpdate<R>where
R: Unpin,
impl<R> UnsafeUnpin for OpLocalUpdate<R>
impl<R> UnwindSafe for OpLocalUpdate<R>where
R: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more