def reply

bend-kit-postgres@0.3.0.0 · postgres.bend:191

import Base
import bend-kit-postgres@0.3.0.0/codec.bend as Codec

191# The next message after a send.
192def reply(r: Result<&1, &1, Failure, Conn>) -> IO(Result<&1, &1, Failure, Conn & Codec.Back>):
193  match r:
194    case Fail{e}:
195      IO.pure(Result<&1, &1, Failure, Conn & Codec.Back>, Fail{e})
196    case Done{c}:
197      read(c)