def cursor.list.length.keep.go

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

import Base

938def cursor.list.length.keep.go(
939  cursors: List<&2, CursorResource>,
940  reversed: List<&2, CursorResource>,
941  length: Nat
942) -> List<&2, CursorResource> & Nat:
943  match cursors:
944    case Nil{}: (List.reverse(&2, CursorResource, reversed), length)
945    case Con{resource, tail}:
946      cursor.list.length.keep.go(tail, Con{resource, reversed},
947        Nat.add(length, 1n))