def update_best

bend-edit-distance@0.2.2.0 · src/Alignment.bend:14

import bend-edit-distance@0.2.2.0/src/Alignment.bend as Alignment
import Base

14def update_best(best: Best, score: U32, location: Location, comparison: Cmp) -> Best:
15  match best comparison:
16    case Best{_, _} LT{}:
17      Best{score, [location]}
18    case Best{old, locations} EQ{}:
19      Best{old, location <> locations}
20    case _ GT{}:
21      best

Uses (5)

Used by (1)