The next notification, in order. Blocks the fiber until one arrives, within any Io.with_deadline
or Io.cancel (.TIMED_OUT or .CANCELED); .CLOSED once the listener is closed and what it
held is taken. Free the notification with free_notification.
- listener: the listener to read from.
receive :: (listener: *Listener) -> (Notification, Pg_Error)
The next notification, in order. Blocks the fiber until one arrives, within any Io.with_deadline
or Io.cancel (.TIMED_OUT or .CANCELED); .CLOSED once the listener is closed and what it
held is taken. Free the notification with free_notification.
Parameters
- listener: *Listener
- the listener to read from.