def seek.block.checked.indices

mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockReader.bend:686

import Base
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

686def seek.block.checked.indices(
687  file: File,
688  size: Nat,
689  header: Bytes.Bytes,
690  index_offset: Nat,
691  total: U32,
692  block_count: U32,
693  root_hash: SHA.Stream,
694  index_hash: SHA.Stream,
695  indices: U32 & (U32 & (U32 & U32))
696) -> IO(Result<&1, &1, U32 & String, Reader>):
697  match block_count:
698    case _:
699      seek.block.checked.indices.ready(file, size, header, index_offset,
700        total, root_hash, index_hash, indices, block_count)