Agda.Utils.Hash

Instead of checking time-stamps we compute a hash of the module source and store it in the interface file. This module contains the functions to do that.

1 type
5 values

PackageAgda-2.8.0.2
Exports6
LanguageHaskell2010
LicenceMIT
SourceHash.hs

typetype Hash = Word64

valuehashByteString :: ByteString -> Hash

valuehashTextFile :: AbsolutePath -> IO Hash

valuehashText :: Text -> Hash

Hashes a piece of Text.

valuecombineHashes :: [Hash] -> Hash

valuehashString :: String -> Word64

Hashing a module name for unique identifiers.