The send* and receive* methods may result in a failed effect, with either one of WebSocketException
exceptions, or a backend-specific exception.
The send* and receive* methods may result in a failed effect, with either one of WebSocketException
exceptions, or a backend-specific exception. Specifically, they will fail with WebSocketClosed if the
web socket is closed.
See the either and eitherClose method to lift web socket closed events to the value level.
The
send*
andreceive*
methods may result in a failed effect, with either one of WebSocketException exceptions, or a backend-specific exception. Specifically, they will fail with WebSocketClosed if the web socket is closed.See the
either
andeitherClose
method to lift web socket closed events to the value level.