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{})

Uses (18)

Used by (1)