typed-protocols-examples-0.4.0.0

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
cd80ff771156ba882a553de3f40ff16ccb6ca588
Subdir
typed-protocols-examples
Timestamp

2024-09-20T08:59:22Z

Revisions

None

Dependencies
library typed-protocols-examples:
  • ["base","bytestring","cborg","serialise","singletons","contra-tracer","io-classes","si-timers","network","time","typed-protocols ^>=0.2","typed-protocols-cborg","typed-protocols-stateful"]
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"]

if !os(windows)

  • directory
  • network
  • unix