def read_at.exact.bytes

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

import Base
import mylsm-lsm-store@0.6.0.1/src/ByteSstFile.bend as ByteSstFile
import mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend as SstStreamIo
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

177def read_at.exact.bytes(
178  needed: U32,
179  result: Result<&1, &1, U32 & String, Bytes.Bytes>
180) -> Result<&1, &1, U32 & String, SstStreamIo.ExactResult>:
181  match result:
182    case Fail{error}: Fail{error}
183    case Done{bytes}:
184      read_at.exact.length(needed, ByteSstFile.clone.split(bytes))