def words

bend-collections-laws-crypto@1.0.0.0 · src/crypto/blake/blake2b/sized.bend:15

import Base

15# The bytes packed four per word, the last word zero-padded.
16def words(bs: List<&2, U32>) -> List<&2, U32>:
17  match bs:
18    case Nil{}:
19      Nil{}
20    case b0 <> Nil{}:
21      [word(b0, 0, 0, 0)]
22    case b0 <> b1 <> Nil{}:
23      [word(b0, b1, 0, 0)]
24    case b0 <> b1 <> b2 <> Nil{}:
25      [word(b0, b1, b2, 0)]
26    case b0 <> b1 <> b2 <> b3 <> rest:
27      word(b0, b1, b2, b3) <> words(rest)