def parse.header.payload
mylsm-lsm-store@0.6.0.1 · src/ByteSstFile.bend:929
import mylsm-lsm-store@0.6.0.1/src/ByteSstFile.bend as ByteSstFile
import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
929def parse.header.payload(
930 pair: Bytes.Cursor & Maybe<&2, U32>,
931 size: U32,
932 level: U32,
933 total: U32
934) -> Result<&1, &1, Error, PayloadWords>:
935 match pair:
936 case (cursor, Some{payload_len}):
937 parse.header.entries(Bytes.Cursor.u32be(cursor), size, level, total,
938 payload_len)
939 case _:
940 Fail{Malformed{}}