def header.length.result

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

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

552def header.length.result(
553  file: File,
554  pair: Bytes.Bytes & Maybe<&2, U32>,
555  max_payload: Nat
556) -> IO(File & Result<&1, &1, Error, Protocol.Request>):
557  match pair:
558    case (bytes, length): header.length(file, bytes, length, max_payload)