@hackage quickcheck-state-machine-distributed dependencies

26 results

library:quickcheck-state-machine-distributed (10 dependencies)

@haskell/stm

Software Transactional Memory

BSD-3-Clause

@haskell/random

Pseudo-random number generation

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/binary

Binary serialisation for Haskell values using lazy ByteStrings

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.7 && <5

@hackage/network-transport-tcp

TCP instantiation of Network.Transport

BSD-3-Clause>=0.6.0

@hackage/network-transport

Network abstraction layer

BSD-3-Clause>=0.5.2

@hackage/distributed-process

Cloud Haskell: Erlang-style concurrency in Haskell

BSD-3-Clause>=0.7.3

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2.10

test:quickcheck-state-machine-distributed-test (16 dependencies)

@haskell/stm

Software Transactional Memory

BSD-3-Clause

@haskell/random

Pseudo-random number generation

BSD-3-Clause

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/binary

Binary serialisation for Haskell values using lazy ByteStrings

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.7 && <5

@hackage/temporary

Portable temporary file and directory support

BSD-3-Clause

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

MIT

@hackage/tasty

Modern and extensible testing framework

MIT

@hackage/strict

Strict data types and String IO.

BSD-3-Clause

@hackage/quickcheck-state-machine-distributed

Test monadic programs using state machine based models

BSD-2-Clause

@hackage/network-transport-tcp

TCP instantiation of Network.Transport

BSD-3-Clause>=0.6.0

@hackage/network-transport

Network abstraction layer

BSD-3-Clause>=0.5.2

@hackage/distributed-process

Cloud Haskell: Erlang-style concurrency in Haskell

BSD-3-Clause>=0.7.3

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2.10