def band_finish

bend-edit-distance@0.2.2.0 · src/Myers.bend:356

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

356def band_finish(band: Band, maximum: Nat, padding: Nat,
357                blocks: Nat, columns: Nat) -> Search:
358  match band:
359    case Band{_, Nil{}, _}:
360      Search{E.NotFound{}, blocks, columns, 1n}
361    case Band{_, entries, Nil{}}:
362      +score = band_last_score(entries, padding)
363      Search{Bool.pick(E.EditDistance, Nat.is_le(score, maximum), E.Found{score}, E.NotFound{}),
364        blocks, columns, 1n}
365    case _:
366      Search{E.NotFound{}, blocks, columns, 1n}