def packet.of

bend-kit-postgres@0.3.0.0 · codec.bend:91

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

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

91def packet.of(r: Bytes.Bytes & U32) -> Bytes.Bytes:
92  (body, +n) = r
93  Bytes.append(be32((n + 4 : U32)), body)

Uses (7)

Used by (1)

bend-kit-postgres@0.3.0.0/codec:packet