sessiontypes

Session types library

https://github.com/Ferdinand-vW/sessiontypes#readme

Version on this page:	0.1.2
Stackage Nightly 2018-03-10:	0.1.2@rev:1
Latest on Hackage:	0.1.2@rev:1

See all snapshots sessiontypes appears in

GPL-3.0-only licensed and maintained by Ferdinand van Walree

This version can be pinned in stack with:sessiontypes-0.1.2@sha256:d68231e8142394cdb26c5513f9a0512e25358b056b89c35f4e027e8d3d883132,3781

Module documentation for 0.1.2

Control
- Control.SessionTypes

Depends on 8 packages(full list with versions):

base, deepseq, diagrams-lib, diagrams-svg, mtl, sessiontypes, transformers, vector

Used by 2 packages in nightly-2018-01-29(full list with versions):

sessiontypes, sessiontypes-distributed

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.