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. Examples inculude a SMTP client and a simple chat client with its own protocol. Alternatives are: the simple-sessions package (http://hackage.haskell.org/package/simple-sessions) and the sessions package (http://hackage.haskell.org/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.10), network or
base (==4.*), ghc (>6.10), network
LicenseBSD3
AuthorKeigo IMAI
Maintainerkeigo.imai@gmail.com
Stabilityexperimental
CategoryControl, Network
Home pagehttp://www.agusa.i.is.nagoya-u.ac.jp/person/sydney/full-sessions.html
Upload dateMon Jan 23 04:52:57 UTC 2012
Uploaded byKeigoImai
Downloads482 total (53 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees