~/jendhub

def records.read.start

mylsm-lsm-store@0.6.0.1 · src/Wal.bend:382

import mylsm-lsm-store@0.6.0.1/src/Wal.bend as Wal
import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

382def records.read.start(
383  cursor: Bytes.Cursor,
384  +count: U32
385) -> Bytes.Cursor & Result<&1, &1, Error, List<&2, Mut>>:
386  match count:
387    case 0:
388      (cursor, Done{Nil{}})
389    case _:
390      records.read.go(Nat.sub(U32.to_nat(count), 1n),
391        records.read.wrap(record.read(cursor)), Nil{})

Uses (16)

Used by (1)