pub struct TofMultiBankCheckpoint {
pub completed_iterations: usize,
pub banks: Vec<TofMultiBankCheckpointBank>,
pub history: Vec<TofMultiBankIterationRecord>,
}Expand description
Complete immutable continuation state for atomic multi-bank extraction.
Fields§
§completed_iterations: usizeNumber of atomically accepted cycles.
banks: Vec<TofMultiBankCheckpointBank>Accepted bank-local states in immutable request order.
history: Vec<TofMultiBankIterationRecord>Complete deterministic joint history.
Implementations§
Source§impl TofMultiBankCheckpoint
impl TofMultiBankCheckpoint
Sourcepub fn validate_for(
&self,
input: &TofMultiBankInput,
options: &TofLeBailOptions,
) -> Result<(), TofMultiBankError>
pub fn validate_for( &self, input: &TofMultiBankInput, options: &TofLeBailOptions, ) -> Result<(), TofMultiBankError>
Revalidate this continuation against the exact multi-bank contract.
§Errors
Returns TofMultiBankError::InvalidCheckpoint for stale identities,
topology, background contracts, or non-contiguous history.
Trait Implementations§
Source§impl Clone for TofMultiBankCheckpoint
impl Clone for TofMultiBankCheckpoint
Source§fn clone(&self) -> TofMultiBankCheckpoint
fn clone(&self) -> TofMultiBankCheckpoint
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for TofMultiBankCheckpoint
impl Debug for TofMultiBankCheckpoint
Source§impl PartialEq for TofMultiBankCheckpoint
impl PartialEq for TofMultiBankCheckpoint
impl StructuralPartialEq for TofMultiBankCheckpoint
Auto Trait Implementations§
impl Freeze for TofMultiBankCheckpoint
impl RefUnwindSafe for TofMultiBankCheckpoint
impl Send for TofMultiBankCheckpoint
impl Sync for TofMultiBankCheckpoint
impl Unpin for TofMultiBankCheckpoint
impl UnsafeUnpin for TofMultiBankCheckpoint
impl UnwindSafe for TofMultiBankCheckpoint
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
impl<T> Scalar for T
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.