Package1.0.1.0Testing
genvalidity-sydtest
Standard properties for functions on `Validity` types for the sydtest framework
- Version1.0.1.0
- CategoryTesting
- LicenceMIT
- AuthorTom Sydney Kerckhove
- Maintainersyd@cs-syd.eu
- Homepagegithub.com/NorfairKing/validity#readme
- Pinned byhackage genvalidity-sydtest 1.0.1.0
- Sourcehackage.haskell.org/package/genvalidity-sydtest-1.0.1.0
Modules
- Test.Syd.ValidityTo 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.ApplicativeApplicative properties You will need TypeApplications to use these.
- Test.Syd.Validity.ArbitraryTests for Arbitrary instances involving Validity You will need TypeApplications to use these.
- Test.Syd.Validity.EqEq properties You will need TypeApplications to use these.
- Test.Syd.Validity.FunctionsValidity tests involving functions
- Test.Syd.Validity.Functions.CanFail
- Test.Syd.Validity.Functions.Equivalence
- Test.Syd.Validity.Functions.IdempotenceStandard tests involving validity
- Test.Syd.Validity.Functions.InverseStandard tests involving inverse functions
- Test.Syd.Validity.Functions.ValidityStandard tests involving validity
- Test.Syd.Validity.FunctorFunctor properties You will need TypeApplications to use these.
- Test.Syd.Validity.GenValidityTests for GenValidity instances You will need TypeApplications to use these.
- Test.Syd.Validity.GenValidity.PropertyTests for GenValidity instances
- Test.Syd.Validity.MonadMonad properties You will need TypeApplications to use these.
- Test.Syd.Validity.MonoidMonoid properties You will need TypeApplications to use these.
- Test.Syd.Validity.OperationsProperties of operations
- Test.Syd.Validity.Operations.Associativity
- Test.Syd.Validity.Operations.Commutativity
- Test.Syd.Validity.Operations.Identity
- Test.Syd.Validity.OrdOrd properties You will need TypeApplications to use these.
- Test.Syd.Validity.Property
- Test.Syd.Validity.Property.Utils
- Test.Syd.Validity.RelationsProperties of relations
- Test.Syd.Validity.Relations.Antireflexivity
- Test.Syd.Validity.Relations.Antisymmetry
- Test.Syd.Validity.Relations.Reflexivity
- Test.Syd.Validity.Relations.Symmetry
- Test.Syd.Validity.Relations.Transitivity
- Test.Syd.Validity.ShowShow and Read properties
- Test.Syd.Validity.ShrinkingTests for Shrinking functions You will need TypeApplications to use these.
- Test.Syd.Validity.Shrinking.PropertyTests for shrinking functions
- Test.Syd.Validity.Types
- Test.Syd.Validity.UtilsUtilities for defining your own validity Specs You will need TypeApplications to use these.
Depends on
4 packages- QuickCheck-2.18.0.0in this set
- base-4.23.0.0with GHC
- genvalidity-1.1.1.0in this set
- sydtest-0.33.0.0in this set