def chain_bytes

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

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

96def chain_bytes(h: T.Chain) -> List<&2, U32>:
97  match h:
98    case T.H{h0, h1, h2, h3, h4, h5, h6, h7}:
99      List.concat(&2, U32, [lane_bytes(h0), lane_bytes(h1), lane_bytes(h2), lane_bytes(h3), lane_bytes(h4), lane_bytes(h5), lane_bytes(h6), lane_bytes(h7)])