-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Left Encode and friends from SHA-3's TupleHash
--   
--   See NIST Special Publication 800-185: SHA-3 Derived Functions: cSHAKE,
--   KMAC, TupleHash and ParallelHash.
--   <a>https://www.nist.gov/publications/sha-3-derived-functions-cshake-kmac-tuplehash-and-parallelhash</a>
--   Note that this does not implement TupleHash itself, though it could be
--   used to implement TupleHash given an implementation of Keccak/SHA-3.
--   This only implements the data-encoding portions of TupleHash, and does
--   not implement any kind of cryptographic state machine.
@package tuplehash-utils
@version 0.1.0.0


-- | See NIST Special Publication 800-185: SHA-3 Derived Functions: cSHAKE,
--   KMAC, TupleHash and ParallelHash.
--   <a>https://www.nist.gov/publications/sha-3-derived-functions-cshake-kmac-tuplehash-and-parallelhash</a>
--   Note that this module does not implement TupleHash itself, though it
--   could be used to implement TupleHash given an implementation of
--   Keccak/SHA-3. This only implements the data-encoding portions of
--   TupleHash, and does not implement any kind of cryptographic state
--   machine.
module Crypto.Encoding.SHA3.TupleHash
leftEncodeZero :: ByteString
leftEncodeInteger :: Integer -> Maybe ByteString
leftEncodeIntegerFromBytes :: Integer -> Maybe ByteString
leftEncode :: forall b. (Integral b, FiniteBits b) => b -> ByteString
leftEncodeFromBytes :: (Integral b, FiniteBits b) => b -> ByteString
encodeString :: ByteString -> ByteString
encodedByteLength :: ByteString -> Int
encodedVectorByteLength :: Foldable f => f ByteString -> Int
bareEncodeZero :: ByteString
bareEncodeInteger :: Integer -> Maybe ByteString
bareEncodeIntegerFromBytes :: Integer -> Maybe ByteString
bareEncode :: (Integral b, FiniteBits b) => b -> ByteString
bareEncodeFromBytes :: (Integral b, FiniteBits b) => b -> ByteString
lengthOfBareEncode :: (Integral b, FiniteBits b) => b -> Int
lengthOfBareEncodeFromBytes :: (Integral b, FiniteBits b) => b -> Int
lengthOfBareEncodeInteger :: Integer -> Maybe Int
lengthOfBareEncodeIntegerFromBytes :: Integer -> Maybe Int
lengthOfLeftEncode :: (Integral b, FiniteBits b) => b -> Int
lengthOfLeftEncodeFromBytes :: (Integral b, FiniteBits b) => b -> Int
lengthOfLeftEncodeInteger :: Integer -> Maybe Int
lengthOfLeftEncodeIntegerFromBytes :: Integer -> Maybe Int