Handle the websocket through a Pipe which receives the incoming events and produces the messages to be sent to the server. Not that by the nature of a Pipe, there no need that these two streams are coupled. Just make sure to consume the input as otherwise the receiving buffer might overflow (use Stream.drain if you want to discard).
Handle the websocket through a Pipe which receives the incoming events and produces the messages to be sent to the server. Not that by the nature of a Pipe, there no need that these two streams are coupled. Just make sure to consume the input as otherwise the receiving buffer might overflow (use Stream.drain if you want to discard).
Type parameters
F
the effect type
Value parameters
pipe
the pipe to handle the socket
ws
the websocket to handle
Attributes
Returns
an Unit effect describing the full run of the websocket through the pipe