def words

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/argon2/argon2.bend:39

import Base

39# Bytes as little-endian words, the last one zero-padded.
40def words(bs: List<&2, U32>) -> List<&2, U32>:
41  match bs:
42    case Nil{}:
43      Nil{}
44    case b0 <> Nil{}:
45      [word(b0, 0, 0, 0)]
46    case b0 <> b1 <> Nil{}:
47      [word(b0, b1, 0, 0)]
48    case b0 <> b1 <> b2 <> Nil{}:
49      [word(b0, b1, b2, 0)]
50    case b0 <> b1 <> b2 <> b3 <> rest:
51      word(b0, b1, b2, b3) <> words(rest)