def apply

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

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/spec/crypto/blake/blake2b.bend as B

43def apply(v: T.State, +a: Nat, +b: Nat, +c: Nat, +d: Nat, q: T.Quad) -> T.State:
44  match q:
45    case T.Q{qa, qb, qc, qd}:
46      B.put(B.put(B.put(B.put(v, a, qa), b, qb), c, qc), d, qd)