Crypto.Hash.SHA2

Definitions

data Sha256 : Type

Totality: total
Visibility: export
Constructor: 

MkSha256 : MerkleDamgard 8 64 Bits32 -> Sha256

Hints:

Digest Sha256

Hash Sha256

RegisteredHash Sha256

data Sha224 : Type

Totality: total
Visibility: export
Constructor: 

MkSha224 : Sha256 -> Sha224

Hints:

Digest Sha224

Hash Sha224

data Sha512 : Type

Totality: total
Visibility: export
Constructor: 

MkSha512 : MerkleDamgard 8 128 Bits64 -> Sha512

Hints:

Digest Sha512

Hash Sha512

RegisteredHash Sha512

data Sha384 : Type

Totality: total
Visibility: export
Constructor: 

MkSha384 : Sha512 -> Sha384

Hints:

Digest Sha384

Hash Sha384

RegisteredHash Sha384