ModuleAgda-2.8.0.2Haskell2010

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.

Synopsis

type Hash
value hashByteString
value hashTextFile
value hashText
value combineHashes
value hashString

PackageAgda-2.8.0.2
Exports6
LanguageHaskell2010
LicenceMIT
SourceHash.hs

typetype Hash = Word64

valuehashByteString :: ByteString -> Hash

valuehashTextFile :: AbsolutePath -> IO Hash

valuehashText :: Text -> Hash

Source#

Hashes a piece of Text.

valuecombineHashes :: [Hash] -> Hash

valuehashString :: String -> Word64

Source#

Hashing a module name for unique identifiers.