Enum DiffSkipHint 

pub enum DiffSkipHint {
    FullDiff,
    SkipDiff,
    NarrowToRows(Vec<u16>),
}

Hint from a render certificate evaluator about what diff work can be skipped.

The runtime evaluates a certificate (e.g., from render_certificate::CertificateEvaluator) and translates the result into a DiffSkipHint that BufferDiff::compute_certified_into can act on.

Safety contract

The hint must be correct: SkipDiff must only be issued when the caller can guarantee that old and new buffers are byte-identical. NarrowToRows must include all rows that actually changed. Incorrect hints produce stale frames — the diff engine trusts the hint without verification.

Variants

FullDiff

No skip — perform standard dirty-diff computation.

SkipDiff

Skip diff entirely — buffers are guaranteed identical.

NarrowToRows(Vec<u16>)

Only diff the specified rows — all other rows are guaranteed clean.

Implementations

impl DiffSkipHint

pub fn skips_work(&self) -> bool

Whether this hint skips any work.

pub fn label(&self) -> &'static str

Human-readable label for evidence logging.

Trait Implementations

impl Clone for DiffSkipHint

fn clone(&self) -> DiffSkipHint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DiffSkipHint

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

Formats the value using the given formatter.

impl PartialEq for DiffSkipHint

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

impl StructuralPartialEq for DiffSkipHint