def parse.multi.table.updated

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

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

1649def parse.multi.table.updated(
1650  result: Result<&1, &1, Error, ByteMemTable.Table>,
1651  file: Bytes.Bytes,
1652  index_offset: Nat,
1653  next_block: Nat,
1654  block_count: Nat,
1655  level: U32,
1656  total: Nat,
1657  decoded: Nat,
1658  record_count: Nat
1659) -> Result<&1, &1, Error, MultiRead>:
1660  match result:
1661    case Fail{error}: Fail{error}
1662    case Done{table}:
1663      Done{MultiRead{file, index_offset, Nat.add(next_block, 1n),
1664        block_count, level, total, Nat.add(decoded, record_count), table}}