Struct RunExtent 

pub struct RunExtent { /* private fields */ }

One committed canonicalization run-extent: a contiguous collapse of arity^height consecutive leaves into a single subtree, beginning at leaf index left.

A run-extent is emitted only for a collapse — a frontier node above leaf level (height >= 1). A promoted singleton leaf (height == 0) is structurally deterministic and commits no run-extent (promotion commits nothing, collapse commits its minimal run-extent), so it never appears here.

The extent is the minimal metadata the fill step unrolls from: it says how many real historical leaves a subtree root stands for, so a complete (gapless) history can be recomputed without inferring shape from the digest.

Implementations

impl RunExtent

pub fn left(&self) -> u64

Index of the first leaf this run collapses.

pub fn height(&self) -> u32

Height of the collapsed subtree. The run spans arity.pow(height) leaves.

pub fn span(&self, k: u64) -> u64

Number of leaves this run collapses, given the arity k.

Trait Implementations

impl Clone for RunExtent

fn clone(&self) -> RunExtent

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RunExtent

impl Debug for RunExtent

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

Formats the value using the given formatter.

impl Eq for RunExtent

impl PartialEq for RunExtent

fn eq(&self, other: &RunExtent) -> 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 StructuralPartialEq for RunExtent