def serial

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

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

import Base

146def serial(jobs: List<&2, WeightedJob>) -> List<&2, IndexedResult>:
147  match jobs:
148    case Nil{}:
149      Nil{}
150    case WeightedJob{index, _, job} <> tail:
151      single(index, job) <> serial(tail)

Uses (4)

Used by (1)

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