def schedules

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

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

222def schedules(ws: List<&2, T.Lane>, +extra: Nat) -> List<&2, List<&2, T.Lane>>:
223  match ws:
224    case a <> b <> c <> d <> e <> f <> g <> h <> i <> j <> k <> l <> m <> n <> o <> p <> rest:
225      schedule(extra, [a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p]) <> schedules(rest, extra)
226    case _:
227      Nil{}