pub struct Path {
pub nodes: Vec<Cid>,
pub value: Option<Cid>,
}Expand description
Which blocks prove what a tree says about one key.
The nodes are the walk from the root down, in that order, and each one
names the next: a verifier hashes each block to check it is the node it
was told to expect, reads the entry range it lands in, and follows the
link. value is the record’s CID when the key is in the tree and None
when it is not — and the absence is proved by the same nodes, because
the last one on the path is where the key would have to be if it existed.
Fields§
§nodes: Vec<Cid>The nodes walked, root first.
value: Option<Cid>The record the key names, if the tree holds it.
Trait Implementations§
impl Eq for Path
impl StructuralPartialEq for Path
Auto Trait Implementations§
impl Freeze for Path
impl RefUnwindSafe for Path
impl Send for Path
impl Sync for Path
impl Unpin for Path
impl UnsafeUnpin for Path
impl UnwindSafe for Path
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
Checks if this value is equivalent to the given key. Read more
§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.