def hs.md.push

bend-osdev-hashes@0.1.0.0 · hashes.bend:117

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-word64@0.1.0.0/word64.bend as W

117def hs.md.push(~C: Data, ~compress: C -> List<&2, U32> -> C, full: Bool, cv: C, buf: List<&2, U32>, cnt: U32, nb: W.W64) -> HsMdState<C>:
118  match full:
119    case True{}:
120      HsMdState{compress(cv, B.rev(buf)), Nil{}, 0, W.W64.add(nb, W.W64.one())}
121    case False{}:
122      HsMdState{cv, buf, U32.add(cnt, 1), nb}