- Synopsis
-
A framework for strongly typed protocols
- Description
-
A robust session type framework which supports protocol pipelining.
Haddocks are published [here](https://input-output-hk.github.io/typed-protocols/)
- Author
-
Alexander Vieth, Duncan Coutts, Marcin Szamotulski
- Maintainer
-
alex@well-typed.com, duncan@well-typed.com, marcin.szamotulski@iohk.io
- License
-
Apache-2.0
- Source
-
-
https://github.com/input-output-hk/typed-protocols
- Commit hash
- ff555c79fc573eac8afc0c8b38156f15fc461e10
- Subdir
- typed-protocols
- Timestamp
-
2026-03-24T08:52:27Z
- Revisions
-
None
- Dependencies
-
- library typed-protocols:
-
- ["base >=4.12 && <4.23","deepseq","io-classes ^>=1.8 || ^>=1.9","singletons ^>=3.0"]
- library codec-properties:
-
- ["base >=4.12 && <4.23","typed-protocols:{typed-protocols,stateful}","QuickCheck"]
- library cborg:
-
- ["base","bytestring >=0.10 && <0.13","cborg >=0.2.1 && <0.3","io-classes","typed-protocols"]
- library stateful:
-
- ["base","deepseq","singletons","io-classes","typed-protocols"]
- library stateful-cborg:
-
- ["base","bytestring","cborg","io-classes","typed-protocols:{typed-protocols,cborg,stateful}"]
- library examples:
-
- ["base","bytestring","cborg","deepseq","serialise","singletons","contra-tracer","io-classes:{io-classes,si-timers}","typed-protocols:{typed-protocols,cborg,stateful}"]
if !os(windows)
- test-suite test:
-
- ["base","bytestring","contra-tracer","typed-protocols:{typed-protocols,codec-properties,examples}","io-classes","io-sim","QuickCheck","tasty","tasty-quickcheck"]
if !os(windows)