Trait WritePast 

pub trait WritePast {
    // Required methods
    fn contains(&self, write: &WriteId) -> bool;
    fn frontier(&self) -> impl Iterator<Item = &WriteId>;
}

A causally closed authored past. Its frontier bounds the timestamps of every covered write; sequence order itself is not timestamp order.

Required Methods

fn contains(&self, write: &WriteId) -> bool

Whether the writer had consumed this write’s position.

fn frontier(&self) -> impl Iterator<Item = &WriteId>

Writes whose causal pasts cover this entire past, including themselves.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl WritePast for BTreeSet<WriteId>

fn contains(&self, write: &WriteId) -> bool

fn frontier(&self) -> impl Iterator<Item = &WriteId>

Implementors

impl<F: Fn(&WriteId) -> Option<Slot>> WritePast for SlotPast<F>