Crypto.Hash.Algorithms

Definitions of known hash algorithms

Documentation

class HashAlgorithm a

Class representing hashing algorithms.

The interface presented here is update in place and lowlevel. the Hash module takes care of hidding the mutable interface properly.

Minimal complete definition

hashBlockSize, hashDigestSize, hashInternalContextSize, hashInternalInit, hashInternalUpdate, hashInternalFinalize

Instances

HashAlgorithm Whirlpool

Associated Types

type HashBlockSize Whirlpool :: Nat

type HashDigestSize Whirlpool :: Nat

type HashInternalContextSize Whirlpool :: Nat

Methods

hashBlockSize :: Whirlpool -> Int

hashDigestSize :: Whirlpool -> Int

hashInternalContextSize :: Whirlpool -> Int

hashInternalInit :: Ptr (Context Whirlpool) -> IO ()

hashInternalUpdate :: Ptr (Context Whirlpool) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Whirlpool) -> Ptr (Digest Whirlpool) -> IO ()

HashAlgorithm Tiger

Associated Types

type HashBlockSize Tiger :: Nat

type HashDigestSize Tiger :: Nat

type HashInternalContextSize Tiger :: Nat

Methods

hashBlockSize :: Tiger -> Int

hashDigestSize :: Tiger -> Int

hashInternalContextSize :: Tiger -> Int

hashInternalInit :: Ptr (Context Tiger) -> IO ()

hashInternalUpdate :: Ptr (Context Tiger) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Tiger) -> Ptr (Digest Tiger) -> IO ()

HashAlgorithm Skein512_512

Associated Types

type HashBlockSize Skein512_512 :: Nat

type HashDigestSize Skein512_512 :: Nat

type HashInternalContextSize Skein512_512 :: Nat

Methods

hashBlockSize :: Skein512_512 -> Int

hashDigestSize :: Skein512_512 -> Int

hashInternalContextSize :: Skein512_512 -> Int

hashInternalInit :: Ptr (Context Skein512_512) -> IO ()

hashInternalUpdate :: Ptr (Context Skein512_512) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Skein512_512) -> Ptr (Digest Skein512_512) -> IO ()

HashAlgorithm Skein512_384

Associated Types

type HashBlockSize Skein512_384 :: Nat

type HashDigestSize Skein512_384 :: Nat

type HashInternalContextSize Skein512_384 :: Nat

Methods

hashBlockSize :: Skein512_384 -> Int

hashDigestSize :: Skein512_384 -> Int

hashInternalContextSize :: Skein512_384 -> Int

hashInternalInit :: Ptr (Context Skein512_384) -> IO ()

hashInternalUpdate :: Ptr (Context Skein512_384) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Skein512_384) -> Ptr (Digest Skein512_384) -> IO ()

HashAlgorithm Skein512_256

Associated Types

type HashBlockSize Skein512_256 :: Nat

type HashDigestSize Skein512_256 :: Nat

type HashInternalContextSize Skein512_256 :: Nat

Methods

hashBlockSize :: Skein512_256 -> Int

hashDigestSize :: Skein512_256 -> Int

hashInternalContextSize :: Skein512_256 -> Int

hashInternalInit :: Ptr (Context Skein512_256) -> IO ()

hashInternalUpdate :: Ptr (Context Skein512_256) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Skein512_256) -> Ptr (Digest Skein512_256) -> IO ()

HashAlgorithm Skein512_224

Associated Types

type HashBlockSize Skein512_224 :: Nat

type HashDigestSize Skein512_224 :: Nat

type HashInternalContextSize Skein512_224 :: Nat

Methods

hashBlockSize :: Skein512_224 -> Int

hashDigestSize :: Skein512_224 -> Int

hashInternalContextSize :: Skein512_224 -> Int

hashInternalInit :: Ptr (Context Skein512_224) -> IO ()

hashInternalUpdate :: Ptr (Context Skein512_224) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Skein512_224) -> Ptr (Digest Skein512_224) -> IO ()

HashAlgorithm Skein256_256

Associated Types

type HashBlockSize Skein256_256 :: Nat

type HashDigestSize Skein256_256 :: Nat

type HashInternalContextSize Skein256_256 :: Nat

Methods

hashBlockSize :: Skein256_256 -> Int

hashDigestSize :: Skein256_256 -> Int

hashInternalContextSize :: Skein256_256 -> Int

hashInternalInit :: Ptr (Context Skein256_256) -> IO ()

hashInternalUpdate :: Ptr (Context Skein256_256) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Skein256_256) -> Ptr (Digest Skein256_256) -> IO ()

HashAlgorithm Skein256_224

Associated Types

type HashBlockSize Skein256_224 :: Nat

type HashDigestSize Skein256_224 :: Nat

type HashInternalContextSize Skein256_224 :: Nat

Methods

hashBlockSize :: Skein256_224 -> Int

hashDigestSize :: Skein256_224 -> Int

hashInternalContextSize :: Skein256_224 -> Int

hashInternalInit :: Ptr (Context Skein256_224) -> IO ()

hashInternalUpdate :: Ptr (Context Skein256_224) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Skein256_224) -> Ptr (Digest Skein256_224) -> IO ()

HashAlgorithm SHA512t_256

Associated Types

type HashBlockSize SHA512t_256 :: Nat

type HashDigestSize SHA512t_256 :: Nat

type HashInternalContextSize SHA512t_256 :: Nat

Methods

hashBlockSize :: SHA512t_256 -> Int

hashDigestSize :: SHA512t_256 -> Int

hashInternalContextSize :: SHA512t_256 -> Int

hashInternalInit :: Ptr (Context SHA512t_256) -> IO ()

hashInternalUpdate :: Ptr (Context SHA512t_256) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context SHA512t_256) -> Ptr (Digest SHA512t_256) -> IO ()

HashAlgorithm SHA512t_224

Associated Types

type HashBlockSize SHA512t_224 :: Nat

type HashDigestSize SHA512t_224 :: Nat

type HashInternalContextSize SHA512t_224 :: Nat

Methods

hashBlockSize :: SHA512t_224 -> Int

hashDigestSize :: SHA512t_224 -> Int

hashInternalContextSize :: SHA512t_224 -> Int

hashInternalInit :: Ptr (Context SHA512t_224) -> IO ()

hashInternalUpdate :: Ptr (Context SHA512t_224) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context SHA512t_224) -> Ptr (Digest SHA512t_224) -> IO ()

HashAlgorithm SHA512

Associated Types

type HashBlockSize SHA512 :: Nat

type HashDigestSize SHA512 :: Nat

type HashInternalContextSize SHA512 :: Nat

Methods

hashBlockSize :: SHA512 -> Int

hashDigestSize :: SHA512 -> Int

hashInternalContextSize :: SHA512 -> Int

hashInternalInit :: Ptr (Context SHA512) -> IO ()

hashInternalUpdate :: Ptr (Context SHA512) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context SHA512) -> Ptr (Digest SHA512) -> IO ()

HashAlgorithm SHA384

Associated Types

type HashBlockSize SHA384 :: Nat

type HashDigestSize SHA384 :: Nat

type HashInternalContextSize SHA384 :: Nat

Methods

hashBlockSize :: SHA384 -> Int

hashDigestSize :: SHA384 -> Int

hashInternalContextSize :: SHA384 -> Int

hashInternalInit :: Ptr (Context SHA384) -> IO ()

hashInternalUpdate :: Ptr (Context SHA384) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context SHA384) -> Ptr (Digest SHA384) -> IO ()

HashAlgorithm SHA3_512

Associated Types

type HashBlockSize SHA3_512 :: Nat

type HashDigestSize SHA3_512 :: Nat

type HashInternalContextSize SHA3_512 :: Nat

Methods

hashBlockSize :: SHA3_512 -> Int

hashDigestSize :: SHA3_512 -> Int

hashInternalContextSize :: SHA3_512 -> Int

hashInternalInit :: Ptr (Context SHA3_512) -> IO ()

hashInternalUpdate :: Ptr (Context SHA3_512) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context SHA3_512) -> Ptr (Digest SHA3_512) -> IO ()

HashAlgorithm SHA3_384

Associated Types

type HashBlockSize SHA3_384 :: Nat

type HashDigestSize SHA3_384 :: Nat

type HashInternalContextSize SHA3_384 :: Nat

Methods

hashBlockSize :: SHA3_384 -> Int

hashDigestSize :: SHA3_384 -> Int

hashInternalContextSize :: SHA3_384 -> Int

hashInternalInit :: Ptr (Context SHA3_384) -> IO ()

hashInternalUpdate :: Ptr (Context SHA3_384) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context SHA3_384) -> Ptr (Digest SHA3_384) -> IO ()

HashAlgorithm SHA3_256

Associated Types

type HashBlockSize SHA3_256 :: Nat

type HashDigestSize SHA3_256 :: Nat

type HashInternalContextSize SHA3_256 :: Nat

Methods

hashBlockSize :: SHA3_256 -> Int

hashDigestSize :: SHA3_256 -> Int

hashInternalContextSize :: SHA3_256 -> Int

hashInternalInit :: Ptr (Context SHA3_256) -> IO ()

hashInternalUpdate :: Ptr (Context SHA3_256) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context SHA3_256) -> Ptr (Digest SHA3_256) -> IO ()

HashAlgorithm SHA3_224

Associated Types

type HashBlockSize SHA3_224 :: Nat

type HashDigestSize SHA3_224 :: Nat

type HashInternalContextSize SHA3_224 :: Nat

Methods

hashBlockSize :: SHA3_224 -> Int

hashDigestSize :: SHA3_224 -> Int

hashInternalContextSize :: SHA3_224 -> Int

hashInternalInit :: Ptr (Context SHA3_224) -> IO ()

hashInternalUpdate :: Ptr (Context SHA3_224) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context SHA3_224) -> Ptr (Digest SHA3_224) -> IO ()

HashAlgorithm SHA256

Associated Types

type HashBlockSize SHA256 :: Nat

type HashDigestSize SHA256 :: Nat

type HashInternalContextSize SHA256 :: Nat

Methods

hashBlockSize :: SHA256 -> Int

hashDigestSize :: SHA256 -> Int

hashInternalContextSize :: SHA256 -> Int

hashInternalInit :: Ptr (Context SHA256) -> IO ()

hashInternalUpdate :: Ptr (Context SHA256) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context SHA256) -> Ptr (Digest SHA256) -> IO ()

HashAlgorithm SHA224

Associated Types

type HashBlockSize SHA224 :: Nat

type HashDigestSize SHA224 :: Nat

type HashInternalContextSize SHA224 :: Nat

Methods

hashBlockSize :: SHA224 -> Int

hashDigestSize :: SHA224 -> Int

hashInternalContextSize :: SHA224 -> Int

hashInternalInit :: Ptr (Context SHA224) -> IO ()

hashInternalUpdate :: Ptr (Context SHA224) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context SHA224) -> Ptr (Digest SHA224) -> IO ()

HashAlgorithm SHA1

Associated Types

type HashBlockSize SHA1 :: Nat

type HashDigestSize SHA1 :: Nat

type HashInternalContextSize SHA1 :: Nat

Methods

hashBlockSize :: SHA1 -> Int

hashDigestSize :: SHA1 -> Int

hashInternalContextSize :: SHA1 -> Int

hashInternalInit :: Ptr (Context SHA1) -> IO ()

hashInternalUpdate :: Ptr (Context SHA1) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context SHA1) -> Ptr (Digest SHA1) -> IO ()

HashAlgorithm RIPEMD160

Associated Types

type HashBlockSize RIPEMD160 :: Nat

type HashDigestSize RIPEMD160 :: Nat

type HashInternalContextSize RIPEMD160 :: Nat

Methods

hashBlockSize :: RIPEMD160 -> Int

hashDigestSize :: RIPEMD160 -> Int

hashInternalContextSize :: RIPEMD160 -> Int

hashInternalInit :: Ptr (Context RIPEMD160) -> IO ()

hashInternalUpdate :: Ptr (Context RIPEMD160) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context RIPEMD160) -> Ptr (Digest RIPEMD160) -> IO ()

HashAlgorithm MD5

Associated Types

type HashBlockSize MD5 :: Nat

type HashDigestSize MD5 :: Nat

type HashInternalContextSize MD5 :: Nat

Methods

hashBlockSize :: MD5 -> Int

hashDigestSize :: MD5 -> Int

hashInternalContextSize :: MD5 -> Int

hashInternalInit :: Ptr (Context MD5) -> IO ()

hashInternalUpdate :: Ptr (Context MD5) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context MD5) -> Ptr (Digest MD5) -> IO ()

HashAlgorithm MD4

Associated Types

type HashBlockSize MD4 :: Nat

type HashDigestSize MD4 :: Nat

type HashInternalContextSize MD4 :: Nat

Methods

hashBlockSize :: MD4 -> Int

hashDigestSize :: MD4 -> Int

hashInternalContextSize :: MD4 -> Int

hashInternalInit :: Ptr (Context MD4) -> IO ()

hashInternalUpdate :: Ptr (Context MD4) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context MD4) -> Ptr (Digest MD4) -> IO ()

HashAlgorithm MD2

Associated Types

type HashBlockSize MD2 :: Nat

type HashDigestSize MD2 :: Nat

type HashInternalContextSize MD2 :: Nat

Methods

hashBlockSize :: MD2 -> Int

hashDigestSize :: MD2 -> Int

hashInternalContextSize :: MD2 -> Int

hashInternalInit :: Ptr (Context MD2) -> IO ()

hashInternalUpdate :: Ptr (Context MD2) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context MD2) -> Ptr (Digest MD2) -> IO ()

HashAlgorithm Keccak_512

Associated Types

type HashBlockSize Keccak_512 :: Nat

type HashDigestSize Keccak_512 :: Nat

type HashInternalContextSize Keccak_512 :: Nat

Methods

hashBlockSize :: Keccak_512 -> Int

hashDigestSize :: Keccak_512 -> Int

hashInternalContextSize :: Keccak_512 -> Int

hashInternalInit :: Ptr (Context Keccak_512) -> IO ()

hashInternalUpdate :: Ptr (Context Keccak_512) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Keccak_512) -> Ptr (Digest Keccak_512) -> IO ()

HashAlgorithm Keccak_384

Associated Types

type HashBlockSize Keccak_384 :: Nat

type HashDigestSize Keccak_384 :: Nat

type HashInternalContextSize Keccak_384 :: Nat

Methods

hashBlockSize :: Keccak_384 -> Int

hashDigestSize :: Keccak_384 -> Int

hashInternalContextSize :: Keccak_384 -> Int

hashInternalInit :: Ptr (Context Keccak_384) -> IO ()

hashInternalUpdate :: Ptr (Context Keccak_384) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Keccak_384) -> Ptr (Digest Keccak_384) -> IO ()

HashAlgorithm Keccak_256

Associated Types

type HashBlockSize Keccak_256 :: Nat

type HashDigestSize Keccak_256 :: Nat

type HashInternalContextSize Keccak_256 :: Nat

Methods

hashBlockSize :: Keccak_256 -> Int

hashDigestSize :: Keccak_256 -> Int

hashInternalContextSize :: Keccak_256 -> Int

hashInternalInit :: Ptr (Context Keccak_256) -> IO ()

hashInternalUpdate :: Ptr (Context Keccak_256) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Keccak_256) -> Ptr (Digest Keccak_256) -> IO ()

HashAlgorithm Keccak_224

Associated Types

type HashBlockSize Keccak_224 :: Nat

type HashDigestSize Keccak_224 :: Nat

type HashInternalContextSize Keccak_224 :: Nat

Methods

hashBlockSize :: Keccak_224 -> Int

hashDigestSize :: Keccak_224 -> Int

hashInternalContextSize :: Keccak_224 -> Int

hashInternalInit :: Ptr (Context Keccak_224) -> IO ()

hashInternalUpdate :: Ptr (Context Keccak_224) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Keccak_224) -> Ptr (Digest Keccak_224) -> IO ()

HashAlgorithm Blake2sp_256

Associated Types

type HashBlockSize Blake2sp_256 :: Nat

type HashDigestSize Blake2sp_256 :: Nat

type HashInternalContextSize Blake2sp_256 :: Nat

Methods

hashBlockSize :: Blake2sp_256 -> Int

hashDigestSize :: Blake2sp_256 -> Int

hashInternalContextSize :: Blake2sp_256 -> Int

hashInternalInit :: Ptr (Context Blake2sp_256) -> IO ()

hashInternalUpdate :: Ptr (Context Blake2sp_256) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Blake2sp_256) -> Ptr (Digest Blake2sp_256) -> IO ()

HashAlgorithm Blake2sp_224

Associated Types

type HashBlockSize Blake2sp_224 :: Nat

type HashDigestSize Blake2sp_224 :: Nat

type HashInternalContextSize Blake2sp_224 :: Nat

Methods

hashBlockSize :: Blake2sp_224 -> Int

hashDigestSize :: Blake2sp_224 -> Int

hashInternalContextSize :: Blake2sp_224 -> Int

hashInternalInit :: Ptr (Context Blake2sp_224) -> IO ()

hashInternalUpdate :: Ptr (Context Blake2sp_224) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Blake2sp_224) -> Ptr (Digest Blake2sp_224) -> IO ()

HashAlgorithm Blake2s_256

Associated Types

type HashBlockSize Blake2s_256 :: Nat

type HashDigestSize Blake2s_256 :: Nat

type HashInternalContextSize Blake2s_256 :: Nat

Methods

hashBlockSize :: Blake2s_256 -> Int

hashDigestSize :: Blake2s_256 -> Int

hashInternalContextSize :: Blake2s_256 -> Int

hashInternalInit :: Ptr (Context Blake2s_256) -> IO ()

hashInternalUpdate :: Ptr (Context Blake2s_256) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Blake2s_256) -> Ptr (Digest Blake2s_256) -> IO ()

HashAlgorithm Blake2s_224

Associated Types

type HashBlockSize Blake2s_224 :: Nat

type HashDigestSize Blake2s_224 :: Nat

type HashInternalContextSize Blake2s_224 :: Nat

Methods

hashBlockSize :: Blake2s_224 -> Int

hashDigestSize :: Blake2s_224 -> Int

hashInternalContextSize :: Blake2s_224 -> Int

hashInternalInit :: Ptr (Context Blake2s_224) -> IO ()

hashInternalUpdate :: Ptr (Context Blake2s_224) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Blake2s_224) -> Ptr (Digest Blake2s_224) -> IO ()

HashAlgorithm Blake2s_160

Associated Types

type HashBlockSize Blake2s_160 :: Nat

type HashDigestSize Blake2s_160 :: Nat

type HashInternalContextSize Blake2s_160 :: Nat

Methods

hashBlockSize :: Blake2s_160 -> Int

hashDigestSize :: Blake2s_160 -> Int

hashInternalContextSize :: Blake2s_160 -> Int

hashInternalInit :: Ptr (Context Blake2s_160) -> IO ()

hashInternalUpdate :: Ptr (Context Blake2s_160) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Blake2s_160) -> Ptr (Digest Blake2s_160) -> IO ()

HashAlgorithm Blake2bp_512

Associated Types

type HashBlockSize Blake2bp_512 :: Nat

type HashDigestSize Blake2bp_512 :: Nat

type HashInternalContextSize Blake2bp_512 :: Nat

Methods

hashBlockSize :: Blake2bp_512 -> Int

hashDigestSize :: Blake2bp_512 -> Int

hashInternalContextSize :: Blake2bp_512 -> Int

hashInternalInit :: Ptr (Context Blake2bp_512) -> IO ()

hashInternalUpdate :: Ptr (Context Blake2bp_512) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Blake2bp_512) -> Ptr (Digest Blake2bp_512) -> IO ()

HashAlgorithm Blake2b_512

Associated Types

type HashBlockSize Blake2b_512 :: Nat

type HashDigestSize Blake2b_512 :: Nat

type HashInternalContextSize Blake2b_512 :: Nat

Methods

hashBlockSize :: Blake2b_512 -> Int

hashDigestSize :: Blake2b_512 -> Int

hashInternalContextSize :: Blake2b_512 -> Int

hashInternalInit :: Ptr (Context Blake2b_512) -> IO ()

hashInternalUpdate :: Ptr (Context Blake2b_512) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Blake2b_512) -> Ptr (Digest Blake2b_512) -> IO ()

HashAlgorithm Blake2b_384

Associated Types

type HashBlockSize Blake2b_384 :: Nat

type HashDigestSize Blake2b_384 :: Nat

type HashInternalContextSize Blake2b_384 :: Nat

Methods

hashBlockSize :: Blake2b_384 -> Int

hashDigestSize :: Blake2b_384 -> Int

hashInternalContextSize :: Blake2b_384 -> Int

hashInternalInit :: Ptr (Context Blake2b_384) -> IO ()

hashInternalUpdate :: Ptr (Context Blake2b_384) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Blake2b_384) -> Ptr (Digest Blake2b_384) -> IO ()

HashAlgorithm Blake2b_256

Associated Types

type HashBlockSize Blake2b_256 :: Nat

type HashDigestSize Blake2b_256 :: Nat

type HashInternalContextSize Blake2b_256 :: Nat

Methods

hashBlockSize :: Blake2b_256 -> Int

hashDigestSize :: Blake2b_256 -> Int

hashInternalContextSize :: Blake2b_256 -> Int

hashInternalInit :: Ptr (Context Blake2b_256) -> IO ()

hashInternalUpdate :: Ptr (Context Blake2b_256) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Blake2b_256) -> Ptr (Digest Blake2b_256) -> IO ()

HashAlgorithm Blake2b_224

Associated Types

type HashBlockSize Blake2b_224 :: Nat

type HashDigestSize Blake2b_224 :: Nat

type HashInternalContextSize Blake2b_224 :: Nat

Methods

hashBlockSize :: Blake2b_224 -> Int

hashDigestSize :: Blake2b_224 -> Int

hashInternalContextSize :: Blake2b_224 -> Int

hashInternalInit :: Ptr (Context Blake2b_224) -> IO ()

hashInternalUpdate :: Ptr (Context Blake2b_224) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Blake2b_224) -> Ptr (Digest Blake2b_224) -> IO ()

HashAlgorithm Blake2b_160

Associated Types

type HashBlockSize Blake2b_160 :: Nat

type HashDigestSize Blake2b_160 :: Nat

type HashInternalContextSize Blake2b_160 :: Nat

Methods

hashBlockSize :: Blake2b_160 -> Int

hashDigestSize :: Blake2b_160 -> Int

hashInternalContextSize :: Blake2b_160 -> Int

hashInternalInit :: Ptr (Context Blake2b_160) -> IO ()

hashInternalUpdate :: Ptr (Context Blake2b_160) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Blake2b_160) -> Ptr (Digest Blake2b_160) -> IO ()

(IsDivisibleBy8 bitlen, KnownNat bitlen) => HashAlgorithm (SHAKE256 bitlen)

Associated Types

type HashBlockSize (SHAKE256 bitlen) :: Nat

type HashDigestSize (SHAKE256 bitlen) :: Nat

type HashInternalContextSize (SHAKE256 bitlen) :: Nat

Methods

hashBlockSize :: SHAKE256 bitlen -> Int

hashDigestSize :: SHAKE256 bitlen -> Int

hashInternalContextSize :: SHAKE256 bitlen -> Int

hashInternalInit :: Ptr (Context (SHAKE256 bitlen)) -> IO ()

hashInternalUpdate :: Ptr (Context (SHAKE256 bitlen)) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context (SHAKE256 bitlen)) -> Ptr (Digest (SHAKE256 bitlen)) -> IO ()

(IsDivisibleBy8 bitlen, KnownNat bitlen) => HashAlgorithm (SHAKE128 bitlen)

Associated Types

type HashBlockSize (SHAKE128 bitlen) :: Nat

type HashDigestSize (SHAKE128 bitlen) :: Nat

type HashInternalContextSize (SHAKE128 bitlen) :: Nat

Methods

hashBlockSize :: SHAKE128 bitlen -> Int

hashDigestSize :: SHAKE128 bitlen -> Int

hashInternalContextSize :: SHAKE128 bitlen -> Int

hashInternalInit :: Ptr (Context (SHAKE128 bitlen)) -> IO ()

hashInternalUpdate :: Ptr (Context (SHAKE128 bitlen)) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context (SHAKE128 bitlen)) -> Ptr (Digest (SHAKE128 bitlen)) -> IO ()

(IsDivisibleBy8 bitlen, KnownNat bitlen, IsAtLeast bitlen 8, IsAtMost bitlen 512) => HashAlgorithm (Blake2bp bitlen)

Associated Types

type HashBlockSize (Blake2bp bitlen) :: Nat

type HashDigestSize (Blake2bp bitlen) :: Nat

type HashInternalContextSize (Blake2bp bitlen) :: Nat

Methods

hashBlockSize :: Blake2bp bitlen -> Int

hashDigestSize :: Blake2bp bitlen -> Int

hashInternalContextSize :: Blake2bp bitlen -> Int

hashInternalInit :: Ptr (Context (Blake2bp bitlen)) -> IO ()

hashInternalUpdate :: Ptr (Context (Blake2bp bitlen)) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context (Blake2bp bitlen)) -> Ptr (Digest (Blake2bp bitlen)) -> IO ()

(IsDivisibleBy8 bitlen, KnownNat bitlen, IsAtLeast bitlen 8, IsAtMost bitlen 256) => HashAlgorithm (Blake2sp bitlen)

Associated Types

type HashBlockSize (Blake2sp bitlen) :: Nat

type HashDigestSize (Blake2sp bitlen) :: Nat

type HashInternalContextSize (Blake2sp bitlen) :: Nat

Methods

hashBlockSize :: Blake2sp bitlen -> Int

hashDigestSize :: Blake2sp bitlen -> Int

hashInternalContextSize :: Blake2sp bitlen -> Int

hashInternalInit :: Ptr (Context (Blake2sp bitlen)) -> IO ()

hashInternalUpdate :: Ptr (Context (Blake2sp bitlen)) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context (Blake2sp bitlen)) -> Ptr (Digest (Blake2sp bitlen)) -> IO ()

(IsDivisibleBy8 bitlen, KnownNat bitlen, IsAtLeast bitlen 8, IsAtMost bitlen 512) => HashAlgorithm (Blake2b bitlen)

Associated Types

type HashBlockSize (Blake2b bitlen) :: Nat

type HashDigestSize (Blake2b bitlen) :: Nat

type HashInternalContextSize (Blake2b bitlen) :: Nat

Methods

hashBlockSize :: Blake2b bitlen -> Int

hashDigestSize :: Blake2b bitlen -> Int

hashInternalContextSize :: Blake2b bitlen -> Int

hashInternalInit :: Ptr (Context (Blake2b bitlen)) -> IO ()

hashInternalUpdate :: Ptr (Context (Blake2b bitlen)) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context (Blake2b bitlen)) -> Ptr (Digest (Blake2b bitlen)) -> IO ()

(IsDivisibleBy8 bitlen, KnownNat bitlen, IsAtLeast bitlen 8, IsAtMost bitlen 256) => HashAlgorithm (Blake2s bitlen)

Associated Types

type HashBlockSize (Blake2s bitlen) :: Nat

type HashDigestSize (Blake2s bitlen) :: Nat

type HashInternalContextSize (Blake2s bitlen) :: Nat

Methods

hashBlockSize :: Blake2s bitlen -> Int

hashDigestSize :: Blake2s bitlen -> Int

hashInternalContextSize :: Blake2s bitlen -> Int

hashInternalInit :: Ptr (Context (Blake2s bitlen)) -> IO ()

hashInternalUpdate :: Ptr (Context (Blake2s bitlen)) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context (Blake2s bitlen)) -> Ptr (Digest (Blake2s bitlen)) -> IO ()

Hash algorithms

data Blake2s_160

Blake2s (160 bits) cryptographic hash algorithm

Constructors

Blake2s_160

Instances

Data Blake2s_160

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Blake2s_160 -> c Blake2s_160

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Blake2s_160

toConstr :: Blake2s_160 -> Constr

dataTypeOf :: Blake2s_160 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Blake2s_160)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Blake2s_160)

gmapT :: (forall b. Data b => b -> b) -> Blake2s_160 -> Blake2s_160

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Blake2s_160 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Blake2s_160 -> r

gmapQ :: (forall d. Data d => d -> u) -> Blake2s_160 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Blake2s_160 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Blake2s_160 -> m Blake2s_160

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Blake2s_160 -> m Blake2s_160

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Blake2s_160 -> m Blake2s_160

Show Blake2s_160

Methods

showsPrec :: Int -> Blake2s_160 -> ShowS

show :: Blake2s_160 -> String

showList :: [Blake2s_160] -> ShowS

HashAlgorithm Blake2s_160

Associated Types

type HashBlockSize Blake2s_160 :: Nat

type HashDigestSize Blake2s_160 :: Nat

type HashInternalContextSize Blake2s_160 :: Nat

Methods

hashBlockSize :: Blake2s_160 -> Int

hashDigestSize :: Blake2s_160 -> Int

hashInternalContextSize :: Blake2s_160 -> Int

hashInternalInit :: Ptr (Context Blake2s_160) -> IO ()

hashInternalUpdate :: Ptr (Context Blake2s_160) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Blake2s_160) -> Ptr (Digest Blake2s_160) -> IO ()

type HashBlockSize Blake2s_160

type HashBlockSize Blake2s_160 = 64

type HashDigestSize Blake2s_160

type HashDigestSize Blake2s_160 = 20

type HashInternalContextSize Blake2s_160

type HashInternalContextSize Blake2s_160 = 136

data Blake2s_224

Blake2s (224 bits) cryptographic hash algorithm

Constructors

Blake2s_224

Instances

Data Blake2s_224

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Blake2s_224 -> c Blake2s_224

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Blake2s_224

toConstr :: Blake2s_224 -> Constr

dataTypeOf :: Blake2s_224 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Blake2s_224)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Blake2s_224)

gmapT :: (forall b. Data b => b -> b) -> Blake2s_224 -> Blake2s_224

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Blake2s_224 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Blake2s_224 -> r

gmapQ :: (forall d. Data d => d -> u) -> Blake2s_224 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Blake2s_224 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Blake2s_224 -> m Blake2s_224

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Blake2s_224 -> m Blake2s_224

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Blake2s_224 -> m Blake2s_224

Show Blake2s_224

Methods

showsPrec :: Int -> Blake2s_224 -> ShowS

show :: Blake2s_224 -> String

showList :: [Blake2s_224] -> ShowS

HashAlgorithm Blake2s_224

Associated Types

type HashBlockSize Blake2s_224 :: Nat

type HashDigestSize Blake2s_224 :: Nat

type HashInternalContextSize Blake2s_224 :: Nat

Methods

hashBlockSize :: Blake2s_224 -> Int

hashDigestSize :: Blake2s_224 -> Int

hashInternalContextSize :: Blake2s_224 -> Int

hashInternalInit :: Ptr (Context Blake2s_224) -> IO ()

hashInternalUpdate :: Ptr (Context Blake2s_224) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Blake2s_224) -> Ptr (Digest Blake2s_224) -> IO ()

type HashBlockSize Blake2s_224

type HashBlockSize Blake2s_224 = 64

type HashDigestSize Blake2s_224

type HashDigestSize Blake2s_224 = 28

type HashInternalContextSize Blake2s_224

type HashInternalContextSize Blake2s_224 = 136

data Blake2s_256

Blake2s (256 bits) cryptographic hash algorithm

Constructors

Blake2s_256

Instances

Data Blake2s_256

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Blake2s_256 -> c Blake2s_256

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Blake2s_256

toConstr :: Blake2s_256 -> Constr

dataTypeOf :: Blake2s_256 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Blake2s_256)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Blake2s_256)

gmapT :: (forall b. Data b => b -> b) -> Blake2s_256 -> Blake2s_256

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Blake2s_256 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Blake2s_256 -> r

gmapQ :: (forall d. Data d => d -> u) -> Blake2s_256 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Blake2s_256 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Blake2s_256 -> m Blake2s_256

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Blake2s_256 -> m Blake2s_256

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Blake2s_256 -> m Blake2s_256

Show Blake2s_256

Methods

showsPrec :: Int -> Blake2s_256 -> ShowS

show :: Blake2s_256 -> String

showList :: [Blake2s_256] -> ShowS

HashAlgorithm Blake2s_256

Associated Types

type HashBlockSize Blake2s_256 :: Nat

type HashDigestSize Blake2s_256 :: Nat

type HashInternalContextSize Blake2s_256 :: Nat

Methods

hashBlockSize :: Blake2s_256 -> Int

hashDigestSize :: Blake2s_256 -> Int

hashInternalContextSize :: Blake2s_256 -> Int

hashInternalInit :: Ptr (Context Blake2s_256) -> IO ()

hashInternalUpdate :: Ptr (Context Blake2s_256) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Blake2s_256) -> Ptr (Digest Blake2s_256) -> IO ()

type HashBlockSize Blake2s_256

type HashBlockSize Blake2s_256 = 64

type HashDigestSize Blake2s_256

type HashDigestSize Blake2s_256 = 32

type HashInternalContextSize Blake2s_256

type HashInternalContextSize Blake2s_256 = 136

data Blake2sp_224

Blake2sp (224 bits) cryptographic hash algorithm

Constructors

Blake2sp_224

Instances

Data Blake2sp_224

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Blake2sp_224 -> c Blake2sp_224

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Blake2sp_224

toConstr :: Blake2sp_224 -> Constr

dataTypeOf :: Blake2sp_224 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Blake2sp_224)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Blake2sp_224)

gmapT :: (forall b. Data b => b -> b) -> Blake2sp_224 -> Blake2sp_224

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Blake2sp_224 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Blake2sp_224 -> r

gmapQ :: (forall d. Data d => d -> u) -> Blake2sp_224 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Blake2sp_224 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Blake2sp_224 -> m Blake2sp_224

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Blake2sp_224 -> m Blake2sp_224

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Blake2sp_224 -> m Blake2sp_224

Show Blake2sp_224

Methods

showsPrec :: Int -> Blake2sp_224 -> ShowS

show :: Blake2sp_224 -> String

showList :: [Blake2sp_224] -> ShowS

HashAlgorithm Blake2sp_224

Associated Types

type HashBlockSize Blake2sp_224 :: Nat

type HashDigestSize Blake2sp_224 :: Nat

type HashInternalContextSize Blake2sp_224 :: Nat

Methods

hashBlockSize :: Blake2sp_224 -> Int

hashDigestSize :: Blake2sp_224 -> Int

hashInternalContextSize :: Blake2sp_224 -> Int

hashInternalInit :: Ptr (Context Blake2sp_224) -> IO ()

hashInternalUpdate :: Ptr (Context Blake2sp_224) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Blake2sp_224) -> Ptr (Digest Blake2sp_224) -> IO ()

type HashBlockSize Blake2sp_224

type HashBlockSize Blake2sp_224 = 64

type HashDigestSize Blake2sp_224

type HashDigestSize Blake2sp_224 = 28

type HashInternalContextSize Blake2sp_224

type HashInternalContextSize Blake2sp_224 = 1752

data Blake2sp_256

Blake2sp (256 bits) cryptographic hash algorithm

Constructors

Blake2sp_256

Instances

Data Blake2sp_256

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Blake2sp_256 -> c Blake2sp_256

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Blake2sp_256

toConstr :: Blake2sp_256 -> Constr

dataTypeOf :: Blake2sp_256 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Blake2sp_256)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Blake2sp_256)

gmapT :: (forall b. Data b => b -> b) -> Blake2sp_256 -> Blake2sp_256

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Blake2sp_256 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Blake2sp_256 -> r

gmapQ :: (forall d. Data d => d -> u) -> Blake2sp_256 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Blake2sp_256 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Blake2sp_256 -> m Blake2sp_256

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Blake2sp_256 -> m Blake2sp_256

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Blake2sp_256 -> m Blake2sp_256

Show Blake2sp_256

Methods

showsPrec :: Int -> Blake2sp_256 -> ShowS

show :: Blake2sp_256 -> String

showList :: [Blake2sp_256] -> ShowS

HashAlgorithm Blake2sp_256

Associated Types

type HashBlockSize Blake2sp_256 :: Nat

type HashDigestSize Blake2sp_256 :: Nat

type HashInternalContextSize Blake2sp_256 :: Nat

Methods

hashBlockSize :: Blake2sp_256 -> Int

hashDigestSize :: Blake2sp_256 -> Int

hashInternalContextSize :: Blake2sp_256 -> Int

hashInternalInit :: Ptr (Context Blake2sp_256) -> IO ()

hashInternalUpdate :: Ptr (Context Blake2sp_256) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Blake2sp_256) -> Ptr (Digest Blake2sp_256) -> IO ()

type HashBlockSize Blake2sp_256

type HashBlockSize Blake2sp_256 = 64

type HashDigestSize Blake2sp_256

type HashDigestSize Blake2sp_256 = 32

type HashInternalContextSize Blake2sp_256

type HashInternalContextSize Blake2sp_256 = 1752

data Blake2b_160

Blake2b (160 bits) cryptographic hash algorithm

Constructors

Blake2b_160

Instances

Data Blake2b_160

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Blake2b_160 -> c Blake2b_160

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Blake2b_160

toConstr :: Blake2b_160 -> Constr

dataTypeOf :: Blake2b_160 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Blake2b_160)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Blake2b_160)

gmapT :: (forall b. Data b => b -> b) -> Blake2b_160 -> Blake2b_160

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Blake2b_160 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Blake2b_160 -> r

gmapQ :: (forall d. Data d => d -> u) -> Blake2b_160 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Blake2b_160 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Blake2b_160 -> m Blake2b_160

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Blake2b_160 -> m Blake2b_160

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Blake2b_160 -> m Blake2b_160

Show Blake2b_160

Methods

showsPrec :: Int -> Blake2b_160 -> ShowS

show :: Blake2b_160 -> String

showList :: [Blake2b_160] -> ShowS

HashAlgorithm Blake2b_160

Associated Types

type HashBlockSize Blake2b_160 :: Nat

type HashDigestSize Blake2b_160 :: Nat

type HashInternalContextSize Blake2b_160 :: Nat

Methods

hashBlockSize :: Blake2b_160 -> Int

hashDigestSize :: Blake2b_160 -> Int

hashInternalContextSize :: Blake2b_160 -> Int

hashInternalInit :: Ptr (Context Blake2b_160) -> IO ()

hashInternalUpdate :: Ptr (Context Blake2b_160) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Blake2b_160) -> Ptr (Digest Blake2b_160) -> IO ()

type HashBlockSize Blake2b_160

type HashBlockSize Blake2b_160 = 128

type HashDigestSize Blake2b_160

type HashDigestSize Blake2b_160 = 20

type HashInternalContextSize Blake2b_160

type HashInternalContextSize Blake2b_160 = 248

data Blake2b_224

Blake2b (224 bits) cryptographic hash algorithm

Constructors

Blake2b_224

Instances

Data Blake2b_224

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Blake2b_224 -> c Blake2b_224

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Blake2b_224

toConstr :: Blake2b_224 -> Constr

dataTypeOf :: Blake2b_224 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Blake2b_224)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Blake2b_224)

gmapT :: (forall b. Data b => b -> b) -> Blake2b_224 -> Blake2b_224

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Blake2b_224 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Blake2b_224 -> r

gmapQ :: (forall d. Data d => d -> u) -> Blake2b_224 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Blake2b_224 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Blake2b_224 -> m Blake2b_224

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Blake2b_224 -> m Blake2b_224

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Blake2b_224 -> m Blake2b_224

Show Blake2b_224

Methods

showsPrec :: Int -> Blake2b_224 -> ShowS

show :: Blake2b_224 -> String

showList :: [Blake2b_224] -> ShowS

HashAlgorithm Blake2b_224

Associated Types

type HashBlockSize Blake2b_224 :: Nat

type HashDigestSize Blake2b_224 :: Nat

type HashInternalContextSize Blake2b_224 :: Nat

Methods

hashBlockSize :: Blake2b_224 -> Int

hashDigestSize :: Blake2b_224 -> Int

hashInternalContextSize :: Blake2b_224 -> Int

hashInternalInit :: Ptr (Context Blake2b_224) -> IO ()

hashInternalUpdate :: Ptr (Context Blake2b_224) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Blake2b_224) -> Ptr (Digest Blake2b_224) -> IO ()

type HashBlockSize Blake2b_224

type HashBlockSize Blake2b_224 = 128

type HashDigestSize Blake2b_224

type HashDigestSize Blake2b_224 = 28

type HashInternalContextSize Blake2b_224

type HashInternalContextSize Blake2b_224 = 248

data Blake2b_256

Blake2b (256 bits) cryptographic hash algorithm

Constructors

Blake2b_256

Instances

Data Blake2b_256

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Blake2b_256 -> c Blake2b_256

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Blake2b_256

toConstr :: Blake2b_256 -> Constr

dataTypeOf :: Blake2b_256 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Blake2b_256)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Blake2b_256)

gmapT :: (forall b. Data b => b -> b) -> Blake2b_256 -> Blake2b_256

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Blake2b_256 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Blake2b_256 -> r

gmapQ :: (forall d. Data d => d -> u) -> Blake2b_256 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Blake2b_256 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Blake2b_256 -> m Blake2b_256

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Blake2b_256 -> m Blake2b_256

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Blake2b_256 -> m Blake2b_256

Show Blake2b_256

Methods

showsPrec :: Int -> Blake2b_256 -> ShowS

show :: Blake2b_256 -> String

showList :: [Blake2b_256] -> ShowS

HashAlgorithm Blake2b_256

Associated Types

type HashBlockSize Blake2b_256 :: Nat

type HashDigestSize Blake2b_256 :: Nat

type HashInternalContextSize Blake2b_256 :: Nat

Methods

hashBlockSize :: Blake2b_256 -> Int

hashDigestSize :: Blake2b_256 -> Int

hashInternalContextSize :: Blake2b_256 -> Int

hashInternalInit :: Ptr (Context Blake2b_256) -> IO ()

hashInternalUpdate :: Ptr (Context Blake2b_256) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Blake2b_256) -> Ptr (Digest Blake2b_256) -> IO ()

type HashBlockSize Blake2b_256

type HashBlockSize Blake2b_256 = 128

type HashDigestSize Blake2b_256

type HashDigestSize Blake2b_256 = 32

type HashInternalContextSize Blake2b_256

type HashInternalContextSize Blake2b_256 = 248

data Blake2b_384

Blake2b (384 bits) cryptographic hash algorithm

Constructors

Blake2b_384

Instances

Data Blake2b_384

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Blake2b_384 -> c Blake2b_384

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Blake2b_384

toConstr :: Blake2b_384 -> Constr

dataTypeOf :: Blake2b_384 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Blake2b_384)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Blake2b_384)

gmapT :: (forall b. Data b => b -> b) -> Blake2b_384 -> Blake2b_384

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Blake2b_384 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Blake2b_384 -> r

gmapQ :: (forall d. Data d => d -> u) -> Blake2b_384 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Blake2b_384 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Blake2b_384 -> m Blake2b_384

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Blake2b_384 -> m Blake2b_384

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Blake2b_384 -> m Blake2b_384

Show Blake2b_384

Methods

showsPrec :: Int -> Blake2b_384 -> ShowS

show :: Blake2b_384 -> String

showList :: [Blake2b_384] -> ShowS

HashAlgorithm Blake2b_384

Associated Types

type HashBlockSize Blake2b_384 :: Nat

type HashDigestSize Blake2b_384 :: Nat

type HashInternalContextSize Blake2b_384 :: Nat

Methods

hashBlockSize :: Blake2b_384 -> Int

hashDigestSize :: Blake2b_384 -> Int

hashInternalContextSize :: Blake2b_384 -> Int

hashInternalInit :: Ptr (Context Blake2b_384) -> IO ()

hashInternalUpdate :: Ptr (Context Blake2b_384) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Blake2b_384) -> Ptr (Digest Blake2b_384) -> IO ()

type HashBlockSize Blake2b_384

type HashBlockSize Blake2b_384 = 128

type HashDigestSize Blake2b_384

type HashDigestSize Blake2b_384 = 48

type HashInternalContextSize Blake2b_384

type HashInternalContextSize Blake2b_384 = 248

data Blake2b_512

Blake2b (512 bits) cryptographic hash algorithm

Constructors

Blake2b_512

Instances

Data Blake2b_512

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Blake2b_512 -> c Blake2b_512

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Blake2b_512

toConstr :: Blake2b_512 -> Constr

dataTypeOf :: Blake2b_512 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Blake2b_512)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Blake2b_512)

gmapT :: (forall b. Data b => b -> b) -> Blake2b_512 -> Blake2b_512

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Blake2b_512 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Blake2b_512 -> r

gmapQ :: (forall d. Data d => d -> u) -> Blake2b_512 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Blake2b_512 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Blake2b_512 -> m Blake2b_512

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Blake2b_512 -> m Blake2b_512

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Blake2b_512 -> m Blake2b_512

Show Blake2b_512

Methods

showsPrec :: Int -> Blake2b_512 -> ShowS

show :: Blake2b_512 -> String

showList :: [Blake2b_512] -> ShowS

HashAlgorithm Blake2b_512

Associated Types

type HashBlockSize Blake2b_512 :: Nat

type HashDigestSize Blake2b_512 :: Nat

type HashInternalContextSize Blake2b_512 :: Nat

Methods

hashBlockSize :: Blake2b_512 -> Int

hashDigestSize :: Blake2b_512 -> Int

hashInternalContextSize :: Blake2b_512 -> Int

hashInternalInit :: Ptr (Context Blake2b_512) -> IO ()

hashInternalUpdate :: Ptr (Context Blake2b_512) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Blake2b_512) -> Ptr (Digest Blake2b_512) -> IO ()

type HashBlockSize Blake2b_512

type HashBlockSize Blake2b_512 = 128

type HashDigestSize Blake2b_512

type HashDigestSize Blake2b_512 = 64

type HashInternalContextSize Blake2b_512

type HashInternalContextSize Blake2b_512 = 248

data Blake2bp_512

Blake2bp (512 bits) cryptographic hash algorithm

Constructors

Blake2bp_512

Instances

Data Blake2bp_512

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Blake2bp_512 -> c Blake2bp_512

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Blake2bp_512

toConstr :: Blake2bp_512 -> Constr

dataTypeOf :: Blake2bp_512 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Blake2bp_512)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Blake2bp_512)

gmapT :: (forall b. Data b => b -> b) -> Blake2bp_512 -> Blake2bp_512

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Blake2bp_512 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Blake2bp_512 -> r

gmapQ :: (forall d. Data d => d -> u) -> Blake2bp_512 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Blake2bp_512 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Blake2bp_512 -> m Blake2bp_512

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Blake2bp_512 -> m Blake2bp_512

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Blake2bp_512 -> m Blake2bp_512

Show Blake2bp_512

Methods

showsPrec :: Int -> Blake2bp_512 -> ShowS

show :: Blake2bp_512 -> String

showList :: [Blake2bp_512] -> ShowS

HashAlgorithm Blake2bp_512

Associated Types

type HashBlockSize Blake2bp_512 :: Nat

type HashDigestSize Blake2bp_512 :: Nat

type HashInternalContextSize Blake2bp_512 :: Nat

Methods

hashBlockSize :: Blake2bp_512 -> Int

hashDigestSize :: Blake2bp_512 -> Int

hashInternalContextSize :: Blake2bp_512 -> Int

hashInternalInit :: Ptr (Context Blake2bp_512) -> IO ()

hashInternalUpdate :: Ptr (Context Blake2bp_512) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Blake2bp_512) -> Ptr (Digest Blake2bp_512) -> IO ()

type HashBlockSize Blake2bp_512

type HashBlockSize Blake2bp_512 = 128

type HashDigestSize Blake2bp_512

type HashDigestSize Blake2bp_512 = 64

type HashInternalContextSize Blake2bp_512

type HashInternalContextSize Blake2bp_512 = 1768

data MD2

MD2 cryptographic hash algorithm

Constructors

MD2

Instances

Data MD2

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MD2 -> c MD2

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MD2

toConstr :: MD2 -> Constr

dataTypeOf :: MD2 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c MD2)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MD2)

gmapT :: (forall b. Data b => b -> b) -> MD2 -> MD2

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MD2 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MD2 -> r

gmapQ :: (forall d. Data d => d -> u) -> MD2 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> MD2 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MD2 -> m MD2

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MD2 -> m MD2

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MD2 -> m MD2

Show MD2

Methods

showsPrec :: Int -> MD2 -> ShowS

show :: MD2 -> String

showList :: [MD2] -> ShowS

HashAlgorithm MD2

Associated Types

type HashBlockSize MD2 :: Nat

type HashDigestSize MD2 :: Nat

type HashInternalContextSize MD2 :: Nat

Methods

hashBlockSize :: MD2 -> Int

hashDigestSize :: MD2 -> Int

hashInternalContextSize :: MD2 -> Int

hashInternalInit :: Ptr (Context MD2) -> IO ()

hashInternalUpdate :: Ptr (Context MD2) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context MD2) -> Ptr (Digest MD2) -> IO ()

HashAlgorithmASN1 MD2

Methods

hashDigestASN1 :: ByteArray out => Digest MD2 -> out

type HashBlockSize MD2

type HashBlockSize MD2 = 16

type HashDigestSize MD2

type HashDigestSize MD2 = 16

type HashInternalContextSize MD2

type HashInternalContextSize MD2 = 96

data MD4

MD4 cryptographic hash algorithm

Constructors

MD4

Instances

Data MD4

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MD4 -> c MD4

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MD4

toConstr :: MD4 -> Constr

dataTypeOf :: MD4 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c MD4)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MD4)

gmapT :: (forall b. Data b => b -> b) -> MD4 -> MD4

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MD4 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MD4 -> r

gmapQ :: (forall d. Data d => d -> u) -> MD4 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> MD4 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MD4 -> m MD4

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MD4 -> m MD4

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MD4 -> m MD4

Show MD4

Methods

showsPrec :: Int -> MD4 -> ShowS

show :: MD4 -> String

showList :: [MD4] -> ShowS

HashAlgorithm MD4

Associated Types

type HashBlockSize MD4 :: Nat

type HashDigestSize MD4 :: Nat

type HashInternalContextSize MD4 :: Nat

Methods

hashBlockSize :: MD4 -> Int

hashDigestSize :: MD4 -> Int

hashInternalContextSize :: MD4 -> Int

hashInternalInit :: Ptr (Context MD4) -> IO ()

hashInternalUpdate :: Ptr (Context MD4) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context MD4) -> Ptr (Digest MD4) -> IO ()

type HashBlockSize MD4

type HashBlockSize MD4 = 64

type HashDigestSize MD4

type HashDigestSize MD4 = 16

type HashInternalContextSize MD4

type HashInternalContextSize MD4 = 96

data MD5

MD5 cryptographic hash algorithm

Constructors

MD5

Instances

Data MD5

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MD5 -> c MD5

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MD5

toConstr :: MD5 -> Constr

dataTypeOf :: MD5 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c MD5)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MD5)

gmapT :: (forall b. Data b => b -> b) -> MD5 -> MD5

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MD5 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MD5 -> r

gmapQ :: (forall d. Data d => d -> u) -> MD5 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> MD5 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MD5 -> m MD5

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MD5 -> m MD5

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MD5 -> m MD5

Show MD5

Methods

showsPrec :: Int -> MD5 -> ShowS

show :: MD5 -> String

showList :: [MD5] -> ShowS

HashAlgorithm MD5

Associated Types

type HashBlockSize MD5 :: Nat

type HashDigestSize MD5 :: Nat

type HashInternalContextSize MD5 :: Nat

Methods

hashBlockSize :: MD5 -> Int

hashDigestSize :: MD5 -> Int

hashInternalContextSize :: MD5 -> Int

hashInternalInit :: Ptr (Context MD5) -> IO ()

hashInternalUpdate :: Ptr (Context MD5) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context MD5) -> Ptr (Digest MD5) -> IO ()

HashAlgorithmASN1 MD5

Methods

hashDigestASN1 :: ByteArray out => Digest MD5 -> out

type HashBlockSize MD5

type HashBlockSize MD5 = 64

type HashDigestSize MD5

type HashDigestSize MD5 = 16

type HashInternalContextSize MD5

type HashInternalContextSize MD5 = 96

data SHA1

SHA1 cryptographic hash algorithm

Constructors

SHA1

Instances

Data SHA1

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SHA1 -> c SHA1

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SHA1

toConstr :: SHA1 -> Constr

dataTypeOf :: SHA1 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SHA1)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SHA1)

gmapT :: (forall b. Data b => b -> b) -> SHA1 -> SHA1

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SHA1 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SHA1 -> r

gmapQ :: (forall d. Data d => d -> u) -> SHA1 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SHA1 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SHA1 -> m SHA1

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA1 -> m SHA1

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA1 -> m SHA1

Show SHA1

Methods

showsPrec :: Int -> SHA1 -> ShowS

show :: SHA1 -> String

showList :: [SHA1] -> ShowS

HashAlgorithm SHA1

Associated Types

type HashBlockSize SHA1 :: Nat

type HashDigestSize SHA1 :: Nat

type HashInternalContextSize SHA1 :: Nat

Methods

hashBlockSize :: SHA1 -> Int

hashDigestSize :: SHA1 -> Int

hashInternalContextSize :: SHA1 -> Int

hashInternalInit :: Ptr (Context SHA1) -> IO ()

hashInternalUpdate :: Ptr (Context SHA1) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context SHA1) -> Ptr (Digest SHA1) -> IO ()

HashAlgorithmASN1 SHA1

Methods

hashDigestASN1 :: ByteArray out => Digest SHA1 -> out

type HashBlockSize SHA1

type HashBlockSize SHA1 = 64

type HashDigestSize SHA1

type HashDigestSize SHA1 = 20

type HashInternalContextSize SHA1

type HashInternalContextSize SHA1 = 96

data SHA224

SHA224 cryptographic hash algorithm

Constructors

SHA224

Instances

Data SHA224

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SHA224 -> c SHA224

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SHA224

toConstr :: SHA224 -> Constr

dataTypeOf :: SHA224 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SHA224)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SHA224)

gmapT :: (forall b. Data b => b -> b) -> SHA224 -> SHA224

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SHA224 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SHA224 -> r

gmapQ :: (forall d. Data d => d -> u) -> SHA224 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SHA224 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SHA224 -> m SHA224

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA224 -> m SHA224

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA224 -> m SHA224

Show SHA224

Methods

showsPrec :: Int -> SHA224 -> ShowS

show :: SHA224 -> String

showList :: [SHA224] -> ShowS

HashAlgorithm SHA224

Associated Types

type HashBlockSize SHA224 :: Nat

type HashDigestSize SHA224 :: Nat

type HashInternalContextSize SHA224 :: Nat

Methods

hashBlockSize :: SHA224 -> Int

hashDigestSize :: SHA224 -> Int

hashInternalContextSize :: SHA224 -> Int

hashInternalInit :: Ptr (Context SHA224) -> IO ()

hashInternalUpdate :: Ptr (Context SHA224) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context SHA224) -> Ptr (Digest SHA224) -> IO ()

HashAlgorithmASN1 SHA224

Methods

hashDigestASN1 :: ByteArray out => Digest SHA224 -> out

type HashBlockSize SHA224

type HashBlockSize SHA224 = 64

type HashDigestSize SHA224

type HashDigestSize SHA224 = 28

type HashInternalContextSize SHA224

type HashInternalContextSize SHA224 = 192

data SHA256

SHA256 cryptographic hash algorithm

Constructors

SHA256

Instances

Data SHA256

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SHA256 -> c SHA256

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SHA256

toConstr :: SHA256 -> Constr

dataTypeOf :: SHA256 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SHA256)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SHA256)

gmapT :: (forall b. Data b => b -> b) -> SHA256 -> SHA256

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SHA256 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SHA256 -> r

gmapQ :: (forall d. Data d => d -> u) -> SHA256 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SHA256 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SHA256 -> m SHA256

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA256 -> m SHA256

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA256 -> m SHA256

Show SHA256

Methods

showsPrec :: Int -> SHA256 -> ShowS

show :: SHA256 -> String

showList :: [SHA256] -> ShowS

HashAlgorithm SHA256

Associated Types

type HashBlockSize SHA256 :: Nat

type HashDigestSize SHA256 :: Nat

type HashInternalContextSize SHA256 :: Nat

Methods

hashBlockSize :: SHA256 -> Int

hashDigestSize :: SHA256 -> Int

hashInternalContextSize :: SHA256 -> Int

hashInternalInit :: Ptr (Context SHA256) -> IO ()

hashInternalUpdate :: Ptr (Context SHA256) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context SHA256) -> Ptr (Digest SHA256) -> IO ()

HashAlgorithmASN1 SHA256

Methods

hashDigestASN1 :: ByteArray out => Digest SHA256 -> out

type HashBlockSize SHA256

type HashBlockSize SHA256 = 64

type HashDigestSize SHA256

type HashDigestSize SHA256 = 32

type HashInternalContextSize SHA256

type HashInternalContextSize SHA256 = 192

data SHA384

SHA384 cryptographic hash algorithm

Constructors

SHA384

Instances

Data SHA384

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SHA384 -> c SHA384

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SHA384

toConstr :: SHA384 -> Constr

dataTypeOf :: SHA384 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SHA384)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SHA384)

gmapT :: (forall b. Data b => b -> b) -> SHA384 -> SHA384

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SHA384 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SHA384 -> r

gmapQ :: (forall d. Data d => d -> u) -> SHA384 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SHA384 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SHA384 -> m SHA384

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA384 -> m SHA384

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA384 -> m SHA384

Show SHA384

Methods

showsPrec :: Int -> SHA384 -> ShowS

show :: SHA384 -> String

showList :: [SHA384] -> ShowS

HashAlgorithm SHA384

Associated Types

type HashBlockSize SHA384 :: Nat

type HashDigestSize SHA384 :: Nat

type HashInternalContextSize SHA384 :: Nat

Methods

hashBlockSize :: SHA384 -> Int

hashDigestSize :: SHA384 -> Int

hashInternalContextSize :: SHA384 -> Int

hashInternalInit :: Ptr (Context SHA384) -> IO ()

hashInternalUpdate :: Ptr (Context SHA384) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context SHA384) -> Ptr (Digest SHA384) -> IO ()

HashAlgorithmASN1 SHA384

Methods

hashDigestASN1 :: ByteArray out => Digest SHA384 -> out

type HashBlockSize SHA384

type HashBlockSize SHA384 = 128

type HashDigestSize SHA384

type HashDigestSize SHA384 = 48

type HashInternalContextSize SHA384

type HashInternalContextSize SHA384 = 256

data SHA512

SHA512 cryptographic hash algorithm

Constructors

SHA512

Instances

Data SHA512

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SHA512 -> c SHA512

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SHA512

toConstr :: SHA512 -> Constr

dataTypeOf :: SHA512 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SHA512)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SHA512)

gmapT :: (forall b. Data b => b -> b) -> SHA512 -> SHA512

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SHA512 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SHA512 -> r

gmapQ :: (forall d. Data d => d -> u) -> SHA512 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SHA512 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SHA512 -> m SHA512

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA512 -> m SHA512

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA512 -> m SHA512

Show SHA512

Methods

showsPrec :: Int -> SHA512 -> ShowS

show :: SHA512 -> String

showList :: [SHA512] -> ShowS

HashAlgorithm SHA512

Associated Types

type HashBlockSize SHA512 :: Nat

type HashDigestSize SHA512 :: Nat

type HashInternalContextSize SHA512 :: Nat

Methods

hashBlockSize :: SHA512 -> Int

hashDigestSize :: SHA512 -> Int

hashInternalContextSize :: SHA512 -> Int

hashInternalInit :: Ptr (Context SHA512) -> IO ()

hashInternalUpdate :: Ptr (Context SHA512) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context SHA512) -> Ptr (Digest SHA512) -> IO ()

HashAlgorithmASN1 SHA512

Methods

hashDigestASN1 :: ByteArray out => Digest SHA512 -> out

type HashBlockSize SHA512

type HashBlockSize SHA512 = 128

type HashDigestSize SHA512

type HashDigestSize SHA512 = 64

type HashInternalContextSize SHA512

type HashInternalContextSize SHA512 = 256

data SHA512t_224

SHA512t (224 bits) cryptographic hash algorithm

Constructors

SHA512t_224

Instances

Data SHA512t_224

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SHA512t_224 -> c SHA512t_224

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SHA512t_224

toConstr :: SHA512t_224 -> Constr

dataTypeOf :: SHA512t_224 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SHA512t_224)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SHA512t_224)

gmapT :: (forall b. Data b => b -> b) -> SHA512t_224 -> SHA512t_224

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SHA512t_224 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SHA512t_224 -> r

gmapQ :: (forall d. Data d => d -> u) -> SHA512t_224 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SHA512t_224 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SHA512t_224 -> m SHA512t_224

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA512t_224 -> m SHA512t_224

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA512t_224 -> m SHA512t_224

Show SHA512t_224

Methods

showsPrec :: Int -> SHA512t_224 -> ShowS

show :: SHA512t_224 -> String

showList :: [SHA512t_224] -> ShowS

HashAlgorithm SHA512t_224

Associated Types

type HashBlockSize SHA512t_224 :: Nat

type HashDigestSize SHA512t_224 :: Nat

type HashInternalContextSize SHA512t_224 :: Nat

Methods

hashBlockSize :: SHA512t_224 -> Int

hashDigestSize :: SHA512t_224 -> Int

hashInternalContextSize :: SHA512t_224 -> Int

hashInternalInit :: Ptr (Context SHA512t_224) -> IO ()

hashInternalUpdate :: Ptr (Context SHA512t_224) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context SHA512t_224) -> Ptr (Digest SHA512t_224) -> IO ()

HashAlgorithmASN1 SHA512t_224

Methods

hashDigestASN1 :: ByteArray out => Digest SHA512t_224 -> out

type HashBlockSize SHA512t_224

type HashBlockSize SHA512t_224 = 128

type HashDigestSize SHA512t_224

type HashDigestSize SHA512t_224 = 28

type HashInternalContextSize SHA512t_224

type HashInternalContextSize SHA512t_224 = 256

data SHA512t_256

SHA512t (256 bits) cryptographic hash algorithm

Constructors

SHA512t_256

Instances

Data SHA512t_256

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SHA512t_256 -> c SHA512t_256

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SHA512t_256

toConstr :: SHA512t_256 -> Constr

dataTypeOf :: SHA512t_256 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SHA512t_256)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SHA512t_256)

gmapT :: (forall b. Data b => b -> b) -> SHA512t_256 -> SHA512t_256

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SHA512t_256 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SHA512t_256 -> r

gmapQ :: (forall d. Data d => d -> u) -> SHA512t_256 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SHA512t_256 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SHA512t_256 -> m SHA512t_256

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA512t_256 -> m SHA512t_256

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA512t_256 -> m SHA512t_256

Show SHA512t_256

Methods

showsPrec :: Int -> SHA512t_256 -> ShowS

show :: SHA512t_256 -> String

showList :: [SHA512t_256] -> ShowS

HashAlgorithm SHA512t_256

Associated Types

type HashBlockSize SHA512t_256 :: Nat

type HashDigestSize SHA512t_256 :: Nat

type HashInternalContextSize SHA512t_256 :: Nat

Methods

hashBlockSize :: SHA512t_256 -> Int

hashDigestSize :: SHA512t_256 -> Int

hashInternalContextSize :: SHA512t_256 -> Int

hashInternalInit :: Ptr (Context SHA512t_256) -> IO ()

hashInternalUpdate :: Ptr (Context SHA512t_256) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context SHA512t_256) -> Ptr (Digest SHA512t_256) -> IO ()

HashAlgorithmASN1 SHA512t_256

Methods

hashDigestASN1 :: ByteArray out => Digest SHA512t_256 -> out

type HashBlockSize SHA512t_256

type HashBlockSize SHA512t_256 = 128

type HashDigestSize SHA512t_256

type HashDigestSize SHA512t_256 = 32

type HashInternalContextSize SHA512t_256

type HashInternalContextSize SHA512t_256 = 256

data RIPEMD160

RIPEMD160 cryptographic hash algorithm

Constructors

RIPEMD160

Instances

Data RIPEMD160

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RIPEMD160 -> c RIPEMD160

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RIPEMD160

toConstr :: RIPEMD160 -> Constr

dataTypeOf :: RIPEMD160 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c RIPEMD160)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RIPEMD160)

gmapT :: (forall b. Data b => b -> b) -> RIPEMD160 -> RIPEMD160

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RIPEMD160 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RIPEMD160 -> r

gmapQ :: (forall d. Data d => d -> u) -> RIPEMD160 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RIPEMD160 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RIPEMD160 -> m RIPEMD160

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RIPEMD160 -> m RIPEMD160

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RIPEMD160 -> m RIPEMD160

Show RIPEMD160

Methods

showsPrec :: Int -> RIPEMD160 -> ShowS

show :: RIPEMD160 -> String

showList :: [RIPEMD160] -> ShowS

HashAlgorithm RIPEMD160

Associated Types

type HashBlockSize RIPEMD160 :: Nat

type HashDigestSize RIPEMD160 :: Nat

type HashInternalContextSize RIPEMD160 :: Nat

Methods

hashBlockSize :: RIPEMD160 -> Int

hashDigestSize :: RIPEMD160 -> Int

hashInternalContextSize :: RIPEMD160 -> Int

hashInternalInit :: Ptr (Context RIPEMD160) -> IO ()

hashInternalUpdate :: Ptr (Context RIPEMD160) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context RIPEMD160) -> Ptr (Digest RIPEMD160) -> IO ()

HashAlgorithmASN1 RIPEMD160

Methods

hashDigestASN1 :: ByteArray out => Digest RIPEMD160 -> out

type HashBlockSize RIPEMD160

type HashBlockSize RIPEMD160 = 64

type HashDigestSize RIPEMD160

type HashDigestSize RIPEMD160 = 20

type HashInternalContextSize RIPEMD160

type HashInternalContextSize RIPEMD160 = 128

data Tiger

Tiger cryptographic hash algorithm

Constructors

Tiger

Instances

Data Tiger

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Tiger -> c Tiger

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Tiger

toConstr :: Tiger -> Constr

dataTypeOf :: Tiger -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Tiger)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Tiger)

gmapT :: (forall b. Data b => b -> b) -> Tiger -> Tiger

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Tiger -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Tiger -> r

gmapQ :: (forall d. Data d => d -> u) -> Tiger -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Tiger -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Tiger -> m Tiger

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Tiger -> m Tiger

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Tiger -> m Tiger

Show Tiger

Methods

showsPrec :: Int -> Tiger -> ShowS

show :: Tiger -> String

showList :: [Tiger] -> ShowS

HashAlgorithm Tiger

Associated Types

type HashBlockSize Tiger :: Nat

type HashDigestSize Tiger :: Nat

type HashInternalContextSize Tiger :: Nat

Methods

hashBlockSize :: Tiger -> Int

hashDigestSize :: Tiger -> Int

hashInternalContextSize :: Tiger -> Int

hashInternalInit :: Ptr (Context Tiger) -> IO ()

hashInternalUpdate :: Ptr (Context Tiger) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Tiger) -> Ptr (Digest Tiger) -> IO ()

type HashBlockSize Tiger

type HashBlockSize Tiger = 64

type HashDigestSize Tiger

type HashDigestSize Tiger = 24

type HashInternalContextSize Tiger

type HashInternalContextSize Tiger = 96

data Keccak_224

Keccak (224 bits) cryptographic hash algorithm

Constructors

Keccak_224

Instances

Data Keccak_224

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Keccak_224 -> c Keccak_224

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Keccak_224

toConstr :: Keccak_224 -> Constr

dataTypeOf :: Keccak_224 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Keccak_224)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Keccak_224)

gmapT :: (forall b. Data b => b -> b) -> Keccak_224 -> Keccak_224

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Keccak_224 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Keccak_224 -> r

gmapQ :: (forall d. Data d => d -> u) -> Keccak_224 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Keccak_224 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Keccak_224 -> m Keccak_224

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Keccak_224 -> m Keccak_224

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Keccak_224 -> m Keccak_224

Show Keccak_224

Methods

showsPrec :: Int -> Keccak_224 -> ShowS

show :: Keccak_224 -> String

showList :: [Keccak_224] -> ShowS

HashAlgorithm Keccak_224

Associated Types

type HashBlockSize Keccak_224 :: Nat

type HashDigestSize Keccak_224 :: Nat

type HashInternalContextSize Keccak_224 :: Nat

Methods

hashBlockSize :: Keccak_224 -> Int

hashDigestSize :: Keccak_224 -> Int

hashInternalContextSize :: Keccak_224 -> Int

hashInternalInit :: Ptr (Context Keccak_224) -> IO ()

hashInternalUpdate :: Ptr (Context Keccak_224) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Keccak_224) -> Ptr (Digest Keccak_224) -> IO ()

type HashBlockSize Keccak_224

type HashBlockSize Keccak_224 = 144

type HashDigestSize Keccak_224

type HashDigestSize Keccak_224 = 28

type HashInternalContextSize Keccak_224

type HashInternalContextSize Keccak_224 = 352

data Keccak_256

Keccak (256 bits) cryptographic hash algorithm

Constructors

Keccak_256

Instances

Data Keccak_256

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Keccak_256 -> c Keccak_256

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Keccak_256

toConstr :: Keccak_256 -> Constr

dataTypeOf :: Keccak_256 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Keccak_256)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Keccak_256)

gmapT :: (forall b. Data b => b -> b) -> Keccak_256 -> Keccak_256

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Keccak_256 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Keccak_256 -> r

gmapQ :: (forall d. Data d => d -> u) -> Keccak_256 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Keccak_256 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Keccak_256 -> m Keccak_256

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Keccak_256 -> m Keccak_256

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Keccak_256 -> m Keccak_256

Show Keccak_256

Methods

showsPrec :: Int -> Keccak_256 -> ShowS

show :: Keccak_256 -> String

showList :: [Keccak_256] -> ShowS

HashAlgorithm Keccak_256

Associated Types

type HashBlockSize Keccak_256 :: Nat

type HashDigestSize Keccak_256 :: Nat

type HashInternalContextSize Keccak_256 :: Nat

Methods

hashBlockSize :: Keccak_256 -> Int

hashDigestSize :: Keccak_256 -> Int

hashInternalContextSize :: Keccak_256 -> Int

hashInternalInit :: Ptr (Context Keccak_256) -> IO ()

hashInternalUpdate :: Ptr (Context Keccak_256) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Keccak_256) -> Ptr (Digest Keccak_256) -> IO ()

type HashBlockSize Keccak_256

type HashBlockSize Keccak_256 = 136

type HashDigestSize Keccak_256

type HashDigestSize Keccak_256 = 32

type HashInternalContextSize Keccak_256

type HashInternalContextSize Keccak_256 = 344

data Keccak_384

Keccak (384 bits) cryptographic hash algorithm

Constructors

Keccak_384

Instances

Data Keccak_384

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Keccak_384 -> c Keccak_384

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Keccak_384

toConstr :: Keccak_384 -> Constr

dataTypeOf :: Keccak_384 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Keccak_384)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Keccak_384)

gmapT :: (forall b. Data b => b -> b) -> Keccak_384 -> Keccak_384

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Keccak_384 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Keccak_384 -> r

gmapQ :: (forall d. Data d => d -> u) -> Keccak_384 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Keccak_384 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Keccak_384 -> m Keccak_384

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Keccak_384 -> m Keccak_384

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Keccak_384 -> m Keccak_384

Show Keccak_384

Methods

showsPrec :: Int -> Keccak_384 -> ShowS

show :: Keccak_384 -> String

showList :: [Keccak_384] -> ShowS

HashAlgorithm Keccak_384

Associated Types

type HashBlockSize Keccak_384 :: Nat

type HashDigestSize Keccak_384 :: Nat

type HashInternalContextSize Keccak_384 :: Nat

Methods

hashBlockSize :: Keccak_384 -> Int

hashDigestSize :: Keccak_384 -> Int

hashInternalContextSize :: Keccak_384 -> Int

hashInternalInit :: Ptr (Context Keccak_384) -> IO ()

hashInternalUpdate :: Ptr (Context Keccak_384) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Keccak_384) -> Ptr (Digest Keccak_384) -> IO ()

type HashBlockSize Keccak_384

type HashBlockSize Keccak_384 = 104

type HashDigestSize Keccak_384

type HashDigestSize Keccak_384 = 48

type HashInternalContextSize Keccak_384

type HashInternalContextSize Keccak_384 = 312

data Keccak_512

Keccak (512 bits) cryptographic hash algorithm

Constructors

Keccak_512

Instances

Data Keccak_512

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Keccak_512 -> c Keccak_512

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Keccak_512

toConstr :: Keccak_512 -> Constr

dataTypeOf :: Keccak_512 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Keccak_512)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Keccak_512)

gmapT :: (forall b. Data b => b -> b) -> Keccak_512 -> Keccak_512

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Keccak_512 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Keccak_512 -> r

gmapQ :: (forall d. Data d => d -> u) -> Keccak_512 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Keccak_512 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Keccak_512 -> m Keccak_512

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Keccak_512 -> m Keccak_512

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Keccak_512 -> m Keccak_512

Show Keccak_512

Methods

showsPrec :: Int -> Keccak_512 -> ShowS

show :: Keccak_512 -> String

showList :: [Keccak_512] -> ShowS

HashAlgorithm Keccak_512

Associated Types

type HashBlockSize Keccak_512 :: Nat

type HashDigestSize Keccak_512 :: Nat

type HashInternalContextSize Keccak_512 :: Nat

Methods

hashBlockSize :: Keccak_512 -> Int

hashDigestSize :: Keccak_512 -> Int

hashInternalContextSize :: Keccak_512 -> Int

hashInternalInit :: Ptr (Context Keccak_512) -> IO ()

hashInternalUpdate :: Ptr (Context Keccak_512) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Keccak_512) -> Ptr (Digest Keccak_512) -> IO ()

type HashBlockSize Keccak_512

type HashBlockSize Keccak_512 = 72

type HashDigestSize Keccak_512

type HashDigestSize Keccak_512 = 64

type HashInternalContextSize Keccak_512

type HashInternalContextSize Keccak_512 = 280

data SHA3_224

SHA3 (224 bits) cryptographic hash algorithm

Constructors

SHA3_224

Instances

Data SHA3_224

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SHA3_224 -> c SHA3_224

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SHA3_224

toConstr :: SHA3_224 -> Constr

dataTypeOf :: SHA3_224 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SHA3_224)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SHA3_224)

gmapT :: (forall b. Data b => b -> b) -> SHA3_224 -> SHA3_224

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SHA3_224 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SHA3_224 -> r

gmapQ :: (forall d. Data d => d -> u) -> SHA3_224 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SHA3_224 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SHA3_224 -> m SHA3_224

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA3_224 -> m SHA3_224

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA3_224 -> m SHA3_224

Show SHA3_224

Methods

showsPrec :: Int -> SHA3_224 -> ShowS

show :: SHA3_224 -> String

showList :: [SHA3_224] -> ShowS

HashAlgorithm SHA3_224

Associated Types

type HashBlockSize SHA3_224 :: Nat

type HashDigestSize SHA3_224 :: Nat

type HashInternalContextSize SHA3_224 :: Nat

Methods

hashBlockSize :: SHA3_224 -> Int

hashDigestSize :: SHA3_224 -> Int

hashInternalContextSize :: SHA3_224 -> Int

hashInternalInit :: Ptr (Context SHA3_224) -> IO ()

hashInternalUpdate :: Ptr (Context SHA3_224) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context SHA3_224) -> Ptr (Digest SHA3_224) -> IO ()

type HashBlockSize SHA3_224

type HashBlockSize SHA3_224 = 144

type HashDigestSize SHA3_224

type HashDigestSize SHA3_224 = 28

type HashInternalContextSize SHA3_224

type HashInternalContextSize SHA3_224 = 352

data SHA3_256

SHA3 (256 bits) cryptographic hash algorithm

Constructors

SHA3_256

Instances

Data SHA3_256

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SHA3_256 -> c SHA3_256

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SHA3_256

toConstr :: SHA3_256 -> Constr

dataTypeOf :: SHA3_256 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SHA3_256)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SHA3_256)

gmapT :: (forall b. Data b => b -> b) -> SHA3_256 -> SHA3_256

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SHA3_256 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SHA3_256 -> r

gmapQ :: (forall d. Data d => d -> u) -> SHA3_256 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SHA3_256 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SHA3_256 -> m SHA3_256

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA3_256 -> m SHA3_256

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA3_256 -> m SHA3_256

Show SHA3_256

Methods

showsPrec :: Int -> SHA3_256 -> ShowS

show :: SHA3_256 -> String

showList :: [SHA3_256] -> ShowS

HashAlgorithm SHA3_256

Associated Types

type HashBlockSize SHA3_256 :: Nat

type HashDigestSize SHA3_256 :: Nat

type HashInternalContextSize SHA3_256 :: Nat

Methods

hashBlockSize :: SHA3_256 -> Int

hashDigestSize :: SHA3_256 -> Int

hashInternalContextSize :: SHA3_256 -> Int

hashInternalInit :: Ptr (Context SHA3_256) -> IO ()

hashInternalUpdate :: Ptr (Context SHA3_256) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context SHA3_256) -> Ptr (Digest SHA3_256) -> IO ()

type HashBlockSize SHA3_256

type HashBlockSize SHA3_256 = 136

type HashDigestSize SHA3_256

type HashDigestSize SHA3_256 = 32

type HashInternalContextSize SHA3_256

type HashInternalContextSize SHA3_256 = 344

data SHA3_384

SHA3 (384 bits) cryptographic hash algorithm

Constructors

SHA3_384

Instances

Data SHA3_384

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SHA3_384 -> c SHA3_384

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SHA3_384

toConstr :: SHA3_384 -> Constr

dataTypeOf :: SHA3_384 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SHA3_384)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SHA3_384)

gmapT :: (forall b. Data b => b -> b) -> SHA3_384 -> SHA3_384

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SHA3_384 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SHA3_384 -> r

gmapQ :: (forall d. Data d => d -> u) -> SHA3_384 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SHA3_384 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SHA3_384 -> m SHA3_384

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA3_384 -> m SHA3_384

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA3_384 -> m SHA3_384

Show SHA3_384

Methods

showsPrec :: Int -> SHA3_384 -> ShowS

show :: SHA3_384 -> String

showList :: [SHA3_384] -> ShowS

HashAlgorithm SHA3_384

Associated Types

type HashBlockSize SHA3_384 :: Nat

type HashDigestSize SHA3_384 :: Nat

type HashInternalContextSize SHA3_384 :: Nat

Methods

hashBlockSize :: SHA3_384 -> Int

hashDigestSize :: SHA3_384 -> Int

hashInternalContextSize :: SHA3_384 -> Int

hashInternalInit :: Ptr (Context SHA3_384) -> IO ()

hashInternalUpdate :: Ptr (Context SHA3_384) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context SHA3_384) -> Ptr (Digest SHA3_384) -> IO ()

type HashBlockSize SHA3_384

type HashBlockSize SHA3_384 = 104

type HashDigestSize SHA3_384

type HashDigestSize SHA3_384 = 48

type HashInternalContextSize SHA3_384

type HashInternalContextSize SHA3_384 = 312

data SHA3_512

SHA3 (512 bits) cryptographic hash algorithm

Constructors

SHA3_512

Instances

Data SHA3_512

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SHA3_512 -> c SHA3_512

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SHA3_512

toConstr :: SHA3_512 -> Constr

dataTypeOf :: SHA3_512 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c SHA3_512)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SHA3_512)

gmapT :: (forall b. Data b => b -> b) -> SHA3_512 -> SHA3_512

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SHA3_512 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SHA3_512 -> r

gmapQ :: (forall d. Data d => d -> u) -> SHA3_512 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SHA3_512 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SHA3_512 -> m SHA3_512

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA3_512 -> m SHA3_512

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SHA3_512 -> m SHA3_512

Show SHA3_512

Methods

showsPrec :: Int -> SHA3_512 -> ShowS

show :: SHA3_512 -> String

showList :: [SHA3_512] -> ShowS

HashAlgorithm SHA3_512

Associated Types

type HashBlockSize SHA3_512 :: Nat

type HashDigestSize SHA3_512 :: Nat

type HashInternalContextSize SHA3_512 :: Nat

Methods

hashBlockSize :: SHA3_512 -> Int

hashDigestSize :: SHA3_512 -> Int

hashInternalContextSize :: SHA3_512 -> Int

hashInternalInit :: Ptr (Context SHA3_512) -> IO ()

hashInternalUpdate :: Ptr (Context SHA3_512) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context SHA3_512) -> Ptr (Digest SHA3_512) -> IO ()

type HashBlockSize SHA3_512

type HashBlockSize SHA3_512 = 72

type HashDigestSize SHA3_512

type HashDigestSize SHA3_512 = 64

type HashInternalContextSize SHA3_512

type HashInternalContextSize SHA3_512 = 280

data SHAKE128 (bitlen :: Nat)

SHAKE128 (128 bits) extendable output function. Supports an arbitrary digest size (multiple of 8 bits), to be specified as a type parameter of kind Nat.

Note: outputs from SHAKE128 n and SHAKE128 m for the same input are correlated (one being a prefix of the other). Results are unrelated to SHAKE256 results.

Constructors

SHAKE128

Instances

Show (SHAKE128 bitlen)

Methods

showsPrec :: Int -> SHAKE128 bitlen -> ShowS

show :: SHAKE128 bitlen -> String

showList :: [SHAKE128 bitlen] -> ShowS

(IsDivisibleBy8 bitlen, KnownNat bitlen) => HashAlgorithm (SHAKE128 bitlen)

Associated Types

type HashBlockSize (SHAKE128 bitlen) :: Nat

type HashDigestSize (SHAKE128 bitlen) :: Nat

type HashInternalContextSize (SHAKE128 bitlen) :: Nat

Methods

hashBlockSize :: SHAKE128 bitlen -> Int

hashDigestSize :: SHAKE128 bitlen -> Int

hashInternalContextSize :: SHAKE128 bitlen -> Int

hashInternalInit :: Ptr (Context (SHAKE128 bitlen)) -> IO ()

hashInternalUpdate :: Ptr (Context (SHAKE128 bitlen)) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context (SHAKE128 bitlen)) -> Ptr (Digest (SHAKE128 bitlen)) -> IO ()

type HashBlockSize (SHAKE128 bitlen)

type HashBlockSize (SHAKE128 bitlen) = 168

type HashDigestSize (SHAKE128 bitlen)

type HashDigestSize (SHAKE128 bitlen)

type HashInternalContextSize (SHAKE128 bitlen)

type HashInternalContextSize (SHAKE128 bitlen) = 376

data SHAKE256 (bitlen :: Nat)

SHAKE256 (256 bits) extendable output function. Supports an arbitrary digest size (multiple of 8 bits), to be specified as a type parameter of kind Nat.

Note: outputs from SHAKE256 n and SHAKE256 m for the same input are correlated (one being a prefix of the other). Results are unrelated to SHAKE128 results.

Constructors

SHAKE256

Instances

Show (SHAKE256 bitlen)

Methods

showsPrec :: Int -> SHAKE256 bitlen -> ShowS

show :: SHAKE256 bitlen -> String

showList :: [SHAKE256 bitlen] -> ShowS

(IsDivisibleBy8 bitlen, KnownNat bitlen) => HashAlgorithm (SHAKE256 bitlen)

Associated Types

type HashBlockSize (SHAKE256 bitlen) :: Nat

type HashDigestSize (SHAKE256 bitlen) :: Nat

type HashInternalContextSize (SHAKE256 bitlen) :: Nat

Methods

hashBlockSize :: SHAKE256 bitlen -> Int

hashDigestSize :: SHAKE256 bitlen -> Int

hashInternalContextSize :: SHAKE256 bitlen -> Int

hashInternalInit :: Ptr (Context (SHAKE256 bitlen)) -> IO ()

hashInternalUpdate :: Ptr (Context (SHAKE256 bitlen)) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context (SHAKE256 bitlen)) -> Ptr (Digest (SHAKE256 bitlen)) -> IO ()

type HashBlockSize (SHAKE256 bitlen)

type HashBlockSize (SHAKE256 bitlen) = 136

type HashDigestSize (SHAKE256 bitlen)

type HashDigestSize (SHAKE256 bitlen)

type HashInternalContextSize (SHAKE256 bitlen)

type HashInternalContextSize (SHAKE256 bitlen) = 344

data Blake2b (bitlen :: Nat)

Fast cryptographic hash.

It is especially known to target 64bits architectures.

Known supported digest sizes:

• Blake2b 160
• Blake2b 224
• Blake2b 256
• Blake2b 384
• Blake2b 512

Constructors

Blake2b

Instances

Show (Blake2b bitlen)

Methods

showsPrec :: Int -> Blake2b bitlen -> ShowS

show :: Blake2b bitlen -> String

showList :: [Blake2b bitlen] -> ShowS

(IsDivisibleBy8 bitlen, KnownNat bitlen, IsAtLeast bitlen 8, IsAtMost bitlen 512) => HashAlgorithm (Blake2b bitlen)

Associated Types

type HashBlockSize (Blake2b bitlen) :: Nat

type HashDigestSize (Blake2b bitlen) :: Nat

type HashInternalContextSize (Blake2b bitlen) :: Nat

Methods

hashBlockSize :: Blake2b bitlen -> Int

hashDigestSize :: Blake2b bitlen -> Int

hashInternalContextSize :: Blake2b bitlen -> Int

hashInternalInit :: Ptr (Context (Blake2b bitlen)) -> IO ()

hashInternalUpdate :: Ptr (Context (Blake2b bitlen)) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context (Blake2b bitlen)) -> Ptr (Digest (Blake2b bitlen)) -> IO ()

type HashBlockSize (Blake2b bitlen)

type HashBlockSize (Blake2b bitlen) = 128

type HashDigestSize (Blake2b bitlen)

type HashDigestSize (Blake2b bitlen)

type HashInternalContextSize (Blake2b bitlen)

type HashInternalContextSize (Blake2b bitlen) = 248

data Blake2bp (bitlen :: Nat)

Constructors

Blake2bp

Instances

Show (Blake2bp bitlen)

Methods

showsPrec :: Int -> Blake2bp bitlen -> ShowS

show :: Blake2bp bitlen -> String

showList :: [Blake2bp bitlen] -> ShowS

(IsDivisibleBy8 bitlen, KnownNat bitlen, IsAtLeast bitlen 8, IsAtMost bitlen 512) => HashAlgorithm (Blake2bp bitlen)

Associated Types

type HashBlockSize (Blake2bp bitlen) :: Nat

type HashDigestSize (Blake2bp bitlen) :: Nat

type HashInternalContextSize (Blake2bp bitlen) :: Nat

Methods

hashBlockSize :: Blake2bp bitlen -> Int

hashDigestSize :: Blake2bp bitlen -> Int

hashInternalContextSize :: Blake2bp bitlen -> Int

hashInternalInit :: Ptr (Context (Blake2bp bitlen)) -> IO ()

hashInternalUpdate :: Ptr (Context (Blake2bp bitlen)) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context (Blake2bp bitlen)) -> Ptr (Digest (Blake2bp bitlen)) -> IO ()

type HashBlockSize (Blake2bp bitlen)

type HashBlockSize (Blake2bp bitlen) = 128

type HashDigestSize (Blake2bp bitlen)

type HashDigestSize (Blake2bp bitlen)

type HashInternalContextSize (Blake2bp bitlen)

type HashInternalContextSize (Blake2bp bitlen) = 2325

data Blake2s (bitlen :: Nat)

Fast and secure alternative to SHA1 and HMAC-SHA1

It is espacially known to target 32bits architectures.

Known supported digest sizes:

• Blake2s 160
• Blake2s 224
• Blake2s 256

Constructors

Blake2s

Instances

Show (Blake2s bitlen)

Methods

showsPrec :: Int -> Blake2s bitlen -> ShowS

show :: Blake2s bitlen -> String

showList :: [Blake2s bitlen] -> ShowS

(IsDivisibleBy8 bitlen, KnownNat bitlen, IsAtLeast bitlen 8, IsAtMost bitlen 256) => HashAlgorithm (Blake2s bitlen)

Associated Types

type HashBlockSize (Blake2s bitlen) :: Nat

type HashDigestSize (Blake2s bitlen) :: Nat

type HashInternalContextSize (Blake2s bitlen) :: Nat

Methods

hashBlockSize :: Blake2s bitlen -> Int

hashDigestSize :: Blake2s bitlen -> Int

hashInternalContextSize :: Blake2s bitlen -> Int

hashInternalInit :: Ptr (Context (Blake2s bitlen)) -> IO ()

hashInternalUpdate :: Ptr (Context (Blake2s bitlen)) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context (Blake2s bitlen)) -> Ptr (Digest (Blake2s bitlen)) -> IO ()

type HashBlockSize (Blake2s bitlen)

type HashBlockSize (Blake2s bitlen) = 64

type HashDigestSize (Blake2s bitlen)

type HashDigestSize (Blake2s bitlen)

type HashInternalContextSize (Blake2s bitlen)

type HashInternalContextSize (Blake2s bitlen) = 136

data Blake2sp (bitlen :: Nat)

Constructors

Blake2sp

Instances

Show (Blake2sp bitlen)

Methods

showsPrec :: Int -> Blake2sp bitlen -> ShowS

show :: Blake2sp bitlen -> String

showList :: [Blake2sp bitlen] -> ShowS

(IsDivisibleBy8 bitlen, KnownNat bitlen, IsAtLeast bitlen 8, IsAtMost bitlen 256) => HashAlgorithm (Blake2sp bitlen)

Associated Types

type HashBlockSize (Blake2sp bitlen) :: Nat

type HashDigestSize (Blake2sp bitlen) :: Nat

type HashInternalContextSize (Blake2sp bitlen) :: Nat

Methods

hashBlockSize :: Blake2sp bitlen -> Int

hashDigestSize :: Blake2sp bitlen -> Int

hashInternalContextSize :: Blake2sp bitlen -> Int

hashInternalInit :: Ptr (Context (Blake2sp bitlen)) -> IO ()

hashInternalUpdate :: Ptr (Context (Blake2sp bitlen)) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context (Blake2sp bitlen)) -> Ptr (Digest (Blake2sp bitlen)) -> IO ()

type HashBlockSize (Blake2sp bitlen)

type HashBlockSize (Blake2sp bitlen) = 64

type HashDigestSize (Blake2sp bitlen)

type HashDigestSize (Blake2sp bitlen)

type HashInternalContextSize (Blake2sp bitlen)

type HashInternalContextSize (Blake2sp bitlen) = 2185

data Skein256_224

Skein256 (224 bits) cryptographic hash algorithm

Constructors

Skein256_224

Instances

Data Skein256_224

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Skein256_224 -> c Skein256_224

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Skein256_224

toConstr :: Skein256_224 -> Constr

dataTypeOf :: Skein256_224 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Skein256_224)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Skein256_224)

gmapT :: (forall b. Data b => b -> b) -> Skein256_224 -> Skein256_224

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Skein256_224 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Skein256_224 -> r

gmapQ :: (forall d. Data d => d -> u) -> Skein256_224 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Skein256_224 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Skein256_224 -> m Skein256_224

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Skein256_224 -> m Skein256_224

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Skein256_224 -> m Skein256_224

Show Skein256_224

Methods

showsPrec :: Int -> Skein256_224 -> ShowS

show :: Skein256_224 -> String

showList :: [Skein256_224] -> ShowS

HashAlgorithm Skein256_224

Associated Types

type HashBlockSize Skein256_224 :: Nat

type HashDigestSize Skein256_224 :: Nat

type HashInternalContextSize Skein256_224 :: Nat

Methods

hashBlockSize :: Skein256_224 -> Int

hashDigestSize :: Skein256_224 -> Int

hashInternalContextSize :: Skein256_224 -> Int

hashInternalInit :: Ptr (Context Skein256_224) -> IO ()

hashInternalUpdate :: Ptr (Context Skein256_224) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Skein256_224) -> Ptr (Digest Skein256_224) -> IO ()

type HashBlockSize Skein256_224

type HashBlockSize Skein256_224 = 32

type HashDigestSize Skein256_224

type HashDigestSize Skein256_224 = 28

type HashInternalContextSize Skein256_224

type HashInternalContextSize Skein256_224 = 96

data Skein256_256

Skein256 (256 bits) cryptographic hash algorithm

Constructors

Skein256_256

Instances

Data Skein256_256

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Skein256_256 -> c Skein256_256

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Skein256_256

toConstr :: Skein256_256 -> Constr

dataTypeOf :: Skein256_256 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Skein256_256)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Skein256_256)

gmapT :: (forall b. Data b => b -> b) -> Skein256_256 -> Skein256_256

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Skein256_256 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Skein256_256 -> r

gmapQ :: (forall d. Data d => d -> u) -> Skein256_256 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Skein256_256 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Skein256_256 -> m Skein256_256

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Skein256_256 -> m Skein256_256

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Skein256_256 -> m Skein256_256

Show Skein256_256

Methods

showsPrec :: Int -> Skein256_256 -> ShowS

show :: Skein256_256 -> String

showList :: [Skein256_256] -> ShowS

HashAlgorithm Skein256_256

Associated Types

type HashBlockSize Skein256_256 :: Nat

type HashDigestSize Skein256_256 :: Nat

type HashInternalContextSize Skein256_256 :: Nat

Methods

hashBlockSize :: Skein256_256 -> Int

hashDigestSize :: Skein256_256 -> Int

hashInternalContextSize :: Skein256_256 -> Int

hashInternalInit :: Ptr (Context Skein256_256) -> IO ()

hashInternalUpdate :: Ptr (Context Skein256_256) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Skein256_256) -> Ptr (Digest Skein256_256) -> IO ()

type HashBlockSize Skein256_256

type HashBlockSize Skein256_256 = 32

type HashDigestSize Skein256_256

type HashDigestSize Skein256_256 = 32

type HashInternalContextSize Skein256_256

type HashInternalContextSize Skein256_256 = 96

data Skein512_224

Skein512 (224 bits) cryptographic hash algorithm

Constructors

Skein512_224

Instances

Data Skein512_224

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Skein512_224 -> c Skein512_224

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Skein512_224

toConstr :: Skein512_224 -> Constr

dataTypeOf :: Skein512_224 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Skein512_224)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Skein512_224)

gmapT :: (forall b. Data b => b -> b) -> Skein512_224 -> Skein512_224

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Skein512_224 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Skein512_224 -> r

gmapQ :: (forall d. Data d => d -> u) -> Skein512_224 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Skein512_224 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Skein512_224 -> m Skein512_224

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Skein512_224 -> m Skein512_224

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Skein512_224 -> m Skein512_224

Show Skein512_224

Methods

showsPrec :: Int -> Skein512_224 -> ShowS

show :: Skein512_224 -> String

showList :: [Skein512_224] -> ShowS

HashAlgorithm Skein512_224

Associated Types

type HashBlockSize Skein512_224 :: Nat

type HashDigestSize Skein512_224 :: Nat

type HashInternalContextSize Skein512_224 :: Nat

Methods

hashBlockSize :: Skein512_224 -> Int

hashDigestSize :: Skein512_224 -> Int

hashInternalContextSize :: Skein512_224 -> Int

hashInternalInit :: Ptr (Context Skein512_224) -> IO ()

hashInternalUpdate :: Ptr (Context Skein512_224) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Skein512_224) -> Ptr (Digest Skein512_224) -> IO ()

type HashBlockSize Skein512_224

type HashBlockSize Skein512_224 = 64

type HashDigestSize Skein512_224

type HashDigestSize Skein512_224 = 28

type HashInternalContextSize Skein512_224

type HashInternalContextSize Skein512_224 = 160

data Skein512_256

Skein512 (256 bits) cryptographic hash algorithm

Constructors

Skein512_256

Instances

Data Skein512_256

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Skein512_256 -> c Skein512_256

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Skein512_256

toConstr :: Skein512_256 -> Constr

dataTypeOf :: Skein512_256 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Skein512_256)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Skein512_256)

gmapT :: (forall b. Data b => b -> b) -> Skein512_256 -> Skein512_256

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Skein512_256 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Skein512_256 -> r

gmapQ :: (forall d. Data d => d -> u) -> Skein512_256 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Skein512_256 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Skein512_256 -> m Skein512_256

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Skein512_256 -> m Skein512_256

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Skein512_256 -> m Skein512_256

Show Skein512_256

Methods

showsPrec :: Int -> Skein512_256 -> ShowS

show :: Skein512_256 -> String

showList :: [Skein512_256] -> ShowS

HashAlgorithm Skein512_256

Associated Types

type HashBlockSize Skein512_256 :: Nat

type HashDigestSize Skein512_256 :: Nat

type HashInternalContextSize Skein512_256 :: Nat

Methods

hashBlockSize :: Skein512_256 -> Int

hashDigestSize :: Skein512_256 -> Int

hashInternalContextSize :: Skein512_256 -> Int

hashInternalInit :: Ptr (Context Skein512_256) -> IO ()

hashInternalUpdate :: Ptr (Context Skein512_256) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Skein512_256) -> Ptr (Digest Skein512_256) -> IO ()

type HashBlockSize Skein512_256

type HashBlockSize Skein512_256 = 64

type HashDigestSize Skein512_256

type HashDigestSize Skein512_256 = 32

type HashInternalContextSize Skein512_256

type HashInternalContextSize Skein512_256 = 160

data Skein512_384

Skein512 (384 bits) cryptographic hash algorithm

Constructors

Skein512_384

Instances

Data Skein512_384

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Skein512_384 -> c Skein512_384

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Skein512_384

toConstr :: Skein512_384 -> Constr

dataTypeOf :: Skein512_384 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Skein512_384)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Skein512_384)

gmapT :: (forall b. Data b => b -> b) -> Skein512_384 -> Skein512_384

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Skein512_384 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Skein512_384 -> r

gmapQ :: (forall d. Data d => d -> u) -> Skein512_384 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Skein512_384 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Skein512_384 -> m Skein512_384

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Skein512_384 -> m Skein512_384

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Skein512_384 -> m Skein512_384

Show Skein512_384

Methods

showsPrec :: Int -> Skein512_384 -> ShowS

show :: Skein512_384 -> String

showList :: [Skein512_384] -> ShowS

HashAlgorithm Skein512_384

Associated Types

type HashBlockSize Skein512_384 :: Nat

type HashDigestSize Skein512_384 :: Nat

type HashInternalContextSize Skein512_384 :: Nat

Methods

hashBlockSize :: Skein512_384 -> Int

hashDigestSize :: Skein512_384 -> Int

hashInternalContextSize :: Skein512_384 -> Int

hashInternalInit :: Ptr (Context Skein512_384) -> IO ()

hashInternalUpdate :: Ptr (Context Skein512_384) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Skein512_384) -> Ptr (Digest Skein512_384) -> IO ()

type HashBlockSize Skein512_384

type HashBlockSize Skein512_384 = 64

type HashDigestSize Skein512_384

type HashDigestSize Skein512_384 = 48

type HashInternalContextSize Skein512_384

type HashInternalContextSize Skein512_384 = 160

data Skein512_512

Skein512 (512 bits) cryptographic hash algorithm

Constructors

Skein512_512

Instances

Data Skein512_512

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Skein512_512 -> c Skein512_512

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Skein512_512

toConstr :: Skein512_512 -> Constr

dataTypeOf :: Skein512_512 -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Skein512_512)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Skein512_512)

gmapT :: (forall b. Data b => b -> b) -> Skein512_512 -> Skein512_512

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Skein512_512 -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Skein512_512 -> r

gmapQ :: (forall d. Data d => d -> u) -> Skein512_512 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Skein512_512 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Skein512_512 -> m Skein512_512

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Skein512_512 -> m Skein512_512

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Skein512_512 -> m Skein512_512

Show Skein512_512

Methods

showsPrec :: Int -> Skein512_512 -> ShowS

show :: Skein512_512 -> String

showList :: [Skein512_512] -> ShowS

HashAlgorithm Skein512_512

Associated Types

type HashBlockSize Skein512_512 :: Nat

type HashDigestSize Skein512_512 :: Nat

type HashInternalContextSize Skein512_512 :: Nat

Methods

hashBlockSize :: Skein512_512 -> Int

hashDigestSize :: Skein512_512 -> Int

hashInternalContextSize :: Skein512_512 -> Int

hashInternalInit :: Ptr (Context Skein512_512) -> IO ()

hashInternalUpdate :: Ptr (Context Skein512_512) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Skein512_512) -> Ptr (Digest Skein512_512) -> IO ()

type HashBlockSize Skein512_512

type HashBlockSize Skein512_512 = 64

type HashDigestSize Skein512_512

type HashDigestSize Skein512_512 = 64

type HashInternalContextSize Skein512_512

type HashInternalContextSize Skein512_512 = 160

data Whirlpool

Whirlpool cryptographic hash algorithm

Constructors

Whirlpool

Instances

Data Whirlpool

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Whirlpool -> c Whirlpool

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Whirlpool

toConstr :: Whirlpool -> Constr

dataTypeOf :: Whirlpool -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Whirlpool)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Whirlpool)

gmapT :: (forall b. Data b => b -> b) -> Whirlpool -> Whirlpool

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Whirlpool -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Whirlpool -> r

gmapQ :: (forall d. Data d => d -> u) -> Whirlpool -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Whirlpool -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Whirlpool -> m Whirlpool

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Whirlpool -> m Whirlpool

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Whirlpool -> m Whirlpool

Show Whirlpool

Methods

showsPrec :: Int -> Whirlpool -> ShowS

show :: Whirlpool -> String

showList :: [Whirlpool] -> ShowS

HashAlgorithm Whirlpool

Associated Types

type HashBlockSize Whirlpool :: Nat

type HashDigestSize Whirlpool :: Nat

type HashInternalContextSize Whirlpool :: Nat

Methods

hashBlockSize :: Whirlpool -> Int

hashDigestSize :: Whirlpool -> Int

hashInternalContextSize :: Whirlpool -> Int

hashInternalInit :: Ptr (Context Whirlpool) -> IO ()

hashInternalUpdate :: Ptr (Context Whirlpool) -> Ptr Word8 -> Word32 -> IO ()

hashInternalFinalize :: Ptr (Context Whirlpool) -> Ptr (Digest Whirlpool) -> IO ()

type HashBlockSize Whirlpool

type HashBlockSize Whirlpool = 64

type HashDigestSize Whirlpool

type HashDigestSize Whirlpool = 64

type HashInternalContextSize Whirlpool

type HashInternalContextSize Whirlpool = 168