WebSocket

WebSocket module: types and API for WebSocket connections.

WebSocket connections are upgraded from HTTP via WebSocket.upgrade(conn, handler). The handler is a function WsSocket -> Unit that uses tail recursion and pattern matching on received frames.

Types

typeWsFrameWsFrame = TextFrame(String) | BinaryFrame(String) | Ping | Pong | Close(Int, String)#

typeWsSocketWsSocket = WsSocket(Int)#

typeSelectResultSelectResult = WsData(WsFrame) | ActorMsg | Timeout#

typeHeaderHeader = Header(String, String)#

typeUpgradeUpgrade = NoUpgrade | WebSocketUpgrade(WsSocket -> Unit)#

typeConnConn = Conn(#