@hackage typed-session0.3.0.0
typed session framework
Categories
License
MIT
Maintainer
shangdizhixia1993@163.com
Links
Versions
Installation
Dependencies (5)
- base >=4.20.0 && <4.21
- containers >=0.7 && <0.8
- io-classes >=1.5.0 && <1.6
- template-haskell >=2.22.0 && <2.23
- typed-session-state-algorithm >=0.4.0 && <0.5 Show all…
Dependents (0)
Typed session are used to ensure desirable properties in concurrent and distributed systems, i.e. absence of communication errors or deadlocks, and protocol conformance.