Package4.0.1Testing
quickcheck-dynamic
A library for stateful property-based testing
- Version4.0.1
- CategoryTesting
- LicenceApache-2.0
- AuthorUlf Norell
- Maintainersebastian.nagel@iohk.io
- Homepagegithub.com/input-output-hk/quickcheck-dynamic#readme
- Pinned byhackage quickcheck-dynamic 4.0.1
- Sourcehackage.haskell.org/package/quickcheck-dynamic-4.0.1
Modules
9 modules- Test.QuickCheck.DynamicLogic21Monadic interface for writing Dynamic Logic properties. This interface offers a much nicer experience than manipulating the
- Test.QuickCheck.DynamicLogic.CanGenerate1
- Test.QuickCheck.DynamicLogic.Quantify18This module defines Quantifications, which are used together with
- Test.QuickCheck.DynamicLogic.SmartShrinking1
- Test.QuickCheck.DynamicLogic.Utils1
- Test.QuickCheck.Extras2
- Test.QuickCheck.StateModel33Model-Based Testing library for use with Haskell QuickCheck. This module provides the basic machinery to define a StateModel from which t…
- Test.QuickCheck.StateModel.Variables15
Internal modules · 1
Description
Please see the README on GitHub at https://github.com/input-output-hk/quickcheck-dynamic#readme
Depends on
5 packages- QuickCheck-2.18.0.0in this set
- base-4.23.0.0with GHC
- containers-0.8with GHC
- mtl-2.3.2with GHC
- random-1.3.1in this set
Used by in this set · 0
Nothing in this set depends on it.