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
- Test.QuickCheck.DynamicLogicMonadic interface for writing Dynamic Logic properties. This interface offers a much nicer experience than manipulating the
- Test.QuickCheck.DynamicLogic.CanGenerate
- Test.QuickCheck.DynamicLogic.QuantifyThis module defines Quantifications, which are used together with
- Test.QuickCheck.DynamicLogic.SmartShrinking
- Test.QuickCheck.DynamicLogic.Utils
- Test.QuickCheck.Extras
- Test.QuickCheck.StateModelModel-Based Testing library for use with Haskell QuickCheck. This module provides the basic machinery to define a StateModel from which t…
- Test.QuickCheck.StateModel.Variables
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.