Idris2Doc : Crypto.Hash.GHash

Crypto.Hash.GHash

(source)

Definitions

dataGHash : Type
Totality: total
Visibility: export
Constructor: 
MkGHash : ListBits8->HValues->Vect16Bits8->GHash

Hints:
DigestGHash
MAC (Vect16Bits8) GHash