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 1598–1605

sha256HexBytesOrEmpty

Full file
1598def sha256HexBytesOrEmpty =
1599  (lambda unrestricted result : (family SHA256HexResult) .
1600    (eliminate
1601      SHA256HexResult
1602      (lambda unrestricted current : (family SHA256HexResult) . Bytes)
1603      result
1604      (branch SHA256HexSucceeded hexBytes telemetry . hexBytes)
1605      (branch SHA256HexFailed error ordinal telemetry . b"")))

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.