def parse.multi.block.offset

mylsm-lsm-store@0.6.0.1 · src/ByteSstFile.bend:1777

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

1777def parse.multi.block.offset(
1778  pair: Bytes.Bytes & Maybe<&2, U32>,
1779  index_offset: Nat,
1780  next_block: Nat,
1781  block_count: Nat,
1782  level: U32,
1783  total: Nat,
1784  decoded: Nat,
1785  table: ByteMemTable.Table
1786) -> Result<&1, &1, Error, MultiRead>:
1787  match pair:
1788    case (file, Some{block_offset}):
1789      parse.multi.block.payload(Bytes.slice(file, block_offset, 4294967295),
1790        index_offset, next_block, block_count, level, total, decoded, table)
1791    case _:
1792      Fail{Malformed{}}