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

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

4 packages

Modules

Depends on

Used by in this set · 4