def frame.payload.output

mylsm-lsm-store@0.6.0.1 · src/Wal.bend:286

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

286def frame.payload.output(
287  count: U32,
288  hash_payload: Bytes.Bytes,
289  measured: Bytes.Bytes & U32
290) -> Result<&1, &1, Error, Bytes.Bytes>:
291  match measured:
292    case (payload, +payload_len):
293      frame.payload.fin(count, payload, hash_payload,
294        StorageBytes.checked_add(payload_len, 36))