module Test.Validity
( module Data.GenValidity
, Proxy(Proxy)
, arbitrarySpec
, arbitraryGeneratesOnlyValid
, shrinkProducesOnlyValids
, genValiditySpec
, genValidityValidGeneratesValid
, genGeneratesValid
, genValidityInvalidGeneratesInvalid
, genGeneratesInvalid
, relativeValiditySpec
, relativeValidityImpliesValidA
, relativeValidityImpliesValidB
, genRelativeValiditySpec
, genRelativeValidityValidGeneratesValid
, genRelativeValidityInvalidGeneratesInvalid
, producesValidsOnGen
, producesValidsOnValids
, producesValid
, producesValidsOnArbitrary
, producesValidsOnGens2
, producesValidsOnValids2
, producesValid2
, producesValidsOnArbitrary2
, producesValidsOnGens3
, producesValidsOnValids3
, producesValid3
, producesValidsOnArbitrary3
, CanFail(..)
, succeedsOnGen
, succeedsOnValid
, succeeds
, succeedsOnArbitrary
, succeedsOnGens2
, succeedsOnValids2
, succeeds2
, succeedsOnArbitrary2
, failsOnGen
, failsOnInvalid
, failsOnGens2
, failsOnInvalid2
, validIfSucceedsOnGen
, validIfSucceedsOnValid
, validIfSucceedsOnArbitrary
, validIfSucceeds
, validIfSucceedsOnGens2
, validIfSucceedsOnValids2
, validIfSucceeds2
, validIfSucceedsOnArbitrary2
, equivalentOnGen
, equivalentOnValid
, equivalent
, equivalentOnGens2
, equivalentOnValids2
, equivalent2
, equivalentWhenFirstSucceedsOnGen
, equivalentWhenFirstSucceedsOnValid
, equivalentWhenFirstSucceeds
, equivalentWhenFirstSucceedsOnGens2
, equivalentWhenFirstSucceedsOnValids2
, equivalentWhenFirstSucceeds2
, equivalentWhenSecondSucceedsOnGen
, equivalentWhenSecondSucceedsOnValid
, equivalentWhenSecondSucceeds
, equivalentWhenSecondSucceedsOnGens2
, equivalentWhenSecondSucceedsOnValids2
, equivalentWhenSecondSucceeds2
, equivalentWhenSucceedOnGen
, equivalentWhenSucceedOnValid
, equivalentWhenSucceed
, equivalentWhenSucceedOnGens2
, equivalentWhenSucceedOnValids2
, equivalentWhenSucceed2
, inverseFunctionsOnGen
, inverseFunctionsOnValid
, inverseFunctions
, inverseFunctionsOnArbitrary
, inverseFunctionsIfFirstSucceedsOnGen
, inverseFunctionsIfFirstSucceedsOnValid
, inverseFunctionsIfFirstSucceeds
, inverseFunctionsIfFirstSucceedsOnArbitrary
, inverseFunctionsIfSecondSucceedsOnGen
, inverseFunctionsIfSecondSucceedsOnValid
, inverseFunctionsIfSecondSucceeds
, inverseFunctionsIfSecondSucceedsOnArbitrary
, inverseFunctionsIfSucceedOnGen
, inverseFunctionsIfSucceedOnValid
, inverseFunctionsIfSucceed
, inverseFunctionsIfSucceedOnArbitrary
, idempotentOnGen
, idempotentOnValid
, idempotent
, idempotentOnArbitrary
, reflexiveOnElem
, reflexivityOnGen
, reflexivityOnValid
, reflexivity
, reflexivityOnArbitrary
, transitiveOnElems
, transitivityOnGens
, transitivityOnValid
, transitivity
, transitivityOnArbitrary
, antisymmetricOnElemsWithEquality
, antisymmetryOnGensWithEquality
, antisymmetryOnGensEq
, antisymmetryOnValid
, antisymmetry
, antisymmetryOnArbitrary
, symmetricOnElems
, symmetryOnGens
, symmetryOnValid
, symmetry
, symmetryOnArbitrary
, leftIdentityOnElemWithEquality
, leftIdentityOnGenWithEquality
, leftIdentityOnGen
, leftIdentityOnValid
, leftIdentity
, rightIdentityOnElemWithEquality
, rightIdentityOnGenWithEquality
, rightIdentityOnGen
, rightIdentityOnValid
, rightIdentity
, identityOnGen
, identityOnValid
, identity
, associativeOnGens
, associativeOnValids
, associative
, associativeOnArbitrary
, commutativeOnGens
, commutativeOnValids
, commutative
, commutativeOnArbitrary
, eqSpec
, ordSpec
) where
import Data.GenValidity
import Data.Data
import Test.Validity.Arbitrary
import Test.Validity.Eq
import Test.Validity.Functions
import Test.Validity.GenRelativeValidity
import Test.Validity.GenValidity
import Test.Validity.Operations
import Test.Validity.Ord
import Test.Validity.Relations
import Test.Validity.RelativeValidity
import Test.Validity.Types