Enum OperationKind 

pub enum OperationKind {
    AddFunction {
        sig_id: SigId,
        stage_id: StageId,
        effects: EffectSet,
    },
    RemoveFunction {
        sig_id: SigId,
        last_stage_id: StageId,
    },
    ModifyBody {
        sig_id: SigId,
        from_stage_id: StageId,
        to_stage_id: StageId,
    },
    RenameSymbol {
        from: SigId,
        to: SigId,
        body_stage_id: StageId,
    },
    ChangeEffectSig {
        sig_id: SigId,
        from_stage_id: StageId,
        to_stage_id: StageId,
        from_effects: EffectSet,
        to_effects: EffectSet,
    },
    AddImport {
        in_file: String,
        module: ModuleRef,
    },
    RemoveImport {
        in_file: String,
        module: ModuleRef,
    },
    AddType {
        sig_id: SigId,
        stage_id: StageId,
    },
    RemoveType {
        sig_id: SigId,
        last_stage_id: StageId,
    },
    ModifyType {
        sig_id: SigId,
        from_stage_id: StageId,
        to_stage_id: StageId,
    },
    Merge {
        resolved: usize,
    },
}

The kinds of operations that produce stage transitions. Mirrors the initial set in #129; new kinds (MoveBetweenFiles, SplitFunction, ExtractType) can be added later as long as they’re appended at the end of this enum or use explicit #[serde(rename = "...")] tags so existing OpIds stay stable.

Variants

AddFunction

New function published. effects is the effect set declared in the signature; tracked here (not just inside the stage) so #130’s write-time gate has a cheap path to check effect changes without rehydrating the AST.

Fields

sig_id: SigId

stage_id: StageId

effects: EffectSet

RemoveFunction

Function removed; last_stage_id is the head before the remove (so blame can walk the predecessor without scanning).

Fields

sig_id: SigId

last_stage_id: StageId

ModifyBody

Function body changed; signature unchanged.

Fields

sig_id: SigId

from_stage_id: StageId

to_stage_id: StageId

RenameSymbol

Symbol renamed. The body hash is preserved (body_stage_id) so two renames of the same body collapse to the same OpId and lex blame walks the rename as a single causal event rather than delete + add.

Fields

from: SigId

to: SigId

body_stage_id: StageId

ChangeEffectSig

Effect signature changed. Captures both old and new effect sets so the write-time gate (#130) can verify importers haven’t silently broken.

Fields

sig_id: SigId

from_stage_id: StageId

to_stage_id: StageId

from_effects: EffectSet

to_effects: EffectSet

AddImport

Import added to a file. in_file is the canonical path (relative to the repo root, forward-slashes) so two machines hashing the same edit get the same OpId.

Fields

in_file: String

module: ModuleRef

RemoveImport

Fields

in_file: String

module: ModuleRef

AddType

Fields

sig_id: SigId

stage_id: StageId

RemoveType

Fields

sig_id: SigId

last_stage_id: StageId

ModifyType

Fields

sig_id: SigId

from_stage_id: StageId

to_stage_id: StageId

Merge

Merge of two branch heads. Carries only an informational count of resolved sigs so two structurally identical merges of different sizes don’t collide on op_id; the per-sig deltas live in OperationRecord::produces (StageTransition::Merge).

Fields

resolved: usize

Implementations

impl OperationKind

pub fn merge_target(&self) -> Option<(SigId, Option<StageId>)>

The (SigId, Option<StageId>) an op kind targets, as used by StageTransition::Merge::entries. Used by the merge-commit path (#134) to translate a Resolution::Custom { op } into the head-map delta the merge op records:

• Adds → (sig, Some(stage_id))
• Modifies → (sig, Some(to_stage_id))
• Removes → (sig, None)
• Renames → (to_sig, Some(body_stage_id))
• AddImport / RemoveImport / nested Merge → None (no single sig→stage delta)

Trait Implementations

impl Clone for OperationKind

fn clone(&self) -> OperationKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OperationKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for OperationKind

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for OperationKind

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for OperationKind

impl StructuralPartialEq for OperationKind