Agda-2.6.3.20230914: A dependently typed functional programming language and proof assistant
Safe HaskellSafe-Inferred
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

hashText :: Text -> Hash Source #

Hashes a piece of Text.

hashString :: String -> Word64 Source #

Hashing a module name for unique identifiers.