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 1490–1496

sha256DigestIdentityBinary

Full file
A checked identity owns only the 32-byte digest. Canonical lowercase hexadecimal is derived, so no constructor can pair valid binary bytes with unrelated display text.
1490def sha256DigestIdentityBinary =
1491  (lambda unrestricted identity : (family SHA256DigestIdentity) .
1492    (eliminate
1493      SHA256DigestIdentity
1494      (lambda unrestricted current : (family SHA256DigestIdentity) . (family SHA256Digest))
1495      identity
1496      (branch SHA256DigestIdentityValue binary . binary)))

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.