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, binary, bytestring, containers, mtl, network
LicenseGPL
CopyrightMatthew Sackman
AuthorMatthew Sackman
Maintainermatthew@wellquite.org
StabilityBeta
CategoryControl
Home pagehttp://www.wellquite.org/sessions/
UploadedTue Jun 17 16:42:11 UTC 2008 by MatthewSackman
Downloads1555 total (118 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