Enum DeltaOp 

pub enum DeltaOp {
    SetRoot(Option<NodeId>),
    PutNode {
        target: NodeId,
        fragment: Box<InfinityModule>,
    },
    SetBinding {
        name: String,
        node: NodeId,
    },
    RemoveBinding {
        name: String,
    },
    SetAnnotation {
        node: NodeId,
        kind: AnnotationKind,
    },
    ClearAnnotations,
    SetProvenance(Option<Provenance>),
}

A semantic delta operation.

Variants

SetRoot(Option<NodeId>)

Replace the module root.

PutNode

Replace the content of target with a fragment module’s node 0.

Fields

target: NodeId

fragment: Box<InfinityModule>

SetBinding

Bind (or rebind) a name.

Fields

name: String

node: NodeId

RemoveBinding

Remove a binding by name (no-op when absent).

Fields

name: String

SetAnnotation

Append an annotation.

Fields

node: NodeId

kind: AnnotationKind

ClearAnnotations

Drop every annotation.

SetProvenance(Option<Provenance>)

Replace provenance.

Trait Implementations

impl Clone for DeltaOp

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DeltaOp

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

Formats the value using the given formatter.

impl PartialEq for DeltaOp

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DeltaOp