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- and 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
Upload dateThu Jun 25 07:36:07 UTC 2009
Uploaded byKeigoImai
Downloads565 total (49 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees