def open.header.index.length.bytes

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

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

332def open.header.index.length.bytes(
333  file: File,
334  +size: Nat,
335  header: Bytes.Bytes,
336  total: U32,
337  block_count: U32,
338  block_count_nat: U32,
339  result: Result<&1, &1, U32 & String, Bytes.Bytes>
340) -> IO(Result<&1, &1, U32 & String, Reader>):
341  match result:
342    case Fail{error}: open.failed(file, error)
343    case Done{bytes}:
344      open.header.index.length.decoded(file, size, header, total,
345        block_count, block_count_nat, Bytes.get.u32be(bytes, 0))