def got
bend-kit-postgres@0.3.0.0 · postgres.bend:143
import bend-kit-postgres@0.3.0.0/postgres.bend as Postgres
import Base
import bend-kit-postgres@0.3.0.0/codec.bend as Codec
143def got(+tls: Bool, +key: String, +ms: U32, +status: U32, rd: Codec.Reader, m: Socket & Result<&1, &1, U32 & String, U32 & Array<U32>>) -> Rd:
144 (s, r) = m
145 match r:
146 case Fail{(code, why)}:
147 RFail{tls, s, IoFail{code, why}}
148 case Done{(+len, words)}:
149 got.len(U32.is_zero(len), tls, key, ms, status, rd, s, len, words)