~/jendhub

def seek_block_after_validation

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

import mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend as ByteBlockReader
import Base

713# Positions within an SST whose complete index and root were validated by an earlier pass.
714def seek_block_after_validation(
715  reader: Reader,
716  index: U32
717) -> IO(Result<&1, &1, U32 & String, Reader>):
718  match reader:
719    case Reader{file, state}:
720      seek.block.checked(file, state, seek.block.indices.quad(index))

Uses (8)

Used by (1)