sessions: Session Types for Haskell

[ control, library ] [ Propose Tags ]

This library implements session types for Haskell. It is currently extremely experimental and only compiles with GHC 6.7.x or better. Documentation is also extremely scarce at the moment but hopefully should appear soon.

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, mtl [details]
License LicenseRef-LGPL
Copyright Matthew Sackman
Author Matthew Sackman
Maintainer matthew@wellquite.org
Category Control
Home page http://www.wellquite.org/sessions/
Uploaded by MatthewSackman at Sun Jun 17 16:08:55 UTC 2007
Distributions NixOS:2008.7.18
Downloads 7085 total (49 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-04 [all 7 reports]

Modules

  • Control
    • Concurrent
      • Control.Concurrent.Session

Downloads

Maintainer's Corner

For package maintainers and hackage trustees