def parse.records.start
mylsm-lsm-store@0.6.0.1 · src/SstFile.bend:852
import mylsm-lsm-store@0.6.0.1/src/SstFile.bend as SstFile
import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
852def parse.records.start(
853 cursor: Bytes.Cursor,
854 +count: U32,
855 +payload_len: U32,
856 previous: Maybe<&2, String>
857) -> Bytes.Cursor & Result<&1, &1, Error, ParsedEntries>:
858 match count:
859 case 0:
860 parse.records.zero(cursor, previous, U32.is_eq(payload_len, 0))
861 case _:
862 parse.records.go(U32.to_nat(count),
863 parse.records.decision(parse.record.read(cursor, payload_len, previous, U32.is_eq(count, 1))),
864 payload_len, Nil{})