def snapshot.list.cursor.length.keep.go

mylsm-lsm-store@0.6.0.1 · src/scan/Snapshot.bend:649

import Base

649def snapshot.list.cursor.length.keep.go(
650  snapshots: List<&2, SnapshotResource>,
651  reversed: List<&2, SnapshotResource>,
652  length: Nat
653) -> List<&2, SnapshotResource> & Nat:
654  match snapshots:
655    case Nil{}:
656      (List.reverse(&2, SnapshotResource, reversed), length)
657    case Con{resource, tail}:
658      snapshot.list.cursor.length.keep.go(tail, Con{resource, reversed},
659        Nat.add(length, 1n))