@cardano / marlowe-spec-test

Marlowe spec compliance utility tool

Latest0.1.0.1

Dependencies

library:marlowe-spec-test (16 dependencies)

@hackage / random Pseudo-random number generation
- Version: >=1.2 && <1.3
- License: BSD-3-Clause
@cardano / marlowe Exported version of the Marlowe Semantics using the isabelle proof assistant
- Version: ==0.1.0.1
- License: BSD-3-Clause
@hackage / QuickCheck-GenT A GenT monad transformer for QuickCheck library.
- Version: >=0.2.2 && <0.3
- License: MIT
@hackage / tasty Modern and extensible testing framework
- Version: >=1.4.2 && <1.5
- License: MIT
@hackage / base Core data structures and operations
- Version: >=4.16.4.0 && <5
- License: BSD-3-Clause
@hackage / stm Software Transactional Memory
- Version: >=2.5 && <2.6
- License: BSD-3-Clause
@cardano / optparse-applicative Utilities and combinators for parsing command line options
- Version: >=0.17
- License: BSD-3-Clause
@hackage / tasty-quickcheck QuickCheck support for the Tasty test framework.
- Version: >=0.10 && <0.11
- License: MIT
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2 && <3
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=1.2.4
- License: BSD-2-Clause
@hackage / aeson Fast JSON parsing and encoding
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / process Process libraries
- Version: >=1.6.13 && <1.7
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.10.12 && <0.12
- License: BSD-3-Clause
@hackage / tasty-hunit HUnit support for the Tasty test framework.
- Version: >=0.10 && <0.11
- License: MIT
@hackage / QuickCheck Automatic testing of Haskell programs
- Version: >=2.14 && <3
- License: BSD-3-Clause

executable:marlowe-spec (3 dependencies)

test:marlowe-spec-test (3 dependencies)