sessions: Session Types for Haskell

[ control, 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.

Versions [faq] 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 LicenseRef-GPL
Copyright Matthew Sackman
Author Matthew Sackman
Maintainer matthew@wellquite.org
Category Control
Home page http://www.wellquite.org/sessions/
Uploaded by MatthewSackman at Fri May 2 14:27:09 UTC 2008
Distributions NixOS:2008.7.18
Downloads 7174 total (110 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2017-01-03 [all 7 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