def parse.multi.sized

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

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

1918def parse.multi.sized(
1919  source: Bytes.Bytes,
1920  measured: Bytes.Bytes & U32,
1921  level: U32,
1922  total: U32,
1923  block_count: U32
1924) -> Result<&1, &1, Error, ByteMemTable.Table>:
1925  match measured:
1926    case (file, +size):
1927      +blocks = U32.to_nat(block_count)
1928      +entries = U32.to_nat(total)
1929      +level_value = U32.to_nat(level)
1930      +size_nat = U32.to_nat(size)
1931      parse.multi.sized.index.read(source, clone.split(file), blocks,
1932        entries, level_value, size_nat)