Crypto.Hash.OID

Definitions

interface RegisteredHash : Type -> Type

Parameters: algo
Constraints: Hash algo
Methods:

header_n_byte : Nat

header : Vect header_n_byte Bits8

Implementations:

RegisteredHash Sha1

RegisteredHash Sha256

RegisteredHash Sha384

RegisteredHash Sha512

header_n_byte : RegisteredHash algo => Nat

Visibility: public export

header : {auto __con : RegisteredHash algo} -> Vect header_n_byte Bits8

Visibility: public export

der_digest_n_byte : RegisteredHash algo => Nat

Visibility: public export

hashWithHeader : {auto {conArg:4873} : RegisteredHash algo} -> List Bits8 -> Vect der_digest_n_byte Bits8

Visibility: export