Idris2Doc : Crypto.Hash.HMAC

Crypto.Hash.HMAC

(source)

Definitions

dataHMAC : Type->Type
Totality: total
Visibility: export
Constructor: 
MkHMAC : ListBits8->algo->HMACalgo

Hints:
Hashalgo=>Digest (HMACalgo)
Hashalgo=>MAC (ListBits8) (HMACalgo)