{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PackageImports #-}
{-# LANGUAGE TypeFamilies #-}

-- | Implementation of the SHA3_512 hashing algorithm.
module Cardano.Crypto.Hash.SHA3_512 (
  SHA3_512,
)
where

import Cardano.Crypto.Hash.Class
import qualified Data.ByteArray as BA
import qualified "crypton" Crypto.Hash as H

data SHA3_512

instance HashAlgorithm SHA3_512 where
  type SizeHash SHA3_512 = 64
  hashAlgorithmName :: forall (proxy :: * -> *). proxy SHA3_512 -> String
hashAlgorithmName proxy SHA3_512
_ = String
"sha3-512"
  digest :: forall (proxy :: * -> *).
proxy SHA3_512 -> ByteString -> ByteString
digest proxy SHA3_512
_ = Digest SHA3_512 -> ByteString
convert forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall ba a.
(ByteArrayAccess ba, HashAlgorithm a) =>
ba -> Digest a
H.hash

convert :: H.Digest H.SHA3_512 -> ByteString
convert :: Digest SHA3_512 -> ByteString
convert = forall bin bout.
(ByteArrayAccess bin, ByteArray bout) =>
bin -> bout
BA.convert