@cardano typed-protocols-examples dependencies
22 results
@haskell/bytestring
Fast, compact, strict and lazy byte strings with a list interface
@haskell/base
Core data structures and operations
@hackage/time
A time library
@hackage/si-timers
timers using SI units (seconds)
@hackage/serialise
A binary serialisation library for Haskell values.
@hackage/cborg
Concise Binary Object Representation (CBOR)
@cardano/typed-protocols-cborg
CBOR codecs for typed-protocols
@cardano/typed-protocols
A framework for strongly typed protocols
@cardano/io-classes
Type classes for concurrency with STM, ST and timing
@cardano/contra-tracer
A simple interface for logging, tracing or monitoring.
@haskell/bytestring
Fast, compact, strict and lazy byte strings with a list interface
@haskell/base
Core data structures and operations
@hackage/tasty-quickcheck
QuickCheck support for the Tasty test framework.
@hackage/tasty
Modern and extensible testing framework
@hackage/si-timers
timers using SI units (seconds)
@hackage/QuickCheck
Automatic testing of Haskell programs
@cardano/typed-protocols-examples
Examples and tests for the typed-protocols framework
@cardano/typed-protocols-cborg
CBOR codecs for typed-protocols
@cardano/typed-protocols
A framework for strongly typed protocols
@cardano/io-sim
A pure simulator for monadic concurrency with STM
@cardano/io-classes
Type classes for concurrency with STM, ST and timing
@cardano/contra-tracer
A simple interface for logging, tracing or monitoring.