def names.enc

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

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

158def names.enc(xs: List<&1, Bytes.Bytes>) -> List<&1, Bytes.Bytes>:
159  match xs:
160    case Nil{}:
161      [byte1(0)]
162    case Con{h, t}:
163      Con{cstr.enc(h), names.enc(t)}