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

family · lines 152–155

SHA256BytesSplit

Full file
A first-order split of a byte string into a taken prefix and the rest, used to slice fixed-size blocks without a function-valued fold or bytes-eliminate.
152family SHA256BytesSplit : Type 0
153constructor SHA256BytesSplitValue
154field unrestricted sha256BytesSplitTaken : Bytes
155field unrestricted sha256BytesSplitRest : Bytes

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.