Sequential composition of Plan
s.
Sequential composition of Plan
s.
Connect the output of the machine to the given Process
.
Connect the output of the machine to the given Process
.
A Machine
that executes the Plan
and then stops.
A Machine
that executes the Plan
and then stops.
Substitute into the variables in this Plan
.
Accumulate the outputs of the machine, associating to the left.
Accumulate the outputs of the machine, associating to the left.
Accumulate the outputs of the machine in a Monoid
.
Accumulate the outputs of the machine in a Monoid
.
Accumulate the outputs of the machine, associating to the right.
Accumulate the outputs of the machine, associating to the right.
Transform the inputs of the resulting machine.
Transform the inputs of the resulting machine.
Corecursively build a machine by iterating the given function.
Corecursively build a machine by iterating the given function.
Reassign the variables in this Plan
.
Reassign the variables in this Plan
.
If the current Plan
fails, try the plan p
.
Transform the outputs of the resulting machine.
Transform the outputs of the resulting machine.
A Machine
that executes the Plan
indefinitely.
A Machine
that executes the Plan
indefinitely.
Repeat this plan n
times.
Repeat this plan n
times.
Split the output into two streams at possibly differing rates.
Split the output into two streams at possibly differing rates.
Emit an output value of type
O
and proceed withPlan
next
.