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