The sessions package

[Tags: gpl, library]

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.


Properties

Versions2007.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
Dependenciesbase, containers, mtl
LicenseGPL
CopyrightMatthew Sackman
AuthorMatthew Sackman
Maintainermatthew@wellquite.org
StabilityBeta
CategoryControl
Home pagehttp://www.wellquite.org/sessions/
UploadedTue May 6 12:44:51 UTC 2008 by MatthewSackman
Downloads1555 total (117 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees