AlphaGitHub
Source/Packages

Data.SHA256

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

240 lines74 declarations10.2 KiBSHA-256 20b6ff0724eb
Download exact fileView at revisionf5034773ad4bb52133

def · lines 176–187

sha256InitialState

Full file
176def sha256InitialState =
177  (constructor
178    SHA256State
179    SHA256StateValue
180    (constructor ModelWord32 ModelWord32Value (byte 103) (byte 230) (byte 9) (byte 106))
181    (constructor ModelWord32 ModelWord32Value (byte 133) (byte 174) (byte 103) (byte 187))
182    (constructor ModelWord32 ModelWord32Value (byte 114) (byte 243) (byte 110) (byte 60))
183    (constructor ModelWord32 ModelWord32Value (byte 58) (byte 245) (byte 79) (byte 165))
184    (constructor ModelWord32 ModelWord32Value (byte 127) (byte 82) (byte 14) (byte 81))
185    (constructor ModelWord32 ModelWord32Value (byte 140) (byte 104) (byte 5) (byte 155))
186    (constructor ModelWord32 ModelWord32Value (byte 171) (byte 217) (byte 131) (byte 31))
187    (constructor ModelWord32 ModelWord32Value (byte 25) (byte 205) (byte 224) (byte 91)))

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.