typed-session: typed session framework

[ control, library, mit, network ] [ Propose Tags ] [ Report a vulnerability ]

Typed session are used to ensure desirable properties in concurrent and distributed systems, i.e. absence of communication errors or deadlocks, and protocol conformance.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0, 0.1.1.0, 0.1.2.0, 0.1.3.0, 0.2.0.0, 0.2.0.1, 0.3.0.0, 0.3.0.1
Change log CHANGELOG.md
Dependencies base (>=4.20.0 && <4.21), containers (>=0.7 && <0.8), io-classes (>=1.7.0 && <1.8), template-haskell (>=2.22.0 && <2.23), typed-session-state-algorithm (>=0.5.0 && <0.6) [details]
License MIT
Author sdzx-1
Maintainer shangdizhixia1993@163.com
Category Control, Network
Source repo head: git clone https://github.com/sdzx-1/typed-session
Uploaded by sdzx at 2024-09-21T05:49:29Z
Distributions
Downloads 160 total (13 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]