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
Instances For
Hash Trace #
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
This is the same as String.replace text "\r\n" "\n"
, but more efficient.
Instances For
Modification Time (MTime) Trace #
Check if the info's MTIme
is at least depMTime
.
Instances For
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
Instances For
Instances For
Check the build trace against the given target info and hash to see if the target is up-to-date.
Instances For
Check the build trace against the given target info and its modification time to see if the target is up-to-date.
Instances For
Check the build trace against the given target info and its trace file to see if the target is up-to-date.