ByteBlockReader.next.body.output.count: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend as ByteBlockReader
Lines 1178-1211 of mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend&start_line=1178&end_line=1211

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

def next.body.output.count(
  file: File,
  +size: Nat,
  header: Bytes.Bytes,
  +index_offset: Nat,
  +used: Nat,
  total: U32,
  block_count: U32,
  next_block: U32,
  decoded: U32,
  root_hash: SHA.Stream,
  index_hash: SHA.Stream,
  block_bytes: Bytes.Bytes,
  +payload_length: U32,
  entry_count: U32,
  entries: List<&1, ByteMemTable.Entry>,
  last_key: Maybe<&1, Bytes.Bytes>,
  valid: Bool,
  selected: Bool
) -> IO(Result<&1, &1, U32 & String, Step>):
  match valid:
    case False{}:
      close.failed(file, corruption("byte SST keys are not strictly ordered"))
    case True{}:
      +block_length = U32.add(40, payload_length)
      +checksum_offset = U32.add(8, payload_length)
      block_checksum = bytes.slice.result(Bytes.slice(block_bytes,
        checksum_offset, 32))
      +next_used = Nat.add(used, U32.to_nat(block_length))
      +next_decoded = U32.add(decoded, entry_count)
      +next_number = U32.add(next_block, 1)
      next.body.output.hashes(file, size, header, index_offset, next_used,
        total, block_count, next_number, next_decoded, last_key, entries,
        block_checksum, root_hash, index_hash, selected)

Uses (22):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=File
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=slice
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend&name=Entry
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/hub_sha/sha256.bend&name=Stream
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend&name=bytes.slice.result
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend&name=close.failed
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend&name=corruption
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend&name=next.body.output.hashes