def cr.hash.feed

bend-osdev-crypto@0.1.0.0 · hash.bend:27

import bend-osdev-crypto@0.1.0.0/hash.bend as Hash
import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

27def cr.hash.feed(~H: Data, ~update: H -> B.Octets -> H, ps: List<&2, B.Octets>, s: H) -> H:
28  match ps:
29    case Nil{}:
30      s
31    case Con{p, t}:
32      cr.hash.feed(~H, ~update, t, update(s, p))

Uses (2)

Used by (1)