def seek.block.validated

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

import Base
import mylsm-lsm-store@0.6.0.1/src/coordinator/QueuePolicy.bend as QueuePolicy
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

633def seek.block.validated(
634  file: File,
635  size: Nat,
636  header: Bytes.Bytes,
637  index_offset: Nat,
638  total: U32,
639  block_count: U32,
640  root_hash: SHA.Stream,
641  index_hash: SHA.Stream,
642  indices: U32 & U32 & U32,
643  valid: Bool
644) -> IO(Result<&1, &1, U32 & String, Reader>):
645  seek.block.offsets(file, size, header, QueuePolicy.nat.clone.pair(index_offset),
646    total, block_count, root_hash, index_hash, indices, valid)