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 Fri May 2 14:27:09 UTC 2008 by MatthewSackman
Distributions NixOS:2008.7.18
Downloads 3597 total (51 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-11-24 [all 5 reports]

Modules

  • Control
    • Concurrent
      • Control.Concurrent.Session
        • Control.Concurrent.Session.Bool
        • Control.Concurrent.Session.Interleaving
        • Control.Concurrent.Session.List
        • Control.Concurrent.Session.Map
        • Control.Concurrent.Session.Number
        • Control.Concurrent.Session.Pid
        • Control.Concurrent.Session.Runtime
        • Control.Concurrent.Session.SMonad
        • Control.Concurrent.Session.SessionType

Downloads

Maintainer's Corner

For package maintainers and hackage trustees