| Safe Haskell | None |
|---|
Agda.Utils.Hash
Description
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.
- type Hash = Word64
- hashByteString :: ByteString -> Hash
- hashFile :: AbsolutePath -> IO Hash
- combineHashes :: [Hash] -> Hash
- hashString :: String -> Integer
Documentation
hashFile :: AbsolutePath -> IO HashSource
combineHashes :: [Hash] -> HashSource
hashString :: String -> IntegerSource
Hashing a module name for unique identifiers.