def response.length

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

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

682def response.length(
683  file: File,
684  header: Bytes.Bytes,
685  length: Maybe<&2, U32>
686) -> IO(File & Result<&1, &1, Error, Protocol.Response>):
687  match length:
688    case Some{length}:
689      response.length.checked(file, header,
690        Protocol.u32.duplicate.triple(length))
691    case _:
692      IO.pure(File & Result<&1, &1, Error, Protocol.Response>,
693        (file, Fail{MalformedResponse{}}))