Package1.0.0.0Testing
genvalidity-property
Standard properties for functions on `Validity` types
- Version1.0.0.0
- CategoryTesting
- LicenceMIT
- AuthorTom Sydney Kerckhove
- Maintainersyd@cs-syd.eu
- Homepagegithub.com/NorfairKing/validity#readme
- Pinned byhackage genvalidity-property 1.0.0.0
- Sourcehackage.haskell.org/package/genvalidity-property-1.0.0.0
Modules
21 modules- Test.Validity.Functions0Validity tests involving functions
- Test.Validity.Functions.CanFail17
- Test.Validity.Functions.Equivalence27
- Test.Validity.Functions.Idempotence3Standard tests involving validity
- Test.Validity.Functions.Inverse12Standard tests involving inverse functions
- Test.Validity.Functions.Validity9Standard tests involving validity
- Test.Validity.GenValidity.Property2Tests for GenValidity instances
- Test.Validity.Operations0Properties of operations
- Test.Validity.Operations.Associativity3
- Test.Validity.Operations.Commutativity3
- Test.Validity.Operations.Identity13
- Test.Validity.Property192
- Test.Validity.Property.Utils5
- Test.Validity.Relations0Properties of relations
- Test.Validity.Relations.Antireflexivity4
- Test.Validity.Relations.Antisymmetry5
- Test.Validity.Relations.Reflexivity4
- Test.Validity.Relations.Symmetry4
- Test.Validity.Relations.Transitivity4
- Test.Validity.Shrinking.Property12Tests for shrinking functions
- Test.Validity.Types1
Depends on
6 packages- QuickCheck-2.15.0.1in this set
- base-4.20.2.0with GHC
- genvalidity-1.1.1.0in this set
- hspec-2.11.14in this set
- pretty-show-1.10in this set
- validity-0.12.1.0in this set