sessions: Session Types for Haskell
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 | 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 | 6689 total (206 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-04 [all 7 reports] Hackage Matrix CI |
Modules
- Control
- Concurrent
- Control.Concurrent.Session
- Concurrent
Downloads
- sessions-2007.6.17.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)