pub struct VerificationReport { /* private fields */ }Expand description
Evidence from immutable-object and derived-state verification.
Implementations§
Source§impl VerificationReport
impl VerificationReport
pub const fn commits(&self) -> usize
pub const fn orphan_commits(&self) -> usize
Sourcepub const fn typed_rebuild_performed(&self) -> bool
pub const fn typed_rebuild_performed(&self) -> bool
Returns whether registered Rust record adapters were sufficient for a full replay.
pub const fn derived_consistent(&self) -> bool
pub const fn state_root(&self) -> [u8; 32]
Trait Implementations§
Source§impl Clone for VerificationReport
impl Clone for VerificationReport
Source§fn clone(&self) -> VerificationReport
fn clone(&self) -> VerificationReport
Returns a duplicate of the value. Read more
1.0.0 · 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 VerificationReport
impl Debug for VerificationReport
Source§impl PartialEq for VerificationReport
impl PartialEq for VerificationReport
impl Eq for VerificationReport
impl StructuralPartialEq for VerificationReport
Auto Trait Implementations§
impl Freeze for VerificationReport
impl RefUnwindSafe for VerificationReport
impl Send for VerificationReport
impl Sync for VerificationReport
impl Unpin for VerificationReport
impl UnwindSafe for VerificationReport
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,
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
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 more