def wal.batches.measure.go

mylsm-lsm-store@0.6.0.1 · src/transfer/MigrateIo.bend:679

import Base
import mylsm-lsm-store@0.6.0.1/src/Wal.bend as Wal

679def wal.batches.measure.go(
680  batches: List<&2, Wal.Batch>,
681  reversed: List<&2, Wal.Batch>,
682  count: Nat
683) -> List<&2, Wal.Batch> & Nat:
684  match batches:
685    case Nil{}: (List.reverse(&2, Wal.Batch, reversed), count)
686    case Con{batch, tail}:
687      wal.batches.measure.go(tail, Con{batch, reversed}, Nat.add(count, 1n))