def response.payload

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

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

650def response.payload(
651  file: File,
652  header: Bytes.Bytes,
653  length: U32
654) -> IO(File & Result<&1, &1, Error, Protocol.Response>):
655  do IO<File & Result<&1, &1, Error, Protocol.Response>>:
656    payload : File & Result<&1, &1, U32 & String, ExactResult> <-
657      exact.start(file, U32.to_nat(length))
658    response.payload.result(header, payload)