def Network.WebSockets.webSocketGUID : String

The WebSocket magic GUID used in the handshake (RFC 6455 §4.2.2).

Equations

• Network.WebSockets.webSocketGUID = "258EAFA5-E914-47DA-95CA-5AB5DC76B45B"

def Network.WebSockets.computeAcceptKey (clientKey : String) : String

Compute the WebSocket accept key from the client's Sec-WebSocket-Key. $$\text{acceptKey}(k) = \text{base64}(\text{SHA-1}(k \mathbin\Vert \text{GUID}))$$

Equations

• Network.WebSockets.computeAcceptKey clientKey = Data.ByteString.Base64.encode (Network.WebSockets.sha1✝ (clientKey ++ Network.WebSockets.webSocketGUID).toUTF8)

def Network.WebSockets.isValidHandshake (headers : List (String × String)) : Bool

Validate that a request is a valid WebSocket upgrade request.

Equations

• One or more equations did not get rendered due to their size.

def Network.WebSockets.buildHandshakeResponse (clientKey : String) : String

Build the HTTP 101 Switching Protocols response for WebSocket upgrade.

Equations

• One or more equations did not get rendered due to their size.