When a user attempts to push a value into a pipe, and the pipe either fills
or was already full, a Trigger is returned in the PushResult. This is
essentially just a fillable callback function that is called when the pipe
either becomes empty or is closed or terminated
Notice that when the trigger is executed we don't include any information
about the state of the pipe. The handler can just try pushing again to
determine if the pipe is dead or not.
When a user attempts to push a value into a pipe, and the pipe either fills or was already full, a Trigger is returned in the PushResult. This is essentially just a fillable callback function that is called when the pipe either becomes empty or is closed or terminated
Notice that when the trigger is executed we don't include any information about the state of the pipe. The handler can just try pushing again to determine if the pipe is dead or not.