def payload.header

mylsm-lsm-store@0.6.0.1 · src/coordinator/Io.bend:529

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

529def payload.header(
530  file: File,
531  header: Bytes.Bytes,
532  length: U32,
533  max_payload: Nat
534) -> IO(File & Result<&1, &1, Error, Protocol.Request>):
535  do IO<File & Result<&1, &1, Error, Protocol.Request>>:
536    payload : File & Result<&1, &1, U32 & String, ExactResult> <-
537      exact.start(file, U32.to_nat(length))
538    payload.result(header, payload, max_payload)