Struct History 

pub struct History<V> { /* private fields */ }

A finite, causally closed set of writes satisfying the merge proof’s four assumptions. It is also an in-memory oracle for an applied set. Test support: requires test-utils outside this crate’s unit tests.

Implementations

impl<V> History<V>

pub fn new( writes: impl IntoIterator<Item = Write<V>>, ) -> Result<Self, MergeError>

Validate a set without imposing an arrival order. Check timestamp uniqueness, timestamp causality, generation witnesses and parity.

pub fn writes(&self) -> &BTreeMap<WriteId, Write<V>>

Writes by their device and number; this is a set, not an arrival order.

Trait Implementations

impl<V: Clone> Clone for History<V>

fn clone(&self) -> History<V>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<V: Debug> Debug for History<V>

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

Formats the value using the given formatter.

impl<V> WriteOracle for History<V>

type Error = MergeError

Reading the metadata failed, or a merge check on it did.

fn timestamp(&self, write: WriteId) -> Result<Option<Timestamp>, MergeError>

The timestamp of an applied write, or None if it is not applied.

fn had_read( &self, reader: WriteId, earlier: WriteId, ) -> Result<bool, MergeError>

Whether an applied write had read another write.