The activity has failed, with exception exc
.
The activity is running with a current value of t
.
An ADT describing the state of an Activity.
The activity is pending output.
Create a new pending activity.
Create a new pending activity. The activity's state is updated by the given witness.
[use case] Collect a collection of activities into an activity of a collection of values.
Create a new static activity with exception exc
.
A static Activity that is pending.
Create a new static activity with value v
.