Safe Haskell	Safe-Inferred
Language	Haskell98

Data.Digest.Pure.SHA

Contents

Digest and related functions
Calculating hashes
Calculating message authentication codes (MACs)
Internal routines included for testing

Description

Pure implementations of the SHA suite of hash functions. The implementation is basically an unoptimized translation of FIPS 180-2 into Haskell. If you're looking for performance, you probably won't find it here.

Synopsis

data Digest t
data SHA1State
data SHA256State
data SHA512State
showDigest :: Digest t -> String
integerDigest :: Digest t -> Integer
bytestringDigest :: Digest t -> ByteString
sha1 :: ByteString -> Digest SHA1State
sha224 :: ByteString -> Digest SHA256State
sha256 :: ByteString -> Digest SHA256State
sha384 :: ByteString -> Digest SHA512State
sha512 :: ByteString -> Digest SHA512State
sha1Incremental :: Decoder SHA1State
completeSha1Incremental :: Decoder SHA1State -> Int -> Digest SHA1State
sha224Incremental :: Decoder SHA256State
completeSha224Incremental :: Decoder SHA256State -> Int -> Digest SHA256State
sha256Incremental :: Decoder SHA256State
completeSha256Incremental :: Decoder SHA256State -> Int -> Digest SHA256State
sha384Incremental :: Decoder SHA512State
completeSha384Incremental :: Decoder SHA512State -> Int -> Digest SHA512State
sha512Incremental :: Decoder SHA512State
completeSha512Incremental :: Decoder SHA512State -> Int -> Digest SHA512State
hmacSha1 :: ByteString -> ByteString -> Digest SHA1State
hmacSha224 :: ByteString -> ByteString -> Digest SHA256State
hmacSha256 :: ByteString -> ByteString -> Digest SHA256State
hmacSha384 :: ByteString -> ByteString -> Digest SHA512State
hmacSha512 :: ByteString -> ByteString -> Digest SHA512State
toBigEndianSBS :: (Integral a, Bits a) => Int -> a -> ByteString
fromBigEndianSBS :: (Integral a, Bits a) => ByteString -> a
calc_k :: Word64 -> Word64 -> Word64 -> Word64
padSHA1 :: ByteString -> ByteString
padSHA512 :: ByteString -> ByteString
padSHA1Chunks :: Int -> [ByteString]
padSHA512Chunks :: Int -> [ByteString]

`Digest` and related functions

data Digest t #

An abstract datatype for digests.

Instances

Instances details

Binary (Digest SHA1State) #
Instance details Defined in Data.Digest.Pure.SHA Methods put :: Digest SHA1State -> Put # get :: Get (Digest SHA1State) # putList :: [Digest SHA1State] -> Put #
Binary (Digest SHA256State) #
Instance details Defined in Data.Digest.Pure.SHA Methods put :: Digest SHA256State -> Put # get :: Get (Digest SHA256State) # putList :: [Digest SHA256State] -> Put #
Binary (Digest SHA512State) #
Instance details Defined in Data.Digest.Pure.SHA Methods put :: Digest SHA512State -> Put # get :: Get (Digest SHA512State) # putList :: [Digest SHA512State] -> Put #
Show (Digest t) #
Instance details Defined in Data.Digest.Pure.SHA Methods showsPrec :: Int -> Digest t -> ShowS # show :: Digest t -> String # showList :: [Digest t] -> ShowS #
Eq (Digest t) #
Instance details Defined in Data.Digest.Pure.SHA Methods (==) :: Digest t -> Digest t -> Bool # (/=) :: Digest t -> Digest t -> Bool #
Ord (Digest t) #
Instance details Defined in Data.Digest.Pure.SHA Methods compare :: Digest t -> Digest t -> Ordering # (<) :: Digest t -> Digest t -> Bool # (<=) :: Digest t -> Digest t -> Bool # (>) :: Digest t -> Digest t -> Bool # (>=) :: Digest t -> Digest t -> Bool # max :: Digest t -> Digest t -> Digest t # min :: Digest t -> Digest t -> Digest t #

data SHA1State #

Instances

Instances details

Binary SHA1State #
Instance details Defined in Data.Digest.Pure.SHA Methods put :: SHA1State -> Put # get :: Get SHA1State # putList :: [SHA1State] -> Put #
Binary (Digest SHA1State) #
Instance details Defined in Data.Digest.Pure.SHA Methods put :: Digest SHA1State -> Put # get :: Get (Digest SHA1State) # putList :: [Digest SHA1State] -> Put #

data SHA256State #

Instances

Instances details

Binary SHA256State #
Instance details Defined in Data.Digest.Pure.SHA Methods put :: SHA256State -> Put # get :: Get SHA256State # putList :: [SHA256State] -> Put #
Binary (Digest SHA256State) #
Instance details Defined in Data.Digest.Pure.SHA Methods put :: Digest SHA256State -> Put # get :: Get (Digest SHA256State) # putList :: [Digest SHA256State] -> Put #

data SHA512State #

Instances

Instances details

Binary SHA512State #
Instance details Defined in Data.Digest.Pure.SHA Methods put :: SHA512State -> Put # get :: Get SHA512State # putList :: [SHA512State] -> Put #
Binary (Digest SHA512State) #
Instance details Defined in Data.Digest.Pure.SHA Methods put :: Digest SHA512State -> Put # get :: Get (Digest SHA512State) # putList :: [Digest SHA512State] -> Put #

showDigest :: Digest t -> String #

Convert a digest to a string. The digest is rendered as fixed with hexadecimal number.

integerDigest :: Digest t -> Integer #

Convert a digest to an Integer.

bytestringDigest :: Digest t -> ByteString #

Convert a digest to a ByteString.

Calculating hashes

sha1 :: ByteString -> Digest SHA1State #

Compute the SHA-1 hash of the given ByteString. The output is guaranteed to be exactly 160 bits, or 20 bytes, long. This is a good default for programs that need a good, but not necessarily hyper-secure, hash function.

sha224 :: ByteString -> Digest SHA256State #

Compute the SHA-224 hash of the given ByteString. Note that SHA-224 and SHA-384 differ only slightly from SHA-256 and SHA-512, and use truncated versions of the resulting hashes. So using 224/384 may not, in fact, save you very much ...

sha256 :: ByteString -> Digest SHA256State #

Compute the SHA-256 hash of the given ByteString. The output is guaranteed to be exactly 256 bits, or 32 bytes, long. If your security requirements are pretty serious, this is a good choice. For truly significant security concerns, however, you might try one of the bigger options.

sha384 :: ByteString -> Digest SHA512State #

Compute the SHA-384 hash of the given ByteString. Yup, you guessed it, the output will be exactly 384 bits, or 48 bytes, long.

sha512 :: ByteString -> Digest SHA512State #

For those for whom only the biggest hashes will do, this computes the SHA-512 hash of the given ByteString. The output will be 64 bytes, or 512 bits, long.

sha1Incremental :: Decoder SHA1State #

Similar to sha1 but use an incremental interface. When the decoder has been completely fed, completeSha1Incremental must be used so it can finish successfully.

completeSha1Incremental :: Decoder SHA1State -> Int -> Digest SHA1State #

sha224Incremental :: Decoder SHA256State #

Similar to sha224 but use an incremental interface. When the decoder has been completely fed, completeSha224Incremental must be used so it can finish successfully.

completeSha224Incremental :: Decoder SHA256State -> Int -> Digest SHA256State #

sha256Incremental :: Decoder SHA256State #

Similar to sha256 but use an incremental interface. When the decoder has been completely fed, completeSha256Incremental must be used so it can finish successfully.

completeSha256Incremental :: Decoder SHA256State -> Int -> Digest SHA256State #

sha384Incremental :: Decoder SHA512State #

Similar to sha384 but use an incremental interface. When the decoder has been completely fed, completeSha384Incremental must be used so it can finish successfully.

completeSha384Incremental :: Decoder SHA512State -> Int -> Digest SHA512State #

sha512Incremental :: Decoder SHA512State #

Similar to sha512 but use an incremental interface. When the decoder has been completely fed, completeSha512Incremental must be used so it can finish successfully.

completeSha512Incremental :: Decoder SHA512State -> Int -> Digest SHA512State #