sessiontypes: Session types library

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

This packages provides a deep embedded domain-specific language for writing session typed program. A session typed program is a program annotated with session types. A session type describes a communication protocol at the type-level. The motivation for doing so is that it gives you a static guarantee that a program correctly implements a protocol. It may even guarantee that no deadlocking can occur.


Versions 0.1.0, 0.1.0, 0.1.1, 0.1.2
Change log ChangeLog
Dependencies base (>=4.7 && <5), deepseq (==1.4.*), diagrams-lib (==1.4.*), diagrams-svg (==1.4.*), mtl (==2.2.*), sessiontypes, transformers (==0.5.*), vector (==0.12.*) [details]
License GPL-3.0-only
Copyright 2017 Ferdinand van Walree
Author Ferdinand van Walree
Maintainer Ferdinand van Walree
Category Control
Home page
Source repo head: git clone
Uploaded by ferdinandvw at 2017-09-29T03:38:47Z




Maintainer's Corner

For package maintainers and hackage trustees