def words

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/chacha.bend:78

import Base

78# The words of a byte list, four bytes each (a partial tail is dropped).
79def words(bytes: List<&2, U32>) -> List<&2, U32>:
80  match bytes:
81    case b0 <> b1 <> b2 <> b3 <> rest: word(b0, b1, b2, b3) <> words(rest)
82    case _: Nil{}