@hackage / spire-websocket

Linear session-typed WebSocket protocols for spire

Latest0.1.0.1

About

Metadata

  • Last updated , by joshburgess
  • License BSD-3-Clause
  • Categories Network Development

  • Maintained by: Josh Burgess <joshburgess.webdev@gmail.com>

  • Lottery factor: 1

Links

Installation

Readme

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.