@hackage spire-websocket0.1.0.0

Linear session-typed WebSocket protocols for spire

Linear session types for WebSocket protocols. The phantom-typed Session handle enforces send/recv ordering at compile time via GHC's LinearTypes: each operation consumes the current session and produces the next state, so misuse is a type error.