{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE Trustworthy #-}
module Crypto.Hash.SHA256
(
Ctx(..)
, init
, update
, updates
, finalize
, finalizeAndLength
, start
, startlazy
, hash
, hashlazy
, hashlazyAndLength
, hmac
, hmaclazy
, hmaclazyAndLength
, hkdf
) where
import Data.Bits (xor)
import Data.ByteString (ByteString)
import qualified Data.ByteString as B
import Data.ByteString.Internal (create,
createAndTrim, mallocByteString,
memcpy, toForeignPtr)
import qualified Data.ByteString.Lazy as L
import Data.ByteString.Unsafe (unsafeUseAsCStringLen)
import Data.Word
import Foreign.C.Types
import Foreign.ForeignPtr (withForeignPtr)
import Foreign.Marshal.Alloc
import Foreign.Ptr
import Prelude hiding (init)
import System.IO.Unsafe (unsafeDupablePerformIO)
import Compat (constructBS)
import Crypto.Hash.SHA256.FFI
unsafeDoIO :: IO a -> a
unsafeDoIO :: forall a. IO a -> a
unsafeDoIO = forall a. IO a -> a
unsafeDupablePerformIO
{-# INLINE digestSize #-}
digestSize :: Int
digestSize :: Int
digestSize = Int
32
{-# INLINE sizeCtx #-}
sizeCtx :: Int
sizeCtx :: Int
sizeCtx = Int
104
{-# INLINE withByteStringPtr #-}
withByteStringPtr :: ByteString -> (Ptr Word8 -> IO a) -> IO a
withByteStringPtr :: forall a. ByteString -> (Ptr Word8 -> IO a) -> IO a
withByteStringPtr ByteString
b Ptr Word8 -> IO a
f =
forall a b. ForeignPtr a -> (Ptr a -> IO b) -> IO b
withForeignPtr ForeignPtr Word8
fptr forall a b. (a -> b) -> a -> b
$ \Ptr Word8
ptr -> Ptr Word8 -> IO a
f (Ptr Word8
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
off)
where (ForeignPtr Word8
fptr, Int
off, Int
_) = ByteString -> (ForeignPtr Word8, Int, Int)
toForeignPtr ByteString
b
{-# INLINE create' #-}
create' :: Int -> (Ptr Word8 -> IO a) -> IO (ByteString,a)
create' :: forall a. Int -> (Ptr Word8 -> IO a) -> IO (ByteString, a)
create' Int
l Ptr Word8 -> IO a
f = do
ForeignPtr Word8
fp <- forall a. Int -> IO (ForeignPtr a)
mallocByteString Int
l
a
x <- forall a b. ForeignPtr a -> (Ptr a -> IO b) -> IO b
withForeignPtr ForeignPtr Word8
fp forall a b. (a -> b) -> a -> b
$ \Ptr Word8
p -> Ptr Word8 -> IO a
f Ptr Word8
p
let bs :: ByteString
bs = ForeignPtr Word8 -> Int -> ByteString
constructBS ForeignPtr Word8
fp Int
l
forall (m :: * -> *) a. Monad m => a -> m a
return forall a b. (a -> b) -> a -> b
$! a
x seq :: forall a b. a -> b -> b
`seq` ByteString
bs seq :: forall a b. a -> b -> b
`seq` (ByteString
bs,a
x)
copyCtx :: Ptr Ctx -> Ptr Ctx -> IO ()
copyCtx :: Ptr Ctx -> Ptr Ctx -> IO ()
copyCtx Ptr Ctx
dst Ptr Ctx
src = Ptr Word8 -> Ptr Word8 -> Int -> IO ()
memcpy (forall a b. Ptr a -> Ptr b
castPtr Ptr Ctx
dst) (forall a b. Ptr a -> Ptr b
castPtr Ptr Ctx
src) (forall a b. (Integral a, Num b) => a -> b
fromIntegral Int
sizeCtx)
withCtxCopy :: Ctx -> (Ptr Ctx -> IO ()) -> IO Ctx
withCtxCopy :: Ctx -> (Ptr Ctx -> IO ()) -> IO Ctx
withCtxCopy (Ctx ByteString
ctxB) Ptr Ctx -> IO ()
f = ByteString -> Ctx
Ctx forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
`fmap` IO ByteString
createCtx
where
createCtx :: IO ByteString
createCtx = Int -> (Ptr Word8 -> IO ()) -> IO ByteString
create Int
sizeCtx forall a b. (a -> b) -> a -> b
$ \Ptr Word8
dstPtr ->
forall a. ByteString -> (Ptr Word8 -> IO a) -> IO a
withByteStringPtr ByteString
ctxB forall a b. (a -> b) -> a -> b
$ \Ptr Word8
srcPtr -> do
Ptr Ctx -> Ptr Ctx -> IO ()
copyCtx (forall a b. Ptr a -> Ptr b
castPtr Ptr Word8
dstPtr) (forall a b. Ptr a -> Ptr b
castPtr Ptr Word8
srcPtr)
Ptr Ctx -> IO ()
f (forall a b. Ptr a -> Ptr b
castPtr Ptr Word8
dstPtr)
withCtxThrow :: Ctx -> (Ptr Ctx -> IO a) -> IO a
withCtxThrow :: forall a. Ctx -> (Ptr Ctx -> IO a) -> IO a
withCtxThrow (Ctx ByteString
ctxB) Ptr Ctx -> IO a
f =
forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
sizeCtx forall a b. (a -> b) -> a -> b
$ \Ptr Any
dstPtr ->
forall a. ByteString -> (Ptr Word8 -> IO a) -> IO a
withByteStringPtr ByteString
ctxB forall a b. (a -> b) -> a -> b
$ \Ptr Word8
srcPtr -> do
Ptr Ctx -> Ptr Ctx -> IO ()
copyCtx (forall a b. Ptr a -> Ptr b
castPtr Ptr Any
dstPtr) (forall a b. Ptr a -> Ptr b
castPtr Ptr Word8
srcPtr)
Ptr Ctx -> IO a
f (forall a b. Ptr a -> Ptr b
castPtr Ptr Any
dstPtr)
withCtxNew :: (Ptr Ctx -> IO ()) -> IO Ctx
withCtxNew :: (Ptr Ctx -> IO ()) -> IO Ctx
withCtxNew Ptr Ctx -> IO ()
f = ByteString -> Ctx
Ctx forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
`fmap` Int -> (Ptr Word8 -> IO ()) -> IO ByteString
create Int
sizeCtx (Ptr Ctx -> IO ()
f forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a b. Ptr a -> Ptr b
castPtr)
withCtxNewThrow :: (Ptr Ctx -> IO a) -> IO a
withCtxNewThrow :: forall a. (Ptr Ctx -> IO a) -> IO a
withCtxNewThrow Ptr Ctx -> IO a
f = forall a b. Int -> (Ptr a -> IO b) -> IO b
allocaBytes Int
sizeCtx (Ptr Ctx -> IO a
f forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a b. Ptr a -> Ptr b
castPtr)
c_sha256_update :: Ptr Ctx -> Ptr Word8 -> CSize -> IO ()
c_sha256_update :: Ptr Ctx -> Ptr Word8 -> CSize -> IO ()
c_sha256_update Ptr Ctx
pctx Ptr Word8
pbuf CSize
sz
| CSize
sz forall a. Ord a => a -> a -> Bool
< CSize
4096 = Ptr Ctx -> Ptr Word8 -> CSize -> IO ()
c_sha256_update_unsafe Ptr Ctx
pctx Ptr Word8
pbuf CSize
sz
| Bool
otherwise = Ptr Ctx -> Ptr Word8 -> CSize -> IO ()
c_sha256_update_safe Ptr Ctx
pctx Ptr Word8
pbuf CSize
sz
c_sha256_hash :: Ptr Word8 -> CSize -> Ptr Word8 -> IO ()
c_sha256_hash :: Ptr Word8 -> CSize -> Ptr Word8 -> IO ()
c_sha256_hash Ptr Word8
pbuf CSize
sz Ptr Word8
pout
| CSize
sz forall a. Ord a => a -> a -> Bool
< CSize
4096 = Ptr Word8 -> CSize -> Ptr Word8 -> IO ()
c_sha256_hash_unsafe Ptr Word8
pbuf CSize
sz Ptr Word8
pout
| Bool
otherwise = Ptr Word8 -> CSize -> Ptr Word8 -> IO ()
c_sha256_hash_safe Ptr Word8
pbuf CSize
sz Ptr Word8
pout
updateInternalIO :: Ptr Ctx -> ByteString -> IO ()
updateInternalIO :: Ptr Ctx -> ByteString -> IO ()
updateInternalIO Ptr Ctx
ptr ByteString
d =
forall a. ByteString -> (CStringLen -> IO a) -> IO a
unsafeUseAsCStringLen ByteString
d (\(Ptr CChar
cs, Int
len) -> Ptr Ctx -> Ptr Word8 -> CSize -> IO ()
c_sha256_update Ptr Ctx
ptr (forall a b. Ptr a -> Ptr b
castPtr Ptr CChar
cs) (forall a b. (Integral a, Num b) => a -> b
fromIntegral Int
len))
finalizeInternalIO :: Ptr Ctx -> IO ByteString
finalizeInternalIO :: Ptr Ctx -> IO ByteString
finalizeInternalIO Ptr Ctx
ptr = Int -> (Ptr Word8 -> IO ()) -> IO ByteString
create Int
digestSize (Ptr Ctx -> Ptr Word8 -> IO ()
c_sha256_finalize Ptr Ctx
ptr)
finalizeInternalIO' :: Ptr Ctx -> IO (ByteString,Word64)
finalizeInternalIO' :: Ptr Ctx -> IO (ByteString, Word64)
finalizeInternalIO' Ptr Ctx
ptr = forall a. Int -> (Ptr Word8 -> IO a) -> IO (ByteString, a)
create' Int
digestSize (Ptr Ctx -> Ptr Word8 -> IO Word64
c_sha256_finalize_len Ptr Ctx
ptr)
{-# NOINLINE init #-}
init :: Ctx
init :: Ctx
init = forall a. IO a -> a
unsafeDoIO forall a b. (a -> b) -> a -> b
$ (Ptr Ctx -> IO ()) -> IO Ctx
withCtxNew Ptr Ctx -> IO ()
c_sha256_init
validCtx :: Ctx -> Bool
validCtx :: Ctx -> Bool
validCtx (Ctx ByteString
b) = ByteString -> Int
B.length ByteString
b forall a. Eq a => a -> a -> Bool
== Int
sizeCtx
{-# NOINLINE update #-}
update :: Ctx -> ByteString -> Ctx
update :: Ctx -> ByteString -> Ctx
update Ctx
ctx ByteString
d
| Ctx -> Bool
validCtx Ctx
ctx = forall a. IO a -> a
unsafeDoIO forall a b. (a -> b) -> a -> b
$ Ctx -> (Ptr Ctx -> IO ()) -> IO Ctx
withCtxCopy Ctx
ctx forall a b. (a -> b) -> a -> b
$ \Ptr Ctx
ptr -> Ptr Ctx -> ByteString -> IO ()
updateInternalIO Ptr Ctx
ptr ByteString
d
| Bool
otherwise = forall a. HasCallStack => [Char] -> a
error [Char]
"SHA256.update: invalid Ctx"
{-# NOINLINE updates #-}
updates :: Ctx -> [ByteString] -> Ctx
updates :: Ctx -> [ByteString] -> Ctx
updates Ctx
ctx [ByteString]
d
| Ctx -> Bool
validCtx Ctx
ctx = forall a. IO a -> a
unsafeDoIO forall a b. (a -> b) -> a -> b
$ Ctx -> (Ptr Ctx -> IO ()) -> IO Ctx
withCtxCopy Ctx
ctx forall a b. (a -> b) -> a -> b
$ \Ptr Ctx
ptr -> forall (t :: * -> *) (m :: * -> *) a b.
(Foldable t, Monad m) =>
(a -> m b) -> t a -> m ()
mapM_ (Ptr Ctx -> ByteString -> IO ()
updateInternalIO Ptr Ctx
ptr) [ByteString]
d
| Bool
otherwise = forall a. HasCallStack => [Char] -> a
error [Char]
"SHA256.updates: invalid Ctx"
{-# NOINLINE finalize #-}
finalize :: Ctx -> ByteString
finalize :: Ctx -> ByteString
finalize Ctx
ctx
| Ctx -> Bool
validCtx Ctx
ctx = forall a. IO a -> a
unsafeDoIO forall a b. (a -> b) -> a -> b
$ forall a. Ctx -> (Ptr Ctx -> IO a) -> IO a
withCtxThrow Ctx
ctx Ptr Ctx -> IO ByteString
finalizeInternalIO
| Bool
otherwise = forall a. HasCallStack => [Char] -> a
error [Char]
"SHA256.finalize: invalid Ctx"
{-# NOINLINE finalizeAndLength #-}
finalizeAndLength :: Ctx -> (ByteString,Word64)
finalizeAndLength :: Ctx -> (ByteString, Word64)
finalizeAndLength Ctx
ctx
| Ctx -> Bool
validCtx Ctx
ctx = forall a. IO a -> a
unsafeDoIO forall a b. (a -> b) -> a -> b
$ forall a. Ctx -> (Ptr Ctx -> IO a) -> IO a
withCtxThrow Ctx
ctx Ptr Ctx -> IO (ByteString, Word64)
finalizeInternalIO'
| Bool
otherwise = forall a. HasCallStack => [Char] -> a
error [Char]
"SHA256.finalize: invalid Ctx"
{-# NOINLINE hash #-}
hash :: ByteString -> ByteString
hash :: ByteString -> ByteString
hash ByteString
d = forall a. IO a -> a
unsafeDoIO forall a b. (a -> b) -> a -> b
$ forall a. ByteString -> (CStringLen -> IO a) -> IO a
unsafeUseAsCStringLen ByteString
d forall a b. (a -> b) -> a -> b
$ \(Ptr CChar
cs, Int
len) -> Int -> (Ptr Word8 -> IO ()) -> IO ByteString
create Int
digestSize (Ptr Word8 -> CSize -> Ptr Word8 -> IO ()
c_sha256_hash (forall a b. Ptr a -> Ptr b
castPtr Ptr CChar
cs) (forall a b. (Integral a, Num b) => a -> b
fromIntegral Int
len))
{-# NOINLINE start #-}
start :: ByteString -> Ctx
start :: ByteString -> Ctx
start ByteString
d = forall a. IO a -> a
unsafeDoIO forall a b. (a -> b) -> a -> b
$ (Ptr Ctx -> IO ()) -> IO Ctx
withCtxNew forall a b. (a -> b) -> a -> b
$ \Ptr Ctx
ptr -> Ptr Ctx -> IO ()
c_sha256_init Ptr Ctx
ptr forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> Ptr Ctx -> ByteString -> IO ()
updateInternalIO Ptr Ctx
ptr ByteString
d
{-# NOINLINE hashlazy #-}
hashlazy :: L.ByteString -> ByteString
hashlazy :: ByteString -> ByteString
hashlazy ByteString
l = forall a. IO a -> a
unsafeDoIO forall a b. (a -> b) -> a -> b
$ forall a. (Ptr Ctx -> IO a) -> IO a
withCtxNewThrow forall a b. (a -> b) -> a -> b
$ \Ptr Ctx
ptr ->
Ptr Ctx -> IO ()
c_sha256_init Ptr Ctx
ptr forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> forall (t :: * -> *) (m :: * -> *) a b.
(Foldable t, Monad m) =>
(a -> m b) -> t a -> m ()
mapM_ (Ptr Ctx -> ByteString -> IO ()
updateInternalIO Ptr Ctx
ptr) (ByteString -> [ByteString]
L.toChunks ByteString
l) forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> Ptr Ctx -> IO ByteString
finalizeInternalIO Ptr Ctx
ptr
{-# NOINLINE startlazy #-}
startlazy :: L.ByteString -> Ctx
startlazy :: ByteString -> Ctx
startlazy ByteString
l = forall a. IO a -> a
unsafeDoIO forall a b. (a -> b) -> a -> b
$ (Ptr Ctx -> IO ()) -> IO Ctx
withCtxNew forall a b. (a -> b) -> a -> b
$ \Ptr Ctx
ptr ->
Ptr Ctx -> IO ()
c_sha256_init Ptr Ctx
ptr forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> forall (t :: * -> *) (m :: * -> *) a b.
(Foldable t, Monad m) =>
(a -> m b) -> t a -> m ()
mapM_ (Ptr Ctx -> ByteString -> IO ()
updateInternalIO Ptr Ctx
ptr) (ByteString -> [ByteString]
L.toChunks ByteString
l)
{-# NOINLINE hashlazyAndLength #-}
hashlazyAndLength :: L.ByteString -> (ByteString,Word64)
hashlazyAndLength :: ByteString -> (ByteString, Word64)
hashlazyAndLength ByteString
l = forall a. IO a -> a
unsafeDoIO forall a b. (a -> b) -> a -> b
$ forall a. (Ptr Ctx -> IO a) -> IO a
withCtxNewThrow forall a b. (a -> b) -> a -> b
$ \Ptr Ctx
ptr ->
Ptr Ctx -> IO ()
c_sha256_init Ptr Ctx
ptr forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> forall (t :: * -> *) (m :: * -> *) a b.
(Foldable t, Monad m) =>
(a -> m b) -> t a -> m ()
mapM_ (Ptr Ctx -> ByteString -> IO ()
updateInternalIO Ptr Ctx
ptr) (ByteString -> [ByteString]
L.toChunks ByteString
l) forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> Ptr Ctx -> IO (ByteString, Word64)
finalizeInternalIO' Ptr Ctx
ptr
hmac :: ByteString
-> ByteString
-> ByteString
hmac :: ByteString -> ByteString -> ByteString
hmac ByteString
secret ByteString
msg = ByteString -> ByteString
hash forall a b. (a -> b) -> a -> b
$ ByteString -> ByteString -> ByteString
B.append ByteString
opad (ByteString -> ByteString
hashlazy forall a b. (a -> b) -> a -> b
$ [ByteString] -> ByteString
L.fromChunks [ByteString
ipad,ByteString
msg])
where
opad :: ByteString
opad = (Word8 -> Word8) -> ByteString -> ByteString
B.map (forall a. Bits a => a -> a -> a
xor Word8
0x5c) ByteString
k'
ipad :: ByteString
ipad = (Word8 -> Word8) -> ByteString -> ByteString
B.map (forall a. Bits a => a -> a -> a
xor Word8
0x36) ByteString
k'
k' :: ByteString
k' = ByteString -> ByteString -> ByteString
B.append ByteString
kt ByteString
pad
kt :: ByteString
kt = if ByteString -> Int
B.length ByteString
secret forall a. Ord a => a -> a -> Bool
> Int
64 then ByteString -> ByteString
hash ByteString
secret else ByteString
secret
pad :: ByteString
pad = Int -> Word8 -> ByteString
B.replicate (Int
64 forall a. Num a => a -> a -> a
- ByteString -> Int
B.length ByteString
kt) Word8
0
hmaclazy :: ByteString
-> L.ByteString
-> ByteString
hmaclazy :: ByteString -> ByteString -> ByteString
hmaclazy ByteString
secret ByteString
msg = ByteString -> ByteString
hash forall a b. (a -> b) -> a -> b
$ ByteString -> ByteString -> ByteString
B.append ByteString
opad (ByteString -> ByteString
hashlazy forall a b. (a -> b) -> a -> b
$ ByteString -> ByteString -> ByteString
L.append ByteString
ipad ByteString
msg)
where
opad :: ByteString
opad = (Word8 -> Word8) -> ByteString -> ByteString
B.map (forall a. Bits a => a -> a -> a
xor Word8
0x5c) ByteString
k'
ipad :: ByteString
ipad = [ByteString] -> ByteString
L.fromChunks [(Word8 -> Word8) -> ByteString -> ByteString
B.map (forall a. Bits a => a -> a -> a
xor Word8
0x36) ByteString
k']
k' :: ByteString
k' = ByteString -> ByteString -> ByteString
B.append ByteString
kt ByteString
pad
kt :: ByteString
kt = if ByteString -> Int
B.length ByteString
secret forall a. Ord a => a -> a -> Bool
> Int
64 then ByteString -> ByteString
hash ByteString
secret else ByteString
secret
pad :: ByteString
pad = Int -> Word8 -> ByteString
B.replicate (Int
64 forall a. Num a => a -> a -> a
- ByteString -> Int
B.length ByteString
kt) Word8
0
hmaclazyAndLength :: ByteString
-> L.ByteString
-> (ByteString,Word64)
hmaclazyAndLength :: ByteString -> ByteString -> (ByteString, Word64)
hmaclazyAndLength ByteString
secret ByteString
msg =
(ByteString -> ByteString
hash (ByteString -> ByteString -> ByteString
B.append ByteString
opad ByteString
htmp), Word64
sz' forall a. Num a => a -> a -> a
- forall a b. (Integral a, Num b) => a -> b
fromIntegral Int
ipadLen)
where
(ByteString
htmp, Word64
sz') = ByteString -> (ByteString, Word64)
hashlazyAndLength (ByteString -> ByteString -> ByteString
L.append ByteString
ipad ByteString
msg)
opad :: ByteString
opad = (Word8 -> Word8) -> ByteString -> ByteString
B.map (forall a. Bits a => a -> a -> a
xor Word8
0x5c) ByteString
k'
ipad :: ByteString
ipad = [ByteString] -> ByteString
L.fromChunks [(Word8 -> Word8) -> ByteString -> ByteString
B.map (forall a. Bits a => a -> a -> a
xor Word8
0x36) ByteString
k']
ipadLen :: Int
ipadLen = ByteString -> Int
B.length ByteString
k'
k' :: ByteString
k' = ByteString -> ByteString -> ByteString
B.append ByteString
kt ByteString
pad
kt :: ByteString
kt = if ByteString -> Int
B.length ByteString
secret forall a. Ord a => a -> a -> Bool
> Int
64 then ByteString -> ByteString
hash ByteString
secret else ByteString
secret
pad :: ByteString
pad = Int -> Word8 -> ByteString
B.replicate (Int
64 forall a. Num a => a -> a -> a
- ByteString -> Int
B.length ByteString
kt) Word8
0
{-# NOINLINE hkdf #-}
hkdf :: ByteString
-> ByteString
-> ByteString
-> Int
-> ByteString
hkdf :: ByteString -> ByteString -> ByteString -> Int -> ByteString
hkdf ByteString
ikm ByteString
salt ByteString
info Int
l
| Int
l forall a. Eq a => a -> a -> Bool
== Int
0 = ByteString
B.empty
| Int
0 forall a. Ord a => a -> a -> Bool
> Int
l Bool -> Bool -> Bool
|| Int
l forall a. Ord a => a -> a -> Bool
> Int
255forall a. Num a => a -> a -> a
*Int
32 = forall a. HasCallStack => [Char] -> a
error [Char]
"hkdf: invalid L parameter"
| Bool
otherwise = forall a. IO a -> a
unsafeDoIO forall a b. (a -> b) -> a -> b
$ Int -> (Ptr Word8 -> IO Int) -> IO ByteString
createAndTrim (Int
32forall a. Num a => a -> a -> a
*forall a b. (Integral a, Num b) => a -> b
fromIntegral Word8
cnt) (Word8 -> ByteString -> Ptr Word8 -> IO Int
go Word8
0 ByteString
B.empty)
where
prk :: ByteString
prk = ByteString -> ByteString -> ByteString
hmac ByteString
salt ByteString
ikm
cnt :: Word8
cnt = forall a b. (Integral a, Num b) => a -> b
fromIntegral ((Int
lforall a. Num a => a -> a -> a
+Int
31) forall a. Integral a => a -> a -> a
`div` Int
32) :: Word8
go :: Word8 -> ByteString -> Ptr Word8 -> IO Int
go :: Word8 -> ByteString -> Ptr Word8 -> IO Int
go !Word8
i ByteString
t !Ptr Word8
p | Word8
i forall a. Eq a => a -> a -> Bool
== Word8
cnt = forall (m :: * -> *) a. Monad m => a -> m a
return Int
l
| Bool
otherwise = do
let t' :: ByteString
t' = ByteString -> ByteString -> ByteString
hmaclazy ByteString
prk ([ByteString] -> ByteString
L.fromChunks [ByteString
t,ByteString
info,Word8 -> ByteString
B.singleton (Word8
iforall a. Num a => a -> a -> a
+Word8
1)])
forall a. ByteString -> (Ptr Word8 -> IO a) -> IO a
withByteStringPtr ByteString
t' forall a b. (a -> b) -> a -> b
$ \Ptr Word8
tptr' -> Ptr Word8 -> Ptr Word8 -> Int -> IO ()
memcpy Ptr Word8
p Ptr Word8
tptr' Int
32
Word8 -> ByteString -> Ptr Word8 -> IO Int
go (Word8
iforall a. Num a => a -> a -> a
+Word8
1) ByteString
t' (Ptr Word8
p forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
32)