def seek.block.read

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

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

555def seek.block.read(
556  state: State,
557  index: U32,
558  pair: File & Result<&1, &1, U32 & String, Bytes.Bytes>
559) -> IO(Result<&1, &1, U32 & String, Reader>):
560  match pair:
561    case (file, Fail{_}): seek.block.invalid(file)
562    case (file, Done{bytes}):
563      seek.block.decoded(state, index, file, seek.block.words(bytes))