Idris2Doc : Crypto.Hash.HMAC

Crypto.Hash.HMAC

(source)

Definitions

data HMAC : Type -> Type
Totality: total
Visibility: export
Constructor: 
MkHMAC : List Bits8 -> algo -> HMAC algo

Hints:
Hash algo => Digest (HMAC algo)
Hash algo => MAC (List Bits8) (HMAC algo)