Package1.0.0.0Testing
genvalidity-sydtest
Standard properties for functions on `Validity` types for the sydtest framework
- Version1.0.0.0
- CategoryTesting
- LicenceMIT
- AuthorTom Sydney Kerckhove
- Maintainersyd@cs-syd.eu
- Homepagegithub.com/NorfairKing/validity#readme
- Pinned byhackage genvalidity-sydtest 1.0.0.0
- Sourcehackage.haskell.org/package/genvalidity-sydtest-1.0.0.0
Modules
33 modules- Test.Syd.Validity226To use the Spec functions in this module, you will need TypeApplications. The most interesting functions in this module for most uses are…
- Test.Syd.Validity.Applicative3Applicative properties You will need TypeApplications to use these.
- Test.Syd.Validity.Arbitrary2Tests for Arbitrary instances involving Validity You will need TypeApplications to use these.
- Test.Syd.Validity.Eq3Eq properties You will need TypeApplications to use these.
- Test.Syd.Validity.Functions0Validity tests involving functions
- Test.Syd.Validity.Functions.CanFail17
- Test.Syd.Validity.Functions.Equivalence27
- Test.Syd.Validity.Functions.Idempotence3Standard tests involving validity
- Test.Syd.Validity.Functions.Inverse12Standard tests involving inverse functions
- Test.Syd.Validity.Functions.Validity9Standard tests involving validity
- Test.Syd.Validity.Functor3Functor properties You will need TypeApplications to use these.
- Test.Syd.Validity.GenValidity4Tests for GenValidity instances You will need TypeApplications to use these.
- Test.Syd.Validity.GenValidity.Property2Tests for GenValidity instances
- Test.Syd.Validity.Monad3Monad properties You will need TypeApplications to use these.
- Test.Syd.Validity.Monoid3Monoid properties You will need TypeApplications to use these.
- Test.Syd.Validity.Operations0Properties of operations
- Test.Syd.Validity.Operations.Associativity3
- Test.Syd.Validity.Operations.Commutativity3
- Test.Syd.Validity.Operations.Identity13
- Test.Syd.Validity.Ord3Ord properties You will need TypeApplications to use these.
- Test.Syd.Validity.Property192
- Test.Syd.Validity.Property.Utils5
- Test.Syd.Validity.Relations0Properties of relations
- Test.Syd.Validity.Relations.Antireflexivity4
- Test.Syd.Validity.Relations.Antisymmetry5
- Test.Syd.Validity.Relations.Reflexivity4
- Test.Syd.Validity.Relations.Symmetry4
- Test.Syd.Validity.Relations.Transitivity4
- Test.Syd.Validity.Show6Show and Read properties
- Test.Syd.Validity.Shrinking10Tests for Shrinking functions You will need TypeApplications to use these.
- Test.Syd.Validity.Shrinking.Property12Tests for shrinking functions
- Test.Syd.Validity.Types1
- Test.Syd.Validity.Utils6Utilities for defining your own validity Specs You will need TypeApplications to use these.
Depends on
6 packages- QuickCheck-2.15.0.1in this set
- base-4.20.2.0with GHC
- genvalidity-1.1.1.0in this set
- pretty-show-1.10in this set
- sydtest-0.22.0.0in this set
- validity-0.12.1.0in this set