module Agda.Utils.Hash where
import Data.ByteString as B
import Data.Word
import qualified Data.Hash as H
import qualified Data.List as L
import Data.Digest.Murmur64
import qualified Data.Text.Encoding as T
import Data.Text.Lazy (Text)
import qualified Data.Text.Lazy as T
import Agda.Utils.FileName
import Agda.Utils.IO.UTF8 (readTextFile)
type Hash = Word64
hashByteString :: ByteString -> Hash
hashByteString = H.asWord64 . B.foldl' (\h b -> H.combine h (H.hashWord8 b)) (H.hashWord8 0)
hashTextFile :: AbsolutePath -> IO Hash
hashTextFile file = do
s <- readTextFile (filePath file)
return $ hashText s
hashText :: Text -> Hash
hashText = hashByteString . T.encodeUtf8 . T.toStrict
combineHashes :: [Hash] -> Hash
combineHashes hs = H.asWord64 $ L.foldl' H.combine (H.hashWord8 0) $ L.map H.hash hs
hashString :: String -> Word64
hashString = asWord64 . hash64