def seek.block.checked

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

import Base

702def seek.block.checked(
703  file: File,
704  state: State,
705  indices: U32 & (U32 & (U32 & U32))
706) -> IO(Result<&1, &1, U32 & String, Reader>):
707  match state:
708    case State{size, header, index_offset, _, total, block_count, _, _,
709        root_hash, index_hash, _, _}:
710      seek.block.checked.indices(file, size, header, index_offset, total,
711        block_count, root_hash, index_hash, indices)