def response.header.complete

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

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

702def response.header.complete(
703  file: File,
704  header: Bytes.Bytes,
705  complete: Bool
706) -> IO(File & Result<&1, &1, Error, Protocol.Response>):
707  match complete:
708    case True{}:
709      response.header.length(file, Bytes.get.u32be(header, 20))
710    case False{}:
711      IO.pure(File & Result<&1, &1, Error, Protocol.Response>,
712        (file, Fail{Truncated{}}))