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

Versions 2007.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 log ChangeLog.txt
Dependencies base, containers, mtl [details]
License GPL
Copyright Matthew Sackman
Author Matthew Sackman
Maintainer matthew@wellquite.org
Stability Beta
Category Control
Home page http://www.wellquite.org/sessions/
Uploaded Tue May 6 12:44:51 UTC 2008 by MatthewSackman
Distributions NixOS:2008.7.18
Downloads 3326 total (53 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees