Sha256.sha256_packed: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/hub_sha/sha256.bend as Sha256
Lines 179-184 of mylsm-lsm-store@0.6.0.1/src/hub_sha/sha256.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/hub_sha/sha256.bend&start_line=179&end_line=184

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Packed

# SHA-256 directly over packed bytes. Full blocks are read as sixteen u32be
# words; only the final 0..63 octets use the existing tail padding interface.
def sha256_packed(bytes: Packed.Bytes) -> List<&2, U32>:
  match bytes:
    case Packed.Bytes{+len, buf}:
      packed.start(len, Packed.Cursor.new(Packed.Bytes{len, buf}))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Cursor.new
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/hub_sha/sha256.bend&name=packed.start