def fold
import bend-collections-laws-crypto@1.0.0.0/src/crypto/hash.bend as Hashimport Base
525def fold(chunks: List<&2, List<&2, U32>>, h: Hasher) -> Hasher:
526 match chunks:
527 case Nil{}:
528 h
529 case c <> rest:
530 fold(rest, update(h, c))
Uses (4)
Used by (7)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/hash:update_all
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/hash/incremental:incremental256
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/hash/incremental:incremental3
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/hash/incremental:incremental512
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/hash/incremental:state256
- …