def blocks

bend-collections@1.0.0.0 · src/crypto/sha512/core.bend:113

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

113# Every whole block of sixteen words; a shorter tail is ignored (padded
114# messages have none).
115def blocks(ws: List<&2, T.Lane>, +q: Nat, +ks: List<&2, T.Lane>, s: T.State) -> T.State:
116  match ws:
117    case a <> b <> c <> d <> e <> f <> g <> h <> i <> j <> k <> l <> m <> n <> o <> p <> rest:
118      blocks(rest, q, ks, compress16(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, ks, s))
119    case _:
120      s

Uses (5)

Used by (2)