reply

Description:

public void reply (owned Structure? s)

Set a reply on this.

This will wake up any waiters with REPLIED. Called by the producer of the value to indicate success (or failure).

If this has already been interrupted by the consumer, then this reply is not visible to the consumer.

Parameters:

this

a Promise
s

a Structure with the the reply contents