Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

WaiWebSockets – WebSocket WAI Handler

Lean: Hale.WaiWebSockets | Haskell: wai-websockets

Upgrade WAI requests to WebSocket connections.

API

FunctionDescription
isWebSocketsReqCheck if request is a WebSocket upgrade
websocketsAppUpgrade WAI request to WebSocket connection

Files

  • Hale/WaiWebSockets/Network/Wai/Handler/WebSockets.lean – WebSocket upgrade handler