| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
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
hashByteString :: ByteString -> Hash Source
hashFile :: AbsolutePath -> IO Hash Source
combineHashes :: [Hash] -> Hash Source
hashString :: String -> Integer Source
Hashing a module name for unique identifiers.