@hackage typed-session0.3.0.1
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.7.0 && <1.8
- template-haskell >=2.22.0 && <2.23
- typed-session-state-algorithm >=0.5.0 && <0.6 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.