def words

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/sha512.bend:181

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/types.bend as T

181# Big-endian 64-bit words, eight bytes each (a trailing partial word is dropped;
182# padded messages have none).
183def words(bytes: List<&2, U32>) -> List<&2, T.Lane>:
184  match bytes:
185    case a <> b <> c <> d <> e <> f <> g <> h <> rest:
186      T.W{decode(a, b, c, d), decode(e, f, g, h)} <> words(rest)
187    case _:
188      Nil{}