Yu.Auth.Core

Desription: Core method of the authentication Copyright: (C) Qinka 2017 License: GPL-3 Maintainer: [e-mail] Stability: experimental Portability: unknown

The collection of core method for authentication.

method for hash

These methods are used to generate the token to the hash and verify the token and hash.

If you want the generate the hash for "12345qwert", you should: > let hashStr = generateHash SHA512 "12345qwert" When you verify the hash, you need to > let isOk = verifyHash SHA512 "xxxxx" "12345qwert"

generateHash

Arguments

:: HashAlgorithm a

=> a

Hash algorithm

-> ByteString

The hash of key

-> ByteString

Hash string

generate hash for the key

verifyHash

Arguments

:: HashAlgorithm a

=> a

Hash algorithm

-> ByteString

Hash for key

-> ByteString

Hash string

-> Bool

verify the hash and key

hash :: (ByteArrayAccess ba, HashAlgorithm a) => ba -> Digest a

Hash a strict bytestring into a digest.

hash algorithm

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 ()

type HashInternalContextSize SHA512

type HashInternalContextSize SHA512 = 256

type HashDigestSize SHA512

type HashDigestSize SHA512 = 64

type HashBlockSize SHA512

type HashBlockSize SHA512 = 128

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 ()

type HashInternalContextSize SHA384

type HashInternalContextSize SHA384 = 256

type HashDigestSize SHA384

type HashDigestSize SHA384 = 48

type HashBlockSize SHA384

type HashBlockSize SHA384 = 128

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 HashInternalContextSize SHA3_512

type HashInternalContextSize SHA3_512 = 280

type HashDigestSize SHA3_512

type HashDigestSize SHA3_512 = 64

type HashBlockSize SHA3_512

type HashBlockSize SHA3_512 = 72

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 HashInternalContextSize SHA3_384

type HashInternalContextSize SHA3_384 = 312

type HashDigestSize SHA3_384

type HashDigestSize SHA3_384 = 48

type HashBlockSize SHA3_384

type HashBlockSize SHA3_384 = 104

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 HashInternalContextSize SHA3_256

type HashInternalContextSize SHA3_256 = 344

type HashDigestSize SHA3_256

type HashDigestSize SHA3_256 = 32

type HashBlockSize SHA3_256

type HashBlockSize SHA3_256 = 136

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 HashInternalContextSize SHA3_224

type HashInternalContextSize SHA3_224 = 352

type HashDigestSize SHA3_224

type HashDigestSize SHA3_224 = 28

type HashBlockSize SHA3_224

type HashBlockSize SHA3_224 = 144

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 ()

type HashInternalContextSize SHA256

type HashInternalContextSize SHA256 = 192

type HashDigestSize SHA256

type HashDigestSize SHA256 = 32

type HashBlockSize SHA256

type HashBlockSize SHA256 = 64

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 ()

type HashInternalContextSize SHA224

type HashInternalContextSize SHA224 = 192

type HashDigestSize SHA224

type HashDigestSize SHA224 = 28

type HashBlockSize SHA224

type HashBlockSize SHA224 = 64

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 ()

type HashInternalContextSize SHA1

type HashInternalContextSize SHA1 = 96

type HashDigestSize SHA1

type HashDigestSize SHA1 = 20

type HashBlockSize SHA1

type HashBlockSize SHA1 = 64

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 ()

type HashInternalContextSize SHA512t_256

type HashInternalContextSize SHA512t_256 = 256

type HashDigestSize SHA512t_256

type HashDigestSize SHA512t_256 = 32

type HashBlockSize SHA512t_256

type HashBlockSize SHA512t_256 = 128

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 ()

type HashInternalContextSize SHA512t_224

type HashInternalContextSize SHA512t_224 = 256

type HashDigestSize SHA512t_224

type HashDigestSize SHA512t_224 = 28

type HashBlockSize SHA512t_224

type HashBlockSize SHA512t_224 = 128

class HashAlgorithm a where

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

Methods

hashBlockSize :: a -> Int

Get the block size of a hash algorithm

hashDigestSize :: a -> Int

Get the digest size of a hash algorithm

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 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 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 ()

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_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_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_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 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 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 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_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 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 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 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 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_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_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 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 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 ()

(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 ()

(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 (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 (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) => 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) => 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 ()

class ByteArrayAccess ba where

Class to Access size properties and data of a ByteArray

Minimal complete definition

length, withByteArray

Methods

length :: ba -> Int

Return the length in bytes of a bytearray

withByteArray :: ba -> (Ptr p -> IO a) -> IO a

Allow to use using a pointer

Instances

ByteArrayAccess ByteString

Methods

length :: ByteString -> Int

withByteArray :: ByteString -> (Ptr p -> IO a) -> IO a

ByteArrayAccess String

Methods

length :: String -> Int

withByteArray :: String -> (Ptr p -> IO a) -> IO a

PrimType ty => ByteArrayAccess (UArray ty)

Methods

length :: UArray ty -> Int

withByteArray :: UArray ty -> (Ptr p -> IO a) -> IO a

ByteArrayAccess (Context a)

Methods

length :: Context a -> Int

withByteArray :: Context a -> (Ptr p -> IO a) -> IO a

ByteArrayAccess (Digest a)

Methods

length :: Digest a -> Int

withByteArray :: Digest a -> (Ptr p -> IO a) -> IO a