Struct Edit 

pub struct Edit {
    pub file: PathBuf,
    pub byte_start: usize,
    pub byte_end: usize,
    pub new_text: String,
    pub expected_before: EditVerification,
}

The fundamental edit primitive: byte-span replacement with verification.

All high-level operations (AST transforms, structural edits, diffs) compile down to this single primitive. Intelligence lives in span acquisition, not application.

Fields

file: PathBuf

Path to the file to edit (absolute, workspace-relative resolved)

byte_start: usize

Starting byte offset (inclusive)

byte_end: usize

Ending byte offset (exclusive)

new_text: String

New text to insert at [byte_start, byte_end)

expected_before: EditVerification

Verification of what we expect to find before applying

Implementations

impl Edit

pub fn new( file: impl Into<PathBuf>, byte_start: usize, byte_end: usize, new_text: impl Into<String>, expected_before: impl Into<String>, ) -> Self

Create a new edit with automatic verification generation.

pub fn with_verification( file: impl Into<PathBuf>, byte_start: usize, byte_end: usize, new_text: impl Into<String>, verification: EditVerification, ) -> Self

Create an edit with explicit verification strategy.

pub fn apply(&self) -> Result<EditResult, EditError>

Apply this edit to the file system atomically.

Uses tempfile + fsync + rename for crash safety.

pub fn apply_batch(edits: Vec<Edit>) -> Result<Vec<EditResult>, EditError>

Apply multiple edits to the same file in a single atomic operation.

Edits are sorted by byte_start descending and applied bottom-to-top to avoid offset invalidation.

Trait Implementations

impl Clone for Edit

fn clone(&self) -> Edit

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Edit

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

Formats the value using the given formatter.

impl PartialEq for Edit

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

impl StructuralPartialEq for Edit