@hackage spire-websocket0.1.0.1
Linear session-typed WebSocket protocols for spire
Categories
License
BSD-3-Clause
Maintainer
Josh Burgess <joshburgess.webdev@gmail.com>
Links
Versions
Installation
Dependencies (7)
- acolyte-core >=0.1 && <0.2
- aeson >=2.1 && <2.3
- base >=4.20 && <5
- bytestring >=0.11 && <0.13
- http-core >=0.1 && <0.2
- spire >=0.1 && <0.2 Show all…
Dependents (1)
@hackage/acolyte
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.