Package1.2.2.0Control
typed-protocols
A framework for strongly typed protocols
- Version1.2.2.0
- CategoryControl
- LicenceApache-2.0
- AuthorAlexander Vieth, Duncan Coutts, Marcin Szamotulski
- Maintaineralex@
well-typed. com, duncan@ well-typed. com, marcin. szamotulski@ iohk. io - Pinned byhackage typed-protocols 1.
2. 2. 0 - Sourcetyped-protocols-1.
2. 2. 0 on Hackage
Modules
Description
A robust session type framework which supports protocol pipelining. Haddocks are published here
Depends on
4 packages- base-4.22.0.0with GHC
- deepseq-1.5.1.0with GHC
- io-classes-1.8.0.1in this set
- singletons-3.0.4in this set