Struct Anchored 

pub struct Anchored<T, G>
where
    G: PartialEq + Copy,
{ /* private fields */ }

A value computed against a specific edit generation.

An offset is a claim about text. When the text changes the claim expires, and the expiry is invisible: the number is still a number, and it still indexes something. SearchState::refresh existed to prevent exactly this and had zero callers for as long as it existed, which is the argument for making staleness a type rather than a discipline.

Anchored::get takes the CURRENT generation and returns None when they disagree, so a stale read is a visible absence instead of a wrong column.

Implementations

impl<T, G> Anchored<T, G>

where G: PartialEq + Copy,

pub const fn new(value: T, at: G) -> Anchored<T, G>

pub fn get(&self, now: G) -> Option<&T>

The value, if it was computed against now.

pub const fn generation(&self) -> G

The generation this was computed against.

pub const fn get_possibly_stale(&self) -> &T

Read the value regardless of freshness.

Named to be conspicuous at the call site: reaching for it is a claim that staleness does not matter here, and that claim should be visible in review rather than hidden behind a plain accessor.

pub fn is_fresh(&self, now: G) -> bool

Trait Implementations

impl<T, G> Clone for Anchored<T, G>

where T: Clone, G: Clone + PartialEq + Copy,

fn clone(&self) -> Anchored<T, G>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T, G> Copy for Anchored<T, G>

where T: Copy, G: Copy + PartialEq,

impl<T, G> Debug for Anchored<T, G>

where T: Debug, G: Debug + PartialEq + Copy,

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

Formats the value using the given formatter.

impl<T, G> Eq for Anchored<T, G>

where T: Eq, G: Eq + PartialEq + Copy,

impl<T, G> PartialEq for Anchored<T, G>

where T: PartialEq, G: PartialEq + Copy,

fn eq(&self, other: &Anchored<T, G>) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<T, G> StructuralPartialEq for Anchored<T, G>

where T: PartialEq, G: PartialEq + Copy,