WebSocketBuilder

sealed abstract class WebSocketBuilder[F[_]]

Build a response which will accept an HTTP websocket upgrade request and initiate a websocket connection using the supplied exchange to process and respond to websocket messages.

Value parameters:
headers

Handshake response headers, such as such as:Sec-WebSocket-Protocol.

onHandshakeFailure

The status code to return when failing to handle a websocket HTTP request to this route. default: BadRequest

onNonWebSocketRequest

The status code to return to a client making a non-websocket HTTP request to this route. default: NotImplemented

Companion:
object
Source:
WebSocketBuilder.scala
class Object
trait Matchable
class Any

Value members

Concrete methods

def build(sendReceive: (F, WebSocketFrame) => WebSocketFrame): F[Response[F]]
Value parameters:
sendReceive

The send-receive stream represents transforming of incoming messages to outgoing for a single websocket Once the stream have terminated, the server will initiate a close of the websocket connection. As defined in the websocket specification, this means the server will send a CloseFrame to the client and wait for a CloseFrame in response before closing the connection, this ensures that no messages are lost in flight. The server will shutdown the connection when it receives the CloseFrame message back from the client. The connection will also be closed if the client does not respond with a CloseFrame after some reasonable amount of time. Another way of closing the connection is by emitting a CloseFrame in the stream of messages heading to the client. This method allows one to attach a message to the CloseFrame as defined by the websocket protocol. Unfortunately the current implementation does not quite respect the description above, it violates the websocket protocol by terminating the connection immediately upon reception of a CloseFrame. This bug will be addressed soon in an upcoming release and this message will be removed. Currently, there is no way for the server to be notified when the connection is closed, neither in the case of a normal disconnection such as a Close handshake or due to a connection error. There are plans to address this limitation in the future.

Source:
WebSocketBuilder.scala
def build(send: Stream[F, WebSocketFrame], receive: (F, WebSocketFrame) => Unit): F[Response[F]]
Value parameters:
receive

The receive side of the Exchange is a sink to which the framework will push the incoming websocket messages Once both streams have terminated, the server will initiate a close of the websocket connection. As defined in the websocket specification, this means the server will send a CloseFrame to the client and wait for a CloseFrame in response before closing the connection, this ensures that no messages are lost in flight. The server will shutdown the connection when it receives the CloseFrame message back from the client. The connection will also be closed if the client does not respond with a CloseFrame after some reasonable amount of time. Another way of closing the connection is by emitting a CloseFrame in the stream of messages heading to the client. This method allows one to attach a message to the CloseFrame as defined by the websocket protocol. Unfortunately the current implementation does not quite respect the description above, it violates the websocket protocol by terminating the connection immediately upon reception of a CloseFrame. This bug will be addressed soon in an upcoming release and this message will be removed. Currently, there is no way for the server to be notified when the connection is closed, neither in the case of a normal disconnection such as a Close handshake or due to a connection error. There are plans to address this limitation in the future.

send

The send side of the Exchange represents the outgoing stream of messages that should be sent to the client

Source:
WebSocketBuilder.scala
def imapK[G[_] : Applicative](fk: FunctionK[F, G])(gk: FunctionK[G, F]): WebSocketBuilder[G]

Transform the parameterized effect from F to G.

Transform the parameterized effect from F to G.

Source:
WebSocketBuilder.scala