def seek.block.checked.indices.ready
mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockReader.bend:669
import mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend as ByteBlockReader
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
669def seek.block.checked.indices.ready(
670 file: File,
671 size: Nat,
672 header: Bytes.Bytes,
673 index_offset: Nat,
674 total: U32,
675 root_hash: SHA.Stream,
676 index_hash: SHA.Stream,
677 indices: U32 & (U32 & (U32 & U32)),
678 block_count: U32
679) -> IO(Result<&1, &1, U32 & String, Reader>):
680 match indices:
681 case (compare_index, (state_index, (address_index, read_index))):
682 seek.block.checked.bounds(file, size, header, index_offset, total,
683 seek.block.u32.clone.pair(block_count), root_hash, index_hash,
684 (compare_index, (state_index, (address_index, read_index))))