Utilities #
Trace Abstraction #
Instances For
- nilTrace : t
The nil trace. Should not unduly clash with a proper trace.
Instances
- mixTrace : t → t → t
Combine two traces. The result should be dirty if either of the inputs is dirty.
Instances
Instances For
Instances For
Instances For
Instances For
Hash Trace #
Instances For
Instances For
- path : Lake.FilePath
A wrapper around FilePath
that adjusts its ComputeHash
implementation
to normalize \r\n
sequences to \n
for cross-platform compatibility.
Instances For
Instances For
Modification Time (MTime) Trace #
Lake Build Trace (Hash + MTIme) #
- hash : Lake.Hash
- mtime : Lake.MTime
Trace used for common Lake targets. Combines Hash
and MTime
.
Instances For
Instances For
Instances For
Check if the info is up-to-date using a hash. That is, check that info exists and its input hash matches this trace's hash.
Instances For
Check if the info is up-to-date using modification time. That is, check if the info is newer than this input trace's modification time.
Instances For
Check if the info is up-to-date using a trace file. If the file exists, match its hash to this trace's hash. If not, check if the info is newer than this trace's modification time.