Agda-2.6.20240714: A dependently typed functional programming language and proof assistant
Safe HaskellNone
LanguageHaskell2010

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

Documentation

type Hash = Word64 Source #

hashByteString :: ByteString -> Hash Source #

hashText :: Text -> Hash Source #

Hashes a piece of Text.

hashString :: String -> Word64 Source #

Hashing a module name for unique identifiers.