The sessions package

[Tags: gpl, library]

Session Types for Haskell. Allows the specification of communication protocols and then validation that an implementation does not violate said protocol. Ignore the build failure for hackage - it's just haddock being rubbish.

Properties

Versions2007.6.14, 2007.6.17, 2007.6.18, 2007.6.20, 2007.7.15, 2008.2.20, 2008.2.22, 2008.2.23, 2008.2.28, 2008.3.23, 2008.3.24, 2008.3.25, 2008.3.29, 2008.3.30, 2008.4.2, 2008.5.2, 2008.5.6, 2008.5.12, 2008.6.17, 2008.7.18
Change logChangeLog.txt
Dependenciesbase, containers, mtl [details]
LicenseGPL
CopyrightMatthew Sackman
AuthorMatthew Sackman
Maintainermatthew@wellquite.org
StabilityBeta
CategoryControl
Home pagehttp://www.wellquite.org/sessions/
UploadedFri May 2 14:27:09 UTC 2008 by MatthewSackman
Downloads2636 total (108 in last 30 days)
Votes
0 []
StatusDocs not available [build log]
All reported builds failed as of 2015-06-08 [all 2 reports]

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees