Creates State that generates source code that will accumulate the
results of the state computations in a list. Returns a list of those
results even if the result list is empty.
Creates State that generates source code that will accumulate the
results of the state computations in a list. If at least one result is
available, computation will return a list of those results, otherwise
computation will fail.
Creates State that generates sourcecode that will multiplex the results
of state computation from different branches into one computation point,
transforming multiple inputs computations into single output computation.