The sessions package (version 2008.3.30)
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.
| Other 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.4.2, 2008.5.2, 2008.5.6, 2008.5.12, 2008.6.17, 2008.7.18 |
|---|---|
| Dependencies | base, containers, mtl |
| License | GPL |
| Copyright | Matthew Sackman |
| Author | Matthew Sackman |
| Maintainer | matthew@wellquite.org |
| Stability | Beta |
| Category | Control |
| Home page | http://www.wellquite.org/sessions/ |
| Exposed modules | Control.Concurrent.Session, Control.Concurrent.Session.Runtime, Control.Concurrent.Session.SessionType, Control.Concurrent.Session.SMonad, Control.Concurrent.Session.List, Control.Concurrent.Session.Number, Control.Concurrent.Session.Map, Control.Concurrent.Session.Interleaving, Control.Concurrent.Session.Pid, Control.Concurrent.Session.Bool |
| Upload date | Sun Mar 30 14:11:08 PDT 2008 |
| Uploaded by | MatthewSackman |
| Build failure | ghc-6.8 (log) |
Downloads
- sessions-2008.3.30.tar.gz (Cabal source package)
- package description (included in the package)