def read_request.limited

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

import Base
import mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend as Protocol

599def read_request.limited(
600  file: File,
601  max_payload: Nat
602) -> IO(
603  File & Result<&1, &1, Error, Protocol.Request>
604):
605  do IO<File & Result<&1, &1, Error, Protocol.Request>>:
606    header : File & Result<&1, &1, U32 & String, ExactResult> <-
607      exact.start(file, 24n)
608    header.result(header, max_payload)