def transpose

bend-edit-distance@0.2.2.0 · src/Reconstruction.bend:204

import Base
import bend-edit-distance@0.2.2.0/EdlibTypes.bend as E

204def transpose(operations: List<&2, E.Operation>) -> List<&2, E.Operation>:
205  match operations:
206    case Nil{}:
207      Nil{}
208    case E.Insert{} <> tail:
209      E.Delete{} <> transpose(tail)
210    case E.Delete{} <> tail:
211      E.Insert{} <> transpose(tail)
212    case operation <> tail:
213      operation <> transpose(tail)