Job Monad #
This module contains additional definitions for Lake Job
.
In particular, it defines JobM
, which uses BuildContext
, which contains
OpaqueJob
s, hence the module split.
Equations
Record that this job is trying to perform some action.
Equations
Instances For
Returns the current job's build trace.
Equations
Instances For
Sets the current job's build trace.
Equations
Instances For
Set the caption of the job's build trace.
Equations
Instances For
Replace the job's build trace with a new empty trace.
Equations
Instances For
Mix a trace into the current job's build trace.
Equations
Instances For
Returns the current job's build trace and removes it from the state.
Equations
Instances For
The monad used to spawn asynchronous Lake build jobs. Lifts into FetchM
.
Equations
Instances For
Spawn a job that asynchronously performs act
.
Equations
Instances For
Wait for a job to complete and return the produced value. Logs the job's log and throws if there was an error.
Equations
Instances For
Apply f
asynchronously to the job's output.
Equations
Instances For
Equations
Instances For
Apply f
asynchronously to the job's output
and asynchronously await the resulting job.
Equations
Instances For
Equations
Instances For
a.zipWith f b
produces a new job c
that applies f
to the
results of a
and b
. The job c
errors if either a
or b
error.
Equations
Instances For
a.zipWith f b
produces a new job c
that applies f
to the
results of a
and b
. The job c
errors if either a
or b
error.
Equations
Instances For
BuildJob (deprecated) #
A Lake build job.