Struct tp_state_machine::ProvingBackendRecorder[][src]

pub struct ProvingBackendRecorder<'a, S: 'a + TrieBackendStorage<H>, H: 'a + Hasher> { /* fields omitted */ }

Patricia trie-based backend specialized in get value proofs.

Implementations

impl<'a, S, H> ProvingBackendRecorder<'a, S, H> where
    S: TrieBackendStorage<H>,
    H: Hasher,
    H::Out: Codec
[src]

pub fn storage(&mut self, key: &[u8]) -> Result<Option<Vec<u8>>, String>[src]

Produce proof for a key query.

pub fn child_storage(
    &mut self,
    child_info: &ChildInfo,
    key: &[u8]
) -> Result<Option<Vec<u8>>, String>
[src]

Produce proof for a child key query.

pub fn record_all_keys(&mut self)[src]

Produce proof for the whole backend.

Auto Trait Implementations

impl<'a, S, H> RefUnwindSafe for ProvingBackendRecorder<'a, S, H> where
    S: RefUnwindSafe,
    <H as Hasher>::Out: RefUnwindSafe

impl<'a, S, H> Send for ProvingBackendRecorder<'a, S, H>

impl<'a, S, H> Sync for ProvingBackendRecorder<'a, S, H>

impl<'a, S, H> Unpin for ProvingBackendRecorder<'a, S, H>

impl<'a, S, H> !UnwindSafe for ProvingBackendRecorder<'a, S, H>

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> Downcast for T where
    T: Any

impl<T> DowncastSync for T where
    T: Any + Send + Sync

impl<T> From<T> for T[src]

impl<T> Instrument for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T, Outer> IsWrappedBy<Outer> for T where
    T: From<Outer>,
    Outer: AsRef<T> + AsMut<T> + From<T>, 
[src]

pub fn from_ref(outer: &Outer) -> &T[src]

Get a reference to the inner from the outer.

pub fn from_mut(outer: &mut Outer) -> &mut T[src]

Get a mutable reference to the inner from the outer.

impl<T> MaybeRefUnwindSafe for T where
    T: RefUnwindSafe

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<S, T> UncheckedInto<T> for S where
    T: UncheckedFrom<S>, 
[src]

impl<V, T> VZip<V> for T where
    V: MultiLane<T>,