~/jendhub

def choose_operation

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

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

22def choose_operation(matches: Bool, up_is_best: Bool, left_is_best: Bool) -> E.Operation:
23  match up_is_best left_is_best:
24    case True{} _:
25      E.Insert{}
26    case False{} True{}:
27      E.Delete{}
28    case False{} False{}:
29      diagonal_operation(matches)

Uses (3)

Used by (1)