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
- Test.Validity.FunctionsValidity tests involving functions
- Test.Validity.Functions.CanFail
- Test.Validity.Functions.Equivalence
- Test.Validity.Functions.IdempotenceStandard tests involving validity
- Test.Validity.Functions.InverseStandard tests involving inverse functions
- Test.Validity.Functions.ValidityStandard tests involving validity
- Test.Validity.GenValidity.PropertyTests for GenValidity instances
- Test.Validity.OperationsProperties of operations
- Test.Validity.Operations.Associativity
- Test.Validity.Operations.Commutativity
- Test.Validity.Operations.Identity
- Test.Validity.Property
- Test.Validity.Property.Utils
- Test.Validity.RelationsProperties of relations
- Test.Validity.Relations.Antireflexivity
- Test.Validity.Relations.Antisymmetry
- Test.Validity.Relations.Reflexivity
- Test.Validity.Relations.Symmetry
- Test.Validity.Relations.Transitivity
- Test.Validity.Shrinking.PropertyTests for shrinking functions
- Test.Validity.Types
Depends on
6 packages- QuickCheck-2.18.0.0in this set
- base-4.23.0.0with GHC
- genvalidity-1.1.1.0in this set
- hspec-2.11.18in this set
- pretty-show-1.10in this set
- validity-0.12.1.0in this set