The sessions package

[ Tags: control, gpl, library ] [ Propose Tags ]

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, binary, bytestring, containers, mtl, network [details]
License GPL
Copyright Matthew Sackman
Author Matthew Sackman
Maintainer matthew@wellquite.org
Category Control
Home page http://www.wellquite.org/sessions/
Uploaded Tue Jun 17 16:42:11 UTC 2008 by MatthewSackman
Distributions NixOS:2008.7.18
Downloads 4567 total (546 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees