{-# LANGUAGE PackageImports #-}

-- |
-- Module      : Crypto.Hash.RIPEMD160
-- License     : BSD-style
-- Maintainer  : Vincent Hanquez <vincent@snarc.org>
-- Stability   : experimental
-- Portability : unknown
--
-- A module containing RIPEMD160 bindings
--
module Crypto.Hash.RIPEMD160
    ( Ctx(..)

    -- * Incremental hashing Functions
    , init     -- :: Ctx
    , update   -- :: Ctx -> ByteString -> Ctx
    , updates  -- :: Ctx -> [ByteString] -> Ctx
    , finalize -- :: Ctx -> ByteString

    -- * Single Pass hashing
    , hash     -- :: ByteString -> ByteString
    , hashlazy -- :: ByteString -> ByteString
    ) where

import Prelude hiding (init)
import qualified Data.ByteString.Lazy as L
import Data.ByteString (ByteString)
import Crypto.Hash.Internal (digestToByteString, digestToByteStringWitness)

import qualified "cryptonite" Crypto.Hash as H

-- | RIPEMD160 Context
newtype Ctx = Ctx (H.Context H.RIPEMD160)

-- | init a context
init :: Ctx
init :: Ctx
init = Context RIPEMD160 -> Ctx
Ctx Context RIPEMD160
forall a. HashAlgorithm a => Context a
H.hashInit

-- | update a context with a bytestring
update :: Ctx -> ByteString -> Ctx
update :: Ctx -> ByteString -> Ctx
update (Ctx ctx :: Context RIPEMD160
ctx) d :: ByteString
d = Context RIPEMD160 -> Ctx
Ctx (Context RIPEMD160 -> Ctx) -> Context RIPEMD160 -> Ctx
forall a b. (a -> b) -> a -> b
$ Context RIPEMD160 -> ByteString -> Context RIPEMD160
forall ba a.
(ByteArrayAccess ba, HashAlgorithm a) =>
Context a -> ba -> Context a
H.hashUpdate Context RIPEMD160
ctx ByteString
d

-- | updates a context with multiples bytestring
updates :: Ctx -> [ByteString] -> Ctx
updates :: Ctx -> [ByteString] -> Ctx
updates (Ctx ctx :: Context RIPEMD160
ctx) d :: [ByteString]
d =
    Context RIPEMD160 -> Ctx
Ctx (Context RIPEMD160 -> Ctx) -> Context RIPEMD160 -> Ctx
forall a b. (a -> b) -> a -> b
$ Context RIPEMD160 -> [ByteString] -> Context RIPEMD160
forall a ba.
(HashAlgorithm a, ByteArrayAccess ba) =>
Context a -> [ba] -> Context a
H.hashUpdates Context RIPEMD160
ctx [ByteString]
d

-- | finalize the context into a digest bytestring
finalize :: Ctx -> ByteString
finalize :: Ctx -> ByteString
finalize (Ctx ctx :: Context RIPEMD160
ctx) = Digest RIPEMD160 -> ByteString
forall h. HashAlgorithm h => Digest h -> ByteString
digestToByteString (Digest RIPEMD160 -> ByteString) -> Digest RIPEMD160 -> ByteString
forall a b. (a -> b) -> a -> b
$ Context RIPEMD160 -> Digest RIPEMD160
forall a. HashAlgorithm a => Context a -> Digest a
H.hashFinalize Context RIPEMD160
ctx

-- | hash a strict bytestring into a digest bytestring
hash :: ByteString -> ByteString
hash :: ByteString -> ByteString
hash d :: ByteString
d = RIPEMD160 -> Digest RIPEMD160 -> ByteString
forall h. HashAlgorithm h => h -> Digest h -> ByteString
digestToByteStringWitness RIPEMD160
H.RIPEMD160 (Digest RIPEMD160 -> ByteString) -> Digest RIPEMD160 -> ByteString
forall a b. (a -> b) -> a -> b
$ ByteString -> Digest RIPEMD160
forall ba a.
(ByteArrayAccess ba, HashAlgorithm a) =>
ba -> Digest a
H.hash ByteString
d

-- | hash a lazy bytestring into a digest bytestring
hashlazy :: L.ByteString -> ByteString
hashlazy :: ByteString -> ByteString
hashlazy l :: ByteString
l = RIPEMD160 -> Digest RIPEMD160 -> ByteString
forall h. HashAlgorithm h => h -> Digest h -> ByteString
digestToByteStringWitness RIPEMD160
H.RIPEMD160 (Digest RIPEMD160 -> ByteString) -> Digest RIPEMD160 -> ByteString
forall a b. (a -> b) -> a -> b
$ ByteString -> Digest RIPEMD160
forall a. HashAlgorithm a => ByteString -> Digest a
H.hashlazy ByteString
l