def response.header.result
mylsm-lsm-store@0.6.0.1 · src/coordinator/Io.bend:714
import mylsm-lsm-store@0.6.0.1/src/coordinator/Io.bend as Io
import Base
import mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend as Protocol
714def response.header.result(
715 pair: File & Result<&1, &1, U32 & String, ExactResult>
716) -> IO(File & Result<&1, &1, Error, Protocol.Response>):
717 match pair:
718 case (file, Fail{(code, message)}):
719 IO.pure(File & Result<&1, &1, Error, Protocol.Response>,
720 (file, Fail{host.error(code, message)}))
721 case (file, Done{ExactResult{bytes, complete}}):
722 response.header.complete(file, bytes, complete)