Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Modulecryptonite-0.30Haskell2010

Crypto.MAC.HMAC

Provide the HMAC (Hash based Message Authentification Code) base algorithm. http://en.wikipedia.org/wiki/HMAC

Contents

Incremental

Synopsis

value hmac
value hmacLazy
newtype HMAC
data Context
value initialize
value update
value updates
value finalize

Packagecryptonite-0.30
Exports8
LanguageHaskell2010
LicenceBSD-3-Clause
SourceHMAC.hs

valuehmac

:: (ByteArrayAccess key, ByteArrayAccess message, HashAlgorithm a)
=> key
Secret key
-> message
Message to MAC
-> HMAC a

Compute a MAC using the supplied hashing function

valuehmacLazy

:: (ByteArrayAccess key, HashAlgorithm a)
=> key
Secret key
-> ByteString
Message to MAC
-> HMAC a

Compute a MAC using the supplied hashing function, for a lazy input

newtypenewtype HMAC a

Represent an HMAC that is a phantom type with the hash used to produce the mac.

The Eq instance is constant time. No Show instance is provided, to avoid printing by mistake.

Constructors

HMAC
- hmacGetDigest :: Digest a

Instances2Eq, ByteArrayAccess

Eq (HMAC a)Defined in cryptonite-0.30 · Crypto.MAC.HMAC
ByteArrayAccess (HMAC a)Defined in cryptonite-0.30 · Crypto.MAC.HMAC

Incremental

datadata Context hashalg

Represent an ongoing HMAC state, that can be appended with update and finalize to an HMAC with hmacFinalize

Constructors

Context !(Context hashalg) !(Context hashalg)

valueinitialize

:: (ByteArrayAccess key, HashAlgorithm a)
=> key
Secret key
-> Context a

Initialize a new incremental HMAC context

valueupdate

:: (ByteArrayAccess message, HashAlgorithm a)
=> Context a
Current HMAC context
-> message
Message to append to the MAC
-> Context a
Updated HMAC context

Incrementally update a HMAC context

valueupdates

:: (ByteArrayAccess message, HashAlgorithm a)
=> Context a
Current HMAC context
-> [message]
Messages to append to the MAC
-> Context a
Updated HMAC context

Increamentally update a HMAC context with multiple inputs

valuefinalize :: HashAlgorithm a => Context a -> HMAC a

Finalize a HMAC context and return the HMAC.