DataChecklist

Struct DataChecklist 

Source
pub struct DataChecklist<'a, T> { /* private fields */ }
Expand description

A Checklist of documents that must be verified before the contained data is yielded.

A checklist can be completed by performing the following steps:

  1. Call iter to get an iterator over the list.
  2. For each item, fetch the Document matching the hash that was provided alongside the item, then provide it to the item by calling check.
  3. When all the items have been completed successfully, call complete to get the contained data.

Implementations§

Source§

impl<'a, T> DataChecklist<'a, T>

Source

pub fn iter(&mut self) -> impl Iterator<Item = (Hash, ListItem<'_>)>

Iterate through the whole checklist, going through one Hash and list item at a time. For each item, look up a Document with the same hash and check it with the ListItem’s check function.

Source

pub fn complete(self) -> Result<T>

Complete a checklist, yielding the inner data value if the checklist was successfully iterated over.

Trait Implementations§

Source§

impl<'a, T: Clone> Clone for DataChecklist<'a, T>

Source§

fn clone(&self) -> DataChecklist<'a, T>

Returns a duplicate of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl<'a, T: Debug> Debug for DataChecklist<'a, T>

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl<'a, T> Freeze for DataChecklist<'a, T>
where T: Freeze,

§

impl<'a, T> RefUnwindSafe for DataChecklist<'a, T>
where T: RefUnwindSafe,

§

impl<'a, T> Send for DataChecklist<'a, T>
where T: Send,

§

impl<'a, T> Sync for DataChecklist<'a, T>
where T: Sync,

§

impl<'a, T> Unpin for DataChecklist<'a, T>
where T: Unpin,

§

impl<'a, T> UnwindSafe for DataChecklist<'a, T>
where T: UnwindSafe,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

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

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.