| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
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.
Synopsis
- type Hash = Word64
- hashByteString :: ByteString -> Hash
- hashTextFile :: AbsolutePath -> IO Hash
- hashText :: Text -> Hash
- combineHashes :: [Hash] -> Hash
- hashString :: String -> Word64
Documentation
hashByteString :: ByteString -> Hash Source #
hashTextFile :: AbsolutePath -> IO Hash Source #
combineHashes :: [Hash] -> Hash Source #
hashString :: String -> Word64 Source #
Hashing a module name for unique identifiers.