def indexed

bend-edit-distance@0.2.2.0 · src/Batch.bend:71

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

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

71def indexed(jobs: List<&2, E.AlignJob>, +index: Nat) -> List<&2, WeightedJob>:
72  match jobs:
73    case Nil{}:
74      Nil{}
75    case +job <> tail:
76      WeightedJob{index, estimate(job), job} <> indexed(tail, 1n+index)

Uses (5)

Used by (1)

bend-edit-distance@0.2.2.0/src/Batch:prepare