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)

Uses (13)

Used by (1)