def be32s

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

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

125def be32s(xs: List<&2, U32>) -> List<&1, Bytes.Bytes>:
126  match xs:
127    case Nil{}:
128      Nil{}
129    case Con{h, t}:
130      Con{be32(h), be32s(t)}