AlphaGitHub
Source/Packages

Data.SHA256Digest

packages/foundation/standard/src/Data/SHA256Digest.alpha

1,631 lines150 declarations64.2 KiBSHA-256 c46a79f2ab9a
Download exact fileView at revisionf5034773ad4bb52133

def · lines 854–886

sha256DigestStateBytes

Full file
854def sha256DigestStateBytes =
855  (lambda unrestricted state : (family SHA256State) .
856    (eliminate
857      SHA256State
858      (lambda unrestricted current : (family SHA256State) . Bytes)
859      state
860      (branch
861        SHA256StateValue
862        w0
863        w1
864        w2
865        w3
866        w4
867        w5
868        w6
869        w7
870        .
871        (bytes-builder-build
872          (bytes-builder-append
873            (bytes-builder-chunk (dataBytesWord32BE w0))
874            (bytes-builder-append
875              (bytes-builder-chunk (dataBytesWord32BE w1))
876              (bytes-builder-append
877                (bytes-builder-chunk (dataBytesWord32BE w2))
878                (bytes-builder-append
879                  (bytes-builder-chunk (dataBytesWord32BE w3))
880                  (bytes-builder-append
881                    (bytes-builder-chunk (dataBytesWord32BE w4))
882                    (bytes-builder-append
883                      (bytes-builder-chunk (dataBytesWord32BE w5))
884                      (bytes-builder-append
885                        (bytes-builder-chunk (dataBytesWord32BE w6))
886                        (bytes-builder-chunk (dataBytesWord32BE w7)))))))))))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.