Enum Edit 

pub enum Edit<L: Lang> {
    Replace {
        target: L::Id,
        with: L::Id,
    },
    Delete {
        node: L::Id,
    },
    Splice {
        node: L::Id,
        index: usize,
        remove: usize,
        insert: Vec<L::Id>,
    },
    Multi(Vec<Edit<L>>),
}

一次结构编辑提案。

Variants

Replace

用 with 子树替换 target 节点（target 必须有父节点）。

Fields

target: L::Id

with: L::Id

Delete

删除一个节点（其父从 children 中移除该槽位）。

Fields

node: L::Id

Splice

对 node 自身的 children 做切片编辑。

Fields

node: L::Id

index: usize

remove: usize

insert: Vec<L::Id>

Multi(Vec<Edit<L>>)

多个编辑按序原子应用。 约束：前面的编辑不得使后面编辑的 (parent, index) 失效—— 先替换靠后的节点、后删除靠前的节点是安全顺序。

Implementations

impl<L: Lang> Edit<L>

pub fn cost_reduction(&self, lang: &mut L) -> u64

应用本编辑会带来的成本降幅（严格 > 0 才允许生效）。

Trait Implementations

impl<L: Debug + Lang> Debug for Edit<L>

where L::Id: Debug,

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

Formats the value using the given formatter.