def notices.enc
import bend-kit-postgres@0.3.0.0/codec.bend as Codecimport Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
165def notices.enc(xs: List<&1, Notice>) -> List<&1, Bytes.Bytes>:
166 match xs:
167 case Nil{}:
168 [byte1(0)]
169 case Con{Notice{+k, v}, t}:
170 Con{Bytes.append(byte1(k), cstr.enc(v)), notices.enc(t)}