haskell/cryptonite
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

rename bitLen -> bitlen. GHC 8.2 is stricted about name of type variables

Browse Source
This commit is contained in:
Vincent Hanquez 2017-07-07 19:26:59 +01:00
parent 0dc0f30b86
commit b18ec653b8
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
Crypto/Hash/SHAKE.hs
View File

@ -40,16 +40,16 @@ import Crypto.Internal.Nat
data SHAKE128 (bitlen :: Nat) = SHAKE128 data SHAKE128 (bitlen :: Nat) = SHAKE128
deriving (Show, Typeable) deriving (Show, Typeable)
instance (IsDivisibleBy8 bitLen, KnownNat bitLen) => HashAlgorithm (SHAKE128 bitLen) where instance (IsDivisibleBy8 bitlen, KnownNat bitlen) => HashAlgorithm (SHAKE128 bitlen) where
type HashBlockSize (SHAKE128 bitlen) = 168 type HashBlockSize (SHAKE128 bitlen) = 168
type HashDigestSize (SHAKE128 bitlen) = Div8 bitlen type HashDigestSize (SHAKE128 bitlen) = Div8 bitlen
type HashInternalContextSize (SHAKE128 bitlen) = 376 type HashInternalContextSize (SHAKE128 bitlen) = 376
hashBlockSize _ = 168 hashBlockSize _ = 168
hashDigestSize _ = byteLen (Proxy :: Proxy bitLen) hashDigestSize _ = byteLen (Proxy :: Proxy bitlen)
hashInternalContextSize _ = 376 hashInternalContextSize _ = 376
hashInternalInit p = c_sha3_init p 128 hashInternalInit p = c_sha3_init p 128
hashInternalUpdate = c_sha3_update hashInternalUpdate = c_sha3_update
hashInternalFinalize = shakeFinalizeOutput (Proxy :: Proxy bitLen) hashInternalFinalize = shakeFinalizeOutput (Proxy :: Proxy bitlen)
-- | SHAKE256 (256 bits) extendable output function. Supports an arbitrary -- | SHAKE256 (256 bits) extendable output function. Supports an arbitrary
-- digest size (multiple of 8 bits), to be specified as a type parameter -- digest size (multiple of 8 bits), to be specified as a type parameter
@ -61,19 +61,19 @@ instance (IsDivisibleBy8 bitLen, KnownNat bitLen) => HashAlgorithm (SHAKE128 bit
data SHAKE256 (bitlen :: Nat) = SHAKE256 data SHAKE256 (bitlen :: Nat) = SHAKE256
deriving (Show, Typeable) deriving (Show, Typeable)
instance (IsDivisibleBy8 bitLen, KnownNat bitLen) => HashAlgorithm (SHAKE256 bitLen) where instance (IsDivisibleBy8 bitlen, KnownNat bitlen) => HashAlgorithm (SHAKE256 bitlen) where
type HashBlockSize (SHAKE256 bitlen) = 136 type HashBlockSize (SHAKE256 bitlen) = 136
type HashDigestSize (SHAKE256 bitlen) = Div8 bitlen type HashDigestSize (SHAKE256 bitlen) = Div8 bitlen
type HashInternalContextSize (SHAKE256 bitlen) = 344 type HashInternalContextSize (SHAKE256 bitlen) = 344
hashBlockSize _ = 136 hashBlockSize _ = 136
hashDigestSize _ = byteLen (Proxy :: Proxy bitLen) hashDigestSize _ = byteLen (Proxy :: Proxy bitlen)
hashInternalContextSize _ = 344 hashInternalContextSize _ = 344
hashInternalInit p = c_sha3_init p 256 hashInternalInit p = c_sha3_init p 256
hashInternalUpdate = c_sha3_update hashInternalUpdate = c_sha3_update
hashInternalFinalize = shakeFinalizeOutput (Proxy :: Proxy bitLen) hashInternalFinalize = shakeFinalizeOutput (Proxy :: Proxy bitlen)
shakeFinalizeOutput :: (IsDivisibleBy8 bitLen, KnownNat bitLen) shakeFinalizeOutput :: (IsDivisibleBy8 bitlen, KnownNat bitlen)
=> proxy bitLen => proxy bitlen
-> Ptr (Context a) -> Ptr (Context a)
-> Ptr (Digest a) -> Ptr (Digest a)
-> IO () -> IO ()