Crypto.Hash.SHA1

Definitions

data Sha1 : Type

Totality: total
Visibility: export
Constructor: 

MkSha1 : MerkleDamgard 5 64 Bits32 -> Sha1

Hints:

Digest Sha1

Hash Sha1

RegisteredHash Sha1