sessiontypes

Session types library

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

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:046580e625ffc4d7bdf0669c6c0b3aab155cd9debbe84fc385be582b5244a461,3887

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-03-10(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.