def send.after

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

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

115def send.after(+tls: Bool, rd: Codec.Reader, +key: String, +ms: U32, +status: U32, m: Socket & Result<&1, &1, U32 & String, Unit>) -> IO(Result<&1, &1, Failure, Conn>):
116  (s, r) = m
117  match r:
118    case Fail{(code, why)}:
119      do IO<Result<&1, &1, Failure, Conn>>:
120        io.close(tls, s)
121        return Fail{IoFail{code, why}}
122    case Done{u}:
123      IO.pure(Result<&1, &1, Failure, Conn>, Done{Conn{tls, s, rd, key, ms, status}})