pub struct ExistenceProofBody {
pub keys_to_prove: VecM<LedgerKey>,
pub low_bound_entries: VecM<ColdArchiveBucketEntry>,
pub high_bound_entries: VecM<ColdArchiveBucketEntry>,
pub proof_levels: VecM<ProofLevel>,
}
Expand description
ExistenceProofBody is an XDR Struct defines as:
struct ExistenceProofBody
{
LedgerKey keysToProve<>;
// Bounds for each key being proved, where bound[n]
// corresponds to keysToProve[n]
ColdArchiveBucketEntry lowBoundEntries<>;
ColdArchiveBucketEntry highBoundEntries<>;
// Vector of vectors, where proofLevels[level]
// contains all HashNodes that correspond with that level
ProofLevel proofLevels<>;
};
Fields§
§keys_to_prove: VecM<LedgerKey>
§low_bound_entries: VecM<ColdArchiveBucketEntry>
§high_bound_entries: VecM<ColdArchiveBucketEntry>
§proof_levels: VecM<ProofLevel>
Trait Implementations§
Source§impl<'arbitrary> Arbitrary<'arbitrary> for ExistenceProofBody
impl<'arbitrary> Arbitrary<'arbitrary> for ExistenceProofBody
Source§fn arbitrary(
u: &mut Unstructured<'arbitrary>,
) -> Result<ExistenceProofBody, Error>
fn arbitrary( u: &mut Unstructured<'arbitrary>, ) -> Result<ExistenceProofBody, Error>
Generate an arbitrary value of
Self
from the given unstructured data. Read moreSource§fn arbitrary_take_rest(
u: Unstructured<'arbitrary>,
) -> Result<ExistenceProofBody, Error>
fn arbitrary_take_rest( u: Unstructured<'arbitrary>, ) -> Result<ExistenceProofBody, Error>
Generate an arbitrary value of
Self
from the entirety of the given
unstructured data. Read moreSource§impl Clone for ExistenceProofBody
impl Clone for ExistenceProofBody
Source§fn clone(&self) -> ExistenceProofBody
fn clone(&self) -> ExistenceProofBody
Returns a copy 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 ExistenceProofBody
impl Debug for ExistenceProofBody
Source§impl Hash for ExistenceProofBody
impl Hash for ExistenceProofBody
Source§impl Ord for ExistenceProofBody
impl Ord for ExistenceProofBody
Source§fn cmp(&self, other: &ExistenceProofBody) -> Ordering
fn cmp(&self, other: &ExistenceProofBody) -> Ordering
1.21.0 · Source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more
Source§impl PartialEq for ExistenceProofBody
impl PartialEq for ExistenceProofBody
Source§impl PartialOrd for ExistenceProofBody
impl PartialOrd for ExistenceProofBody
Source§impl ReadXdr for ExistenceProofBody
impl ReadXdr for ExistenceProofBody
Source§fn read_xdr<R>(r: &mut Limited<R>) -> Result<ExistenceProofBody, Error>where
R: Read,
fn read_xdr<R>(r: &mut Limited<R>) -> Result<ExistenceProofBody, Error>where
R: Read,
Read the XDR and construct the type. Read more
Source§fn read_xdr_base64<R>(r: &mut Limited<R>) -> Result<Self, Error>where
R: Read,
fn read_xdr_base64<R>(r: &mut Limited<R>) -> Result<Self, Error>where
R: Read,
Construct the type from the XDR bytes base64 encoded. Read more
Source§fn read_xdr_to_end<R>(r: &mut Limited<R>) -> Result<Self, Error>where
R: Read,
fn read_xdr_to_end<R>(r: &mut Limited<R>) -> Result<Self, Error>where
R: Read,
Read the XDR and construct the type, and consider it an error if the
read does not completely consume the read implementation. Read more
Source§fn read_xdr_base64_to_end<R>(r: &mut Limited<R>) -> Result<Self, Error>where
R: Read,
fn read_xdr_base64_to_end<R>(r: &mut Limited<R>) -> Result<Self, Error>where
R: Read,
Construct the type from the XDR bytes base64 encoded. Read more
Source§fn read_xdr_into<R>(&mut self, r: &mut Limited<R>) -> Result<(), Error>where
R: Read,
fn read_xdr_into<R>(&mut self, r: &mut Limited<R>) -> Result<(), Error>where
R: Read,
Read the XDR and construct the type. Read more
Source§fn read_xdr_into_to_end<R>(&mut self, r: &mut Limited<R>) -> Result<(), Error>where
R: Read,
fn read_xdr_into_to_end<R>(&mut self, r: &mut Limited<R>) -> Result<(), Error>where
R: Read,
Read the XDR into the existing value, and consider it an error if the
read does not completely consume the read implementation. Read more
Source§fn read_xdr_iter<R>(r: &mut Limited<R>) -> ReadXdrIter<&mut R, Self> ⓘwhere
R: Read,
fn read_xdr_iter<R>(r: &mut Limited<R>) -> ReadXdrIter<&mut R, Self> ⓘwhere
R: Read,
Create an iterator that reads the read implementation as a stream of
values that are read into the implementing type. Read more
Source§fn read_xdr_base64_iter<R>(
r: &mut Limited<R>,
) -> ReadXdrIter<DecoderReader<'_, R>, Self> ⓘwhere
R: Read,
fn read_xdr_base64_iter<R>(
r: &mut Limited<R>,
) -> ReadXdrIter<DecoderReader<'_, R>, Self> ⓘwhere
R: Read,
Create an iterator that reads the read implementation as a stream of
values that are read into the implementing type.
Source§impl WriteXdr for ExistenceProofBody
impl WriteXdr for ExistenceProofBody
impl Eq for ExistenceProofBody
impl StructuralPartialEq for ExistenceProofBody
Auto Trait Implementations§
impl Freeze for ExistenceProofBody
impl RefUnwindSafe for ExistenceProofBody
impl Send for ExistenceProofBody
impl Sync for ExistenceProofBody
impl Unpin for ExistenceProofBody
impl UnwindSafe for ExistenceProofBody
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<Q, K> Comparable<K> for Q
impl<Q, K> Comparable<K> for Q
Source§impl<T, U, V, W, E, C> Compare<(T, U, V, W)> for C
impl<T, U, V, W, E, C> Compare<(T, U, V, W)> for C
type Error = E
fn compare( &self, a: &(T, U, V, W), b: &(T, U, V, W), ) -> Result<Ordering, <C as Compare<(T, U, V, W)>>::Error>
Source§impl<T, U, V, W, X, E, C> Compare<(T, U, V, W, X)> for C
impl<T, U, V, W, X, E, C> Compare<(T, U, V, W, X)> for C
type Error = E
fn compare( &self, a: &(T, U, V, W, X), b: &(T, U, V, W, X), ) -> Result<Ordering, <C as Compare<(T, U, V, W, X)>>::Error>
Source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Convert
Box<dyn Trait>
(where Trait: Downcast
) to Box<dyn Any>
. Box<dyn Any>
can
then be further downcast
into Box<ConcreteType>
where ConcreteType
implements Trait
.Source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Convert
Rc<Trait>
(where Trait: Downcast
) to Rc<Any>
. Rc<Any>
can then be
further downcast
into Rc<ConcreteType>
where ConcreteType
implements Trait
.Source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert
&Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &Any
’s vtable from &Trait
’s.Source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert
&mut Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &mut Any
’s vtable from &mut Trait
’s.Source§impl<T> DowncastSync for T
impl<T> DowncastSync for T
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.