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 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 6895 total (36 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2017-01-03 [all 7 reports]
Hackage Matrix CI

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