- 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
- adc4f2e22398f02be2bcddfc8ae918a84de28a36
- Subdir
- typed-protocols-examples
- Timestamp
-
2023-04-24T15:33:00Z
- Revisions
-
None
- Dependencies
-
- library typed-protocols-examples:
-
- ["base","bytestring","cborg","serialise","contra-tracer","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-sim","si-timers","QuickCheck","tasty","tasty-quickcheck"]