Idris2Doc : Crypto.Hash.GHash

Crypto.Hash.GHash

(source)

Definitions

data GHash : Type
Totality: total
Visibility: export
Constructor: 
MkGHash : List Bits8 -> HValues -> Vect 16 Bits8 -> GHash

Hints:
Digest GHash
MAC (Vect 16 Bits8) GHash