- Synopsis
-
A framework for strongly typed protocols
- Description
-
A robust session type framework which supports protocol pipelining.
- 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
- 88e3f8482fc8d2eac606d0d8bb62d84ea7596b65
- Subdir
- typed-protocols
- Timestamp
-
2026-03-27T16:04:53Z
- Revisions
-
None
- Dependencies
-
- library typed-protocols:
-
- ["base >=4.12 && <4.22","io-classes ^>=1.8","singletons ^>=3.0"]
- library cborg:
-
- ["base","bytestring >=0.10 && <0.13","cborg >=0.2.1 && <0.3","singletons","primitive","io-classes","typed-protocols"]
- library stateful:
-
- ["base","singletons","io-classes","typed-protocols"]
- library stateful-cborg:
-
- ["base","bytestring","cborg","singletons","io-classes","typed-protocols:{typed-protocols,cborg,stateful}"]
- library examples:
-
- ["base","bytestring","cborg","serialise","singletons","contra-tracer","io-classes:{io-classes,si-timers}","network","time","typed-protocols:{typed-protocols,cborg,stateful}"]
- test-suite test:
-
- ["base","bytestring","contra-tracer","typed-protocols:{typed-protocols,cborg,examples}","io-classes:{io-classes,si-timers}","io-sim","QuickCheck","tasty","tasty-quickcheck"]
if !os(windows)