def read_at.exact.pair

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

import Base
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

186def read_at.exact.pair(
187  needed: U32,
188  pair: File & Result<&1, &1, U32 & String, Bytes.Bytes>
189) -> File & Result<&1, &1, U32 & String, SstStreamIo.ExactResult>:
190  match pair:
191    case (file, result): (file, read_at.exact.bytes(needed, result))