def next_row

bend-edit-distance@0.2.2.0 · src/DistanceDP.bend:37

import bend-edit-distance@0.2.2.0/src/DistanceDP.bend as DistanceDP

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

37def next_row(previous: List<U32>, columns: String, symbol: Char,
38             +index: U32, pairs: List<&2, E.EqualityPair>) -> List<U32>:
39  match previous:
40    case Nil{}:
41      [index]
42    case diagonal <> rest:
43      index <> row_cells(columns, rest, diagonal, index, symbol, pairs)

Uses (6)

Used by (2)