The full-sessions package

[Tags: bsd3, library]

This library defines a Session monad, which provides static checking of safe and consistent use of communication channels according to protocols. It requires almost no type- or term- annotations. Alternatives are: the simple-sessions package (http://hackage.haskell.org/cgi-bin/hackage-scripts/package/simple-sessions) and the sessions package (http://hackage.haskell.org/cgi-bin/hackage-scripts/package/sessions).


Properties

Versions0.4.181, 0.4.187, 0.4.189, 0.6.1, 0.6.1.1, 0.6.1.2, 0.6.2, 0.6.2.1
Dependenciesbase (==3.*), ghc (>6.8) or
base (==4.*), ghc (>6.8)
LicenseBSD3
AuthorKeigo IMAI
Maintainerkeigo.imai@gmail.com
Stabilityexperimental
CategoryControl
Home pagehttp://www.agusa.i.is.nagoya-u.ac.jp/person/sydney/full-sessions.html
UploadedThu Jun 25 07:42:32 UTC 2009 by KeigoImai
Downloads719 total (37 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