Struct Replay 

pub struct Replay {
    pub older: usize,
    pub replayed: usize,
    pub rows: Range<usize>,
    pub by: usize,
    pub drop: usize,
}

What a lazily flushed head does at a token whose log, the token’s own entry appended, holds count tokens (Replay::at).

Fields

older: usize

The log’s oldest tokens being replayed into the memory: rows below replayed are, and read through the fold over the tokens after these alone; every other row reads through the whole log.

replayed: usize

rows: Range<usize>

The rows the token replays the log’s first by tokens into, each stored once.

by: usize

drop: usize

Tokens dropped from the log’s front once the token is through.

Implementations

impl Replay

pub fn at(flush: StateFlush, width: usize, count: usize) -> Replay

The token of a width-row head whose log holds count tokens under flush. Every tokens: every row reads through the whole log, and once it holds tokens every row replays it and it empties. Trailing tokens: once the log holds a window past the first, the token at count replays the first window into the rows of share j = count − tokens − 1, from row j·width/tokens to row (j+1)·width/tokens; the rows of the shares before read through the newer tokens; at 2·tokens every row has replayed it and the window is dropped.

pub fn capacity(flush: StateFlush) -> usize

The tokens a lazily flushed memory’s log holds at its longest under flush.

Trait Implementations

impl Clone for Replay

fn clone(&self) -> Replay

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Replay

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

Formats the value using the given formatter.

impl PartialEq for Replay

fn eq(&self, other: &Replay) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Replay

impl StructuralPartialEq for Replay