def read_response

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

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

724# Reads and validates one length-bounded response frame.
725def read_response(
726  file: File
727) -> IO(File & Result<&1, &1, Error, Protocol.Response>):
728  do IO<File & Result<&1, &1, Error, Protocol.Response>>:
729    header : File & Result<&1, &1, U32 & String, ExactResult> <-
730      exact.start(file, 24n)
731    response.header.result(header)