- Synopsis
-
Examples and tests for the typed-protocols framework
- Description
-
- 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
- 67a9d95bb57f03d707647ae2c722054d1ea11f5f
- Subdir
- typed-protocols-examples
- Timestamp
-
2024-08-28T06:44:16Z
- Revisions
-
None
- Dependencies
-
- library typed-protocols-examples:
-
- ["base","bytestring","cborg","serialise","contra-tracer","io-classes:{io-classes, si-timers}","time","typed-protocols","typed-protocols-cborg"]
- test-suite test:
-
- ["base","bytestring","contra-tracer","typed-protocols","typed-protocols-cborg","typed-protocols-examples","io-classes:{io-classes, si-timers}","io-sim","QuickCheck","tasty","tasty-quickcheck"]