def encode.page.block.measured

mylsm-lsm-store@0.6.0.1 · src/ByteSstFile.bend:534

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

534def encode.page.block.measured(
535  measured: Bytes.Bytes & U32,
536  checksum: Bytes.Bytes,
537  count: U32,
538  separator: Bytes.Bytes,
539  separator_length: U32
540) -> Result<&1, &1, Error, EncodedBlock>:
541  match measured:
542    case (bytes, +byte_length):
543      Done{EncodedBlock{bytes, byte_length, checksum, count, separator,
544        separator_length}}