def scatter_all

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

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

170def scatter_all(idxs: List<&2, List<&2, Nat>>, ss: List<&2, T.State>, b: A.Block) -> A.Block:
171  match idxs ss:
172    case i <> ix s <> rest:
173      scatter_all(ix, rest, scatter(b, i, s))
174    case _ _:
175      b