- opaqueWs : Lake.OpaqueWorkspace
- leanTrace : Lake.BuildTrace
- oldMode : Bool
A Lake context with some additional caching for builds.
Instances For
@[inline, reducible]
The monad for the Lake build manager.
Instances For
@[inline, reducible]
The core monad for Lake builds.
Instances For
@[inline, reducible]
A recursive build of a Lake build store that may encounter a cycle.
Instances For
@[inline]