genvalidity-hspec 0.6.2.0 → 0.6.2.1

raw patch · 9 files changed

+31/−28 lines, 9 filesdep ~genvaliditydep ~genvalidity-propertydep ~validityPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: genvalidity, genvalidity-property, validity

API changes (from Hackage documentation)

- Test.Validity: antireflexiveOnElem :: () => a -> a -> Bool -> a -> Bool

+ Test.Validity: antireflexiveOnElem :: () => (a -> a -> Bool) -> a -> Bool

- Test.Validity: antireflexivity :: (Show a, GenUnchecked a) => a -> a -> Bool -> Property

+ Test.Validity: antireflexivity :: (Show a, GenUnchecked a) => (a -> a -> Bool) -> Property

- Test.Validity: antireflexivityOnArbitrary :: (Show a, Arbitrary a) => a -> a -> Bool -> Property

+ Test.Validity: antireflexivityOnArbitrary :: (Show a, Arbitrary a) => (a -> a -> Bool) -> Property

- Test.Validity: antireflexivityOnGen :: Show a => a -> a -> Bool -> Gen a -> a -> [a] -> Property

+ Test.Validity: antireflexivityOnGen :: Show a => (a -> a -> Bool) -> Gen a -> (a -> [a]) -> Property

- Test.Validity: antireflexivityOnValid :: (Show a, GenValid a) => a -> a -> Bool -> Property

+ Test.Validity: antireflexivityOnValid :: (Show a, GenValid a) => (a -> a -> Bool) -> Property

- Test.Validity: antisymmetricOnElemsWithEquality :: () => a -> a -> Bool -> a -> a -> Bool -> a -> a -> Bool

+ Test.Validity: antisymmetricOnElemsWithEquality :: () => (a -> a -> Bool) -> (a -> a -> Bool) -> a -> a -> Bool

- Test.Validity: antisymmetry :: (Show a, Eq a, GenUnchecked a) => a -> a -> Bool -> Property

+ Test.Validity: antisymmetry :: (Show a, Eq a, GenUnchecked a) => (a -> a -> Bool) -> Property

- Test.Validity: antisymmetryOnArbitrary :: (Show a, Eq a, Arbitrary a) => a -> a -> Bool -> Property

+ Test.Validity: antisymmetryOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> a -> Bool) -> Property

- Test.Validity: antisymmetryOnGens :: (Show a, Eq a) => a -> a -> Bool -> Gen (a, a) -> a -> [a] -> Property

+ Test.Validity: antisymmetryOnGens :: (Show a, Eq a) => (a -> a -> Bool) -> Gen (a, a) -> (a -> [a]) -> Property

- Test.Validity: antisymmetryOnGensWithEquality :: Show a => a -> a -> Bool -> Gen (a, a) -> a -> a -> Bool -> a -> [a] -> Property

+ Test.Validity: antisymmetryOnGensWithEquality :: Show a => (a -> a -> Bool) -> Gen (a, a) -> (a -> a -> Bool) -> (a -> [a]) -> Property

- Test.Validity: antisymmetryOnValid :: (Show a, Eq a, GenValid a) => a -> a -> Bool -> Property

+ Test.Validity: antisymmetryOnValid :: (Show a, Eq a, GenValid a) => (a -> a -> Bool) -> Property

- Test.Validity: associative :: (Show a, Eq a, GenUnchecked a) => a -> a -> a -> Property

+ Test.Validity: associative :: (Show a, Eq a, GenUnchecked a) => (a -> a -> a) -> Property

- Test.Validity: associativeOnArbitrary :: (Show a, Eq a, Arbitrary a) => a -> a -> a -> Property

+ Test.Validity: associativeOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> a -> a) -> Property

- Test.Validity: associativeOnGens :: (Show a, Eq a) => a -> a -> a -> Gen (a, a, a) -> (a, a, a) -> [(a, a, a)] -> Property

+ Test.Validity: associativeOnGens :: (Show a, Eq a) => (a -> a -> a) -> Gen (a, a, a) -> ((a, a, a) -> [(a, a, a)]) -> Property

- Test.Validity: associativeOnValids :: (Show a, Eq a, GenValid a) => a -> a -> a -> Property

+ Test.Validity: associativeOnValids :: (Show a, Eq a, GenValid a) => (a -> a -> a) -> Property

- Test.Validity: class CanFail (f :: * -> *)

+ Test.Validity: class CanFail (f :: Type -> Type)

- Test.Validity: commutative :: (Show a, Eq a, GenUnchecked a) => a -> a -> a -> Property

+ Test.Validity: commutative :: (Show a, Eq a, GenUnchecked a) => (a -> a -> a) -> Property

- Test.Validity: commutativeOnArbitrary :: (Show a, Eq a, Arbitrary a) => a -> a -> a -> Property

+ Test.Validity: commutativeOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> a -> a) -> Property

- Test.Validity: commutativeOnGens :: (Show a, Eq a) => a -> a -> a -> Gen (a, a) -> (a, a) -> [(a, a)] -> Property

+ Test.Validity: commutativeOnGens :: (Show a, Eq a) => (a -> a -> a) -> Gen (a, a) -> ((a, a) -> [(a, a)]) -> Property

- Test.Validity: commutativeOnValids :: (Show a, Eq a, GenValid a) => a -> a -> a -> Property

+ Test.Validity: commutativeOnValids :: (Show a, Eq a, GenValid a) => (a -> a -> a) -> Property

- Test.Validity: equivalent :: (Show a, Eq a, GenUnchecked a, Show b, Eq b) => a -> b -> a -> b -> Property

+ Test.Validity: equivalent :: (Show a, Eq a, GenUnchecked a, Show b, Eq b) => (a -> b) -> (a -> b) -> Property

- Test.Validity: equivalent2 :: (Show a, GenUnchecked a, Show b, GenUnchecked b, Show c, Eq c) => a -> b -> c -> a -> b -> c -> Property

+ Test.Validity: equivalent2 :: (Show a, GenUnchecked a, Show b, GenUnchecked b, Show c, Eq c) => (a -> b -> c) -> (a -> b -> c) -> Property

- Test.Validity: equivalent3 :: (Show a, GenUnchecked a, Show b, GenUnchecked b, Show c, GenUnchecked c, Show d, Eq d) => a -> b -> c -> d -> a -> b -> c -> d -> Property

+ Test.Validity: equivalent3 :: (Show a, GenUnchecked a, Show b, GenUnchecked b, Show c, GenUnchecked c, Show d, Eq d) => (a -> b -> c -> d) -> (a -> b -> c -> d) -> Property

- Test.Validity: equivalentOnArbitrary :: (Show a, Eq a, Arbitrary a, Show b, Eq b) => a -> b -> a -> b -> Property

+ Test.Validity: equivalentOnArbitrary :: (Show a, Eq a, Arbitrary a, Show b, Eq b) => (a -> b) -> (a -> b) -> Property

- Test.Validity: equivalentOnArbitrary2 :: (Show a, Arbitrary a, Show b, Arbitrary b, Show c, Eq c) => a -> b -> c -> a -> b -> c -> Property

+ Test.Validity: equivalentOnArbitrary2 :: (Show a, Arbitrary a, Show b, Arbitrary b, Show c, Eq c) => (a -> b -> c) -> (a -> b -> c) -> Property

- Test.Validity: equivalentOnArbitrary3 :: (Show a, Arbitrary a, Show b, Arbitrary b, Show c, Arbitrary c, Show d, Eq d) => a -> b -> c -> d -> a -> b -> c -> d -> Property

+ Test.Validity: equivalentOnArbitrary3 :: (Show a, Arbitrary a, Show b, Arbitrary b, Show c, Arbitrary c, Show d, Eq d) => (a -> b -> c -> d) -> (a -> b -> c -> d) -> Property

- Test.Validity: equivalentOnGen :: (Show a, Eq a, Show b, Eq b) => a -> b -> a -> b -> Gen a -> a -> [a] -> Property

+ Test.Validity: equivalentOnGen :: (Show a, Eq a, Show b, Eq b) => (a -> b) -> (a -> b) -> Gen a -> (a -> [a]) -> Property

- Test.Validity: equivalentOnGens2 :: (Show a, Show b, Show c, Eq c) => a -> b -> c -> a -> b -> c -> Gen (a, b) -> (a, b) -> [(a, b)] -> Property

+ Test.Validity: equivalentOnGens2 :: (Show a, Show b, Show c, Eq c) => (a -> b -> c) -> (a -> b -> c) -> Gen (a, b) -> ((a, b) -> [(a, b)]) -> Property

- Test.Validity: equivalentOnGens3 :: (Show a, Show b, Show c, Show d, Eq d) => a -> b -> c -> d -> a -> b -> c -> d -> Gen (a, b, c) -> (a, b, c) -> [(a, b, c)] -> Property

+ Test.Validity: equivalentOnGens3 :: (Show a, Show b, Show c, Show d, Eq d) => (a -> b -> c -> d) -> (a -> b -> c -> d) -> Gen (a, b, c) -> ((a, b, c) -> [(a, b, c)]) -> Property

- Test.Validity: equivalentOnValid :: (Show a, Eq a, GenValid a, Show b, Eq b) => a -> b -> a -> b -> Property

+ Test.Validity: equivalentOnValid :: (Show a, Eq a, GenValid a, Show b, Eq b) => (a -> b) -> (a -> b) -> Property

- Test.Validity: equivalentOnValids2 :: (Show a, GenValid a, Show b, GenValid b, Show c, Eq c) => a -> b -> c -> a -> b -> c -> Property

+ Test.Validity: equivalentOnValids2 :: (Show a, GenValid a, Show b, GenValid b, Show c, Eq c) => (a -> b -> c) -> (a -> b -> c) -> Property

- Test.Validity: equivalentOnValids3 :: (Show a, GenValid a, Show b, GenValid b, Show c, GenValid c, Show d, Eq d) => a -> b -> c -> d -> a -> b -> c -> d -> Property

+ Test.Validity: equivalentOnValids3 :: (Show a, GenValid a, Show b, GenValid b, Show c, GenValid c, Show d, Eq d) => (a -> b -> c -> d) -> (a -> b -> c -> d) -> Property

- Test.Validity: equivalentWhenFirstSucceeds :: (Show a, Eq a, GenUnchecked a, Show b, Eq b, CanFail f) => a -> f b -> a -> b -> Property

+ Test.Validity: equivalentWhenFirstSucceeds :: (Show a, Eq a, GenUnchecked a, Show b, Eq b, CanFail f) => (a -> f b) -> (a -> b) -> Property

- Test.Validity: equivalentWhenFirstSucceeds2 :: (Show a, Eq a, GenUnchecked a, Show b, Eq b, GenUnchecked b, Show c, Eq c, CanFail f) => a -> b -> f c -> a -> b -> c -> Property

+ Test.Validity: equivalentWhenFirstSucceeds2 :: (Show a, Eq a, GenUnchecked a, Show b, Eq b, GenUnchecked b, Show c, Eq c, CanFail f) => (a -> b -> f c) -> (a -> b -> c) -> Property

- Test.Validity: equivalentWhenFirstSucceedsOnArbitrary :: (Show a, Eq a, Arbitrary a, Show b, Eq b, CanFail f) => a -> f b -> a -> b -> Property

+ Test.Validity: equivalentWhenFirstSucceedsOnArbitrary :: (Show a, Eq a, Arbitrary a, Show b, Eq b, CanFail f) => (a -> f b) -> (a -> b) -> Property

- Test.Validity: equivalentWhenFirstSucceedsOnArbitrary2 :: (Show a, Eq a, Arbitrary a, Show b, Eq b, Arbitrary b, Show c, Eq c, CanFail f) => a -> b -> f c -> a -> b -> c -> Property

+ Test.Validity: equivalentWhenFirstSucceedsOnArbitrary2 :: (Show a, Eq a, Arbitrary a, Show b, Eq b, Arbitrary b, Show c, Eq c, CanFail f) => (a -> b -> f c) -> (a -> b -> c) -> Property

- Test.Validity: equivalentWhenFirstSucceedsOnGen :: (Show a, Eq a, Show b, Eq b, CanFail f) => a -> f b -> a -> b -> Gen a -> a -> [a] -> Property

+ Test.Validity: equivalentWhenFirstSucceedsOnGen :: (Show a, Eq a, Show b, Eq b, CanFail f) => (a -> f b) -> (a -> b) -> Gen a -> (a -> [a]) -> Property

- Test.Validity: equivalentWhenFirstSucceedsOnGens2 :: (Show a, Eq a, Show b, Eq b, Show c, Eq c, CanFail f) => a -> b -> f c -> a -> b -> c -> Gen (a, b) -> (a, b) -> [(a, b)] -> Property

+ Test.Validity: equivalentWhenFirstSucceedsOnGens2 :: (Show a, Eq a, Show b, Eq b, Show c, Eq c, CanFail f) => (a -> b -> f c) -> (a -> b -> c) -> Gen (a, b) -> ((a, b) -> [(a, b)]) -> Property

- Test.Validity: equivalentWhenFirstSucceedsOnValid :: (Show a, Eq a, GenValid a, Show b, Eq b, CanFail f) => a -> f b -> a -> b -> Property

+ Test.Validity: equivalentWhenFirstSucceedsOnValid :: (Show a, Eq a, GenValid a, Show b, Eq b, CanFail f) => (a -> f b) -> (a -> b) -> Property

- Test.Validity: equivalentWhenFirstSucceedsOnValids2 :: (Show a, Eq a, GenValid a, Show b, Eq b, GenValid b, Show c, Eq c, CanFail f) => a -> b -> f c -> a -> b -> c -> Property

+ Test.Validity: equivalentWhenFirstSucceedsOnValids2 :: (Show a, Eq a, GenValid a, Show b, Eq b, GenValid b, Show c, Eq c, CanFail f) => (a -> b -> f c) -> (a -> b -> c) -> Property

- Test.Validity: equivalentWhenSecondSucceeds :: (Show a, Eq a, GenUnchecked a, Show b, Eq b, CanFail f) => a -> b -> a -> f b -> Property

+ Test.Validity: equivalentWhenSecondSucceeds :: (Show a, Eq a, GenUnchecked a, Show b, Eq b, CanFail f) => (a -> b) -> (a -> f b) -> Property

- Test.Validity: equivalentWhenSecondSucceeds2 :: (Show a, Eq a, GenUnchecked a, Show b, Eq b, GenUnchecked b, Show c, Eq c, CanFail f) => a -> b -> c -> a -> b -> f c -> Property

+ Test.Validity: equivalentWhenSecondSucceeds2 :: (Show a, Eq a, GenUnchecked a, Show b, Eq b, GenUnchecked b, Show c, Eq c, CanFail f) => (a -> b -> c) -> (a -> b -> f c) -> Property

- Test.Validity: equivalentWhenSecondSucceedsOnArbitrary :: (Show a, Eq a, Arbitrary a, Show b, Eq b, CanFail f) => a -> b -> a -> f b -> Property

+ Test.Validity: equivalentWhenSecondSucceedsOnArbitrary :: (Show a, Eq a, Arbitrary a, Show b, Eq b, CanFail f) => (a -> b) -> (a -> f b) -> Property

- Test.Validity: equivalentWhenSecondSucceedsOnArbitrary2 :: (Show a, Eq a, Arbitrary a, Show b, Eq b, Arbitrary b, Show c, Eq c, CanFail f) => a -> b -> c -> a -> b -> f c -> Property

+ Test.Validity: equivalentWhenSecondSucceedsOnArbitrary2 :: (Show a, Eq a, Arbitrary a, Show b, Eq b, Arbitrary b, Show c, Eq c, CanFail f) => (a -> b -> c) -> (a -> b -> f c) -> Property

- Test.Validity: equivalentWhenSecondSucceedsOnGen :: (Show a, Eq a, Show b, Eq b, CanFail f) => a -> b -> a -> f b -> Gen a -> a -> [a] -> Property

+ Test.Validity: equivalentWhenSecondSucceedsOnGen :: (Show a, Eq a, Show b, Eq b, CanFail f) => (a -> b) -> (a -> f b) -> Gen a -> (a -> [a]) -> Property

- Test.Validity: equivalentWhenSecondSucceedsOnGens2 :: (Show a, Eq a, Show b, Eq b, Show c, Eq c, CanFail f) => a -> b -> c -> a -> b -> f c -> Gen (a, b) -> (a, b) -> [(a, b)] -> Property

+ Test.Validity: equivalentWhenSecondSucceedsOnGens2 :: (Show a, Eq a, Show b, Eq b, Show c, Eq c, CanFail f) => (a -> b -> c) -> (a -> b -> f c) -> Gen (a, b) -> ((a, b) -> [(a, b)]) -> Property

- Test.Validity: equivalentWhenSecondSucceedsOnValid :: (Show a, Eq a, GenValid a, Show b, Eq b, CanFail f) => a -> b -> a -> f b -> Property

+ Test.Validity: equivalentWhenSecondSucceedsOnValid :: (Show a, Eq a, GenValid a, Show b, Eq b, CanFail f) => (a -> b) -> (a -> f b) -> Property

- Test.Validity: equivalentWhenSecondSucceedsOnValids2 :: (Show a, Eq a, GenValid a, Show b, Eq b, GenValid b, Show c, Eq c, CanFail f) => a -> b -> c -> a -> b -> f c -> Property

+ Test.Validity: equivalentWhenSecondSucceedsOnValids2 :: (Show a, Eq a, GenValid a, Show b, Eq b, GenValid b, Show c, Eq c, CanFail f) => (a -> b -> c) -> (a -> b -> f c) -> Property

- Test.Validity: equivalentWhenSucceed :: (Show a, Eq a, GenUnchecked a, Show b, Eq b, CanFail f) => a -> f b -> a -> f b -> Property

+ Test.Validity: equivalentWhenSucceed :: (Show a, Eq a, GenUnchecked a, Show b, Eq b, CanFail f) => (a -> f b) -> (a -> f b) -> Property

- Test.Validity: equivalentWhenSucceed2 :: (Show a, Eq a, GenUnchecked a, Show b, Eq b, GenUnchecked b, Show c, Eq c, CanFail f) => a -> b -> f c -> a -> b -> f c -> Property

+ Test.Validity: equivalentWhenSucceed2 :: (Show a, Eq a, GenUnchecked a, Show b, Eq b, GenUnchecked b, Show c, Eq c, CanFail f) => (a -> b -> f c) -> (a -> b -> f c) -> Property

- Test.Validity: equivalentWhenSucceedOnArbitrary :: (Show a, Eq a, Arbitrary a, Show b, Eq b, CanFail f) => a -> f b -> a -> f b -> Property

+ Test.Validity: equivalentWhenSucceedOnArbitrary :: (Show a, Eq a, Arbitrary a, Show b, Eq b, CanFail f) => (a -> f b) -> (a -> f b) -> Property

- Test.Validity: equivalentWhenSucceedOnArbitrary2 :: (Show a, Eq a, Arbitrary a, Show b, Eq b, Arbitrary b, Show c, Eq c, CanFail f) => a -> b -> f c -> a -> b -> f c -> Property

+ Test.Validity: equivalentWhenSucceedOnArbitrary2 :: (Show a, Eq a, Arbitrary a, Show b, Eq b, Arbitrary b, Show c, Eq c, CanFail f) => (a -> b -> f c) -> (a -> b -> f c) -> Property

- Test.Validity: equivalentWhenSucceedOnGen :: (Show a, Eq a, Show b, Eq b, CanFail f) => a -> f b -> a -> f b -> Gen a -> a -> [a] -> Property

+ Test.Validity: equivalentWhenSucceedOnGen :: (Show a, Eq a, Show b, Eq b, CanFail f) => (a -> f b) -> (a -> f b) -> Gen a -> (a -> [a]) -> Property

- Test.Validity: equivalentWhenSucceedOnGens2 :: (Show a, Eq a, Show b, Eq b, Show c, Eq c, CanFail f) => a -> b -> f c -> a -> b -> f c -> Gen (a, b) -> (a, b) -> [(a, b)] -> Property

+ Test.Validity: equivalentWhenSucceedOnGens2 :: (Show a, Eq a, Show b, Eq b, Show c, Eq c, CanFail f) => (a -> b -> f c) -> (a -> b -> f c) -> Gen (a, b) -> ((a, b) -> [(a, b)]) -> Property

- Test.Validity: equivalentWhenSucceedOnValid :: (Show a, Eq a, GenValid a, Show b, Eq b, CanFail f) => a -> f b -> a -> f b -> Property

+ Test.Validity: equivalentWhenSucceedOnValid :: (Show a, Eq a, GenValid a, Show b, Eq b, CanFail f) => (a -> f b) -> (a -> f b) -> Property

- Test.Validity: equivalentWhenSucceedOnValids2 :: (Show a, Eq a, GenValid a, Show b, Eq b, GenValid b, Show c, Eq c, CanFail f) => a -> b -> f c -> a -> b -> f c -> Property

+ Test.Validity: equivalentWhenSucceedOnValids2 :: (Show a, Eq a, GenValid a, Show b, Eq b, GenValid b, Show c, Eq c, CanFail f) => (a -> b -> f c) -> (a -> b -> f c) -> Property

- Test.Validity: failsOnGen :: (Show a, Show b, Show f b, CanFail f) => a -> f b -> Gen a -> a -> [a] -> Property

+ Test.Validity: failsOnGen :: (Show a, Show b, Show (f b), CanFail f) => (a -> f b) -> Gen a -> (a -> [a]) -> Property

- Test.Validity: failsOnGens2 :: (Show a, Show b, Show c, Show f c, CanFail f) => a -> b -> f c -> Gen a -> a -> [a] -> Gen b -> b -> [b] -> Property

+ Test.Validity: failsOnGens2 :: (Show a, Show b, Show c, Show (f c), CanFail f) => (a -> b -> f c) -> Gen a -> (a -> [a]) -> Gen b -> (b -> [b]) -> Property

- Test.Validity: failsOnInvalid :: (Show a, Show b, Show f b, GenInvalid a, CanFail f) => a -> f b -> Property

+ Test.Validity: failsOnInvalid :: (Show a, Show b, Show (f b), GenInvalid a, CanFail f) => (a -> f b) -> Property

- Test.Validity: failsOnInvalid2 :: (Show a, Show b, Show c, Show f c, GenInvalid a, GenInvalid b, CanFail f) => a -> b -> f c -> Property

+ Test.Validity: failsOnInvalid2 :: (Show a, Show b, Show c, Show (f c), GenInvalid a, GenInvalid b, CanFail f) => (a -> b -> f c) -> Property

- Test.Validity: forAllInvalid :: (Show a, GenInvalid a, Testable prop) => a -> prop -> Property

+ Test.Validity: forAllInvalid :: (Show a, GenInvalid a, Testable prop) => (a -> prop) -> Property

- Test.Validity: forAllUnchecked :: (Show a, GenUnchecked a, Testable prop) => a -> prop -> Property

+ Test.Validity: forAllUnchecked :: (Show a, GenUnchecked a, Testable prop) => (a -> prop) -> Property

- Test.Validity: forAllValid :: (Show a, GenValid a, Testable prop) => a -> prop -> Property

+ Test.Validity: forAllValid :: (Show a, GenValid a, Testable prop) => (a -> prop) -> Property

- Test.Validity: genGeneratesInvalid :: (Show a, Validity a) => Gen a -> a -> [a] -> Property

+ Test.Validity: genGeneratesInvalid :: (Show a, Validity a) => Gen a -> (a -> [a]) -> Property

- Test.Validity: genGeneratesValid :: (Show a, Validity a) => Gen a -> a -> [a] -> Property

+ Test.Validity: genGeneratesValid :: (Show a, Validity a) => Gen a -> (a -> [a]) -> Property

- Test.Validity: idempotent :: (Show a, Eq a, GenUnchecked a) => a -> a -> Property

+ Test.Validity: idempotent :: (Show a, Eq a, GenUnchecked a) => (a -> a) -> Property

- Test.Validity: idempotentOnArbitrary :: (Show a, Eq a, Arbitrary a) => a -> a -> Property

+ Test.Validity: idempotentOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> a) -> Property

- Test.Validity: idempotentOnGen :: (Show a, Eq a) => a -> a -> Gen a -> a -> [a] -> Property

+ Test.Validity: idempotentOnGen :: (Show a, Eq a) => (a -> a) -> Gen a -> (a -> [a]) -> Property

- Test.Validity: idempotentOnValid :: (Show a, Eq a, GenValid a) => a -> a -> Property

+ Test.Validity: idempotentOnValid :: (Show a, Eq a, GenValid a) => (a -> a) -> Property

- Test.Validity: identity :: (Show a, Eq a, GenUnchecked a) => a -> a -> a -> a -> Property

+ Test.Validity: identity :: (Show a, Eq a, GenUnchecked a) => (a -> a -> a) -> a -> Property

- Test.Validity: identityOnArbitrary :: (Show a, Eq a, Arbitrary a) => a -> a -> a -> a -> Property

+ Test.Validity: identityOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> a -> a) -> a -> Property

- Test.Validity: identityOnGen :: (Show a, Eq a) => a -> a -> a -> a -> Gen a -> a -> [a] -> Property

+ Test.Validity: identityOnGen :: (Show a, Eq a) => (a -> a -> a) -> a -> Gen a -> (a -> [a]) -> Property

- Test.Validity: identityOnValid :: (Show a, Eq a, GenValid a) => a -> a -> a -> a -> Property

+ Test.Validity: identityOnValid :: (Show a, Eq a, GenValid a) => (a -> a -> a) -> a -> Property

- Test.Validity: inverseFunctions :: (Show a, Eq a, GenUnchecked a) => a -> b -> b -> a -> Property

+ Test.Validity: inverseFunctions :: (Show a, Eq a, GenUnchecked a) => (a -> b) -> (b -> a) -> Property

- Test.Validity: inverseFunctionsIfFirstSucceeds :: (Show a, Eq a, GenUnchecked a, CanFail f) => a -> f b -> b -> a -> Property

+ Test.Validity: inverseFunctionsIfFirstSucceeds :: (Show a, Eq a, GenUnchecked a, CanFail f) => (a -> f b) -> (b -> a) -> Property

- Test.Validity: inverseFunctionsIfFirstSucceedsOnArbitrary :: (Show a, Eq a, Arbitrary a, CanFail f) => a -> f b -> b -> a -> Property

+ Test.Validity: inverseFunctionsIfFirstSucceedsOnArbitrary :: (Show a, Eq a, Arbitrary a, CanFail f) => (a -> f b) -> (b -> a) -> Property

- Test.Validity: inverseFunctionsIfFirstSucceedsOnGen :: (Show a, Eq a, CanFail f) => a -> f b -> b -> a -> Gen a -> a -> [a] -> Property

+ Test.Validity: inverseFunctionsIfFirstSucceedsOnGen :: (Show a, Eq a, CanFail f) => (a -> f b) -> (b -> a) -> Gen a -> (a -> [a]) -> Property

- Test.Validity: inverseFunctionsIfFirstSucceedsOnValid :: (Show a, Eq a, GenValid a, CanFail f) => a -> f b -> b -> a -> Property

+ Test.Validity: inverseFunctionsIfFirstSucceedsOnValid :: (Show a, Eq a, GenValid a, CanFail f) => (a -> f b) -> (b -> a) -> Property

- Test.Validity: inverseFunctionsIfSecondSucceeds :: (Show a, Eq a, GenUnchecked a, CanFail f) => a -> b -> b -> f a -> Property

+ Test.Validity: inverseFunctionsIfSecondSucceeds :: (Show a, Eq a, GenUnchecked a, CanFail f) => (a -> b) -> (b -> f a) -> Property

- Test.Validity: inverseFunctionsIfSecondSucceedsOnArbitrary :: (Show a, Eq a, Arbitrary a, CanFail f) => a -> b -> b -> f a -> Property

+ Test.Validity: inverseFunctionsIfSecondSucceedsOnArbitrary :: (Show a, Eq a, Arbitrary a, CanFail f) => (a -> b) -> (b -> f a) -> Property

- Test.Validity: inverseFunctionsIfSecondSucceedsOnGen :: (Show a, Eq a, CanFail f) => a -> b -> b -> f a -> Gen a -> a -> [a] -> Property

+ Test.Validity: inverseFunctionsIfSecondSucceedsOnGen :: (Show a, Eq a, CanFail f) => (a -> b) -> (b -> f a) -> Gen a -> (a -> [a]) -> Property

- Test.Validity: inverseFunctionsIfSecondSucceedsOnValid :: (Show a, Eq a, GenValid a, CanFail f) => a -> b -> b -> f a -> Property

+ Test.Validity: inverseFunctionsIfSecondSucceedsOnValid :: (Show a, Eq a, GenValid a, CanFail f) => (a -> b) -> (b -> f a) -> Property

- Test.Validity: inverseFunctionsIfSucceed :: (Show a, Eq a, GenUnchecked a, CanFail f, CanFail g) => a -> f b -> b -> g a -> Property

+ Test.Validity: inverseFunctionsIfSucceed :: (Show a, Eq a, GenUnchecked a, CanFail f, CanFail g) => (a -> f b) -> (b -> g a) -> Property

- Test.Validity: inverseFunctionsIfSucceedOnArbitrary :: (Show a, Eq a, Arbitrary a, CanFail f, CanFail g) => a -> f b -> b -> g a -> Property

+ Test.Validity: inverseFunctionsIfSucceedOnArbitrary :: (Show a, Eq a, Arbitrary a, CanFail f, CanFail g) => (a -> f b) -> (b -> g a) -> Property

- Test.Validity: inverseFunctionsIfSucceedOnGen :: (Show a, Eq a, CanFail f, CanFail g) => a -> f b -> b -> g a -> Gen a -> a -> [a] -> Property

+ Test.Validity: inverseFunctionsIfSucceedOnGen :: (Show a, Eq a, CanFail f, CanFail g) => (a -> f b) -> (b -> g a) -> Gen a -> (a -> [a]) -> Property

- Test.Validity: inverseFunctionsIfSucceedOnValid :: (Show a, Eq a, GenValid a, CanFail f, CanFail g) => a -> f b -> b -> g a -> Property

+ Test.Validity: inverseFunctionsIfSucceedOnValid :: (Show a, Eq a, GenValid a, CanFail f, CanFail g) => (a -> f b) -> (b -> g a) -> Property

- Test.Validity: inverseFunctionsOnArbitrary :: (Show a, Eq a, Arbitrary a) => a -> b -> b -> a -> Property

+ Test.Validity: inverseFunctionsOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> b) -> (b -> a) -> Property

- Test.Validity: inverseFunctionsOnGen :: (Show a, Eq a) => a -> b -> b -> a -> Gen a -> a -> [a] -> Property

+ Test.Validity: inverseFunctionsOnGen :: (Show a, Eq a) => (a -> b) -> (b -> a) -> Gen a -> (a -> [a]) -> Property

- Test.Validity: inverseFunctionsOnValid :: (Show a, Eq a, GenValid a) => a -> b -> b -> a -> Property

+ Test.Validity: inverseFunctionsOnValid :: (Show a, Eq a, GenValid a) => (a -> b) -> (b -> a) -> Property

- Test.Validity: leftIdentity :: (Show a, Eq a, GenUnchecked a) => b -> a -> a -> b -> Property

+ Test.Validity: leftIdentity :: (Show a, Eq a, GenUnchecked a) => (b -> a -> a) -> b -> Property

- Test.Validity: leftIdentityOnArbitrary :: (Show a, Eq a, Arbitrary a) => b -> a -> a -> b -> Property

+ Test.Validity: leftIdentityOnArbitrary :: (Show a, Eq a, Arbitrary a) => (b -> a -> a) -> b -> Property

- Test.Validity: leftIdentityOnElemWithEquality :: () => b -> a -> a -> a -> a -> Bool -> b -> a -> Bool

+ Test.Validity: leftIdentityOnElemWithEquality :: () => (b -> a -> a) -> (a -> a -> Bool) -> b -> a -> Bool

- Test.Validity: leftIdentityOnGen :: (Show a, Eq a) => b -> a -> a -> b -> Gen a -> a -> [a] -> Property

+ Test.Validity: leftIdentityOnGen :: (Show a, Eq a) => (b -> a -> a) -> b -> Gen a -> (a -> [a]) -> Property

- Test.Validity: leftIdentityOnGenWithEquality :: Show a => b -> a -> a -> a -> a -> Bool -> b -> Gen a -> a -> [a] -> Property

+ Test.Validity: leftIdentityOnGenWithEquality :: Show a => (b -> a -> a) -> (a -> a -> Bool) -> b -> Gen a -> (a -> [a]) -> Property

- Test.Validity: leftIdentityOnValid :: (Show a, Eq a, GenValid a) => b -> a -> a -> b -> Property

+ Test.Validity: leftIdentityOnValid :: (Show a, Eq a, GenValid a) => (b -> a -> a) -> b -> Property

- Test.Validity: producesValid :: (Show a, Show b, GenUnchecked a, Validity b) => a -> b -> Property

+ Test.Validity: producesValid :: (Show a, Show b, GenUnchecked a, Validity b) => (a -> b) -> Property

- Test.Validity: producesValid2 :: (Show a, Show b, Show c, GenUnchecked a, GenUnchecked b, Validity c) => a -> b -> c -> Property

+ Test.Validity: producesValid2 :: (Show a, Show b, Show c, GenUnchecked a, GenUnchecked b, Validity c) => (a -> b -> c) -> Property

- Test.Validity: producesValid3 :: (Show a, Show b, Show c, Show d, GenUnchecked a, GenUnchecked b, GenUnchecked c, Validity d) => a -> b -> c -> d -> Property

+ Test.Validity: producesValid3 :: (Show a, Show b, Show c, Show d, GenUnchecked a, GenUnchecked b, GenUnchecked c, Validity d) => (a -> b -> c -> d) -> Property

- Test.Validity: producesValidsOnArbitrary :: (Show a, Show b, Arbitrary a, Validity b) => a -> b -> Property

+ Test.Validity: producesValidsOnArbitrary :: (Show a, Show b, Arbitrary a, Validity b) => (a -> b) -> Property

- Test.Validity: producesValidsOnArbitrary2 :: (Show a, Show b, Show c, Arbitrary a, Arbitrary b, Validity c) => a -> b -> c -> Property

+ Test.Validity: producesValidsOnArbitrary2 :: (Show a, Show b, Show c, Arbitrary a, Arbitrary b, Validity c) => (a -> b -> c) -> Property

- Test.Validity: producesValidsOnArbitrary3 :: (Show a, Show b, Show c, Show d, Arbitrary a, Arbitrary b, Arbitrary c, Validity d) => a -> b -> c -> d -> Property

+ Test.Validity: producesValidsOnArbitrary3 :: (Show a, Show b, Show c, Show d, Arbitrary a, Arbitrary b, Arbitrary c, Validity d) => (a -> b -> c -> d) -> Property

- Test.Validity: producesValidsOnGen :: (Show a, Show b, Validity b) => a -> b -> Gen a -> a -> [a] -> Property

+ Test.Validity: producesValidsOnGen :: (Show a, Show b, Validity b) => (a -> b) -> Gen a -> (a -> [a]) -> Property

- Test.Validity: producesValidsOnGens2 :: (Show a, Show b, Show c, Validity c) => a -> b -> c -> Gen (a, b) -> (a, b) -> [(a, b)] -> Property

+ Test.Validity: producesValidsOnGens2 :: (Show a, Show b, Show c, Validity c) => (a -> b -> c) -> Gen (a, b) -> ((a, b) -> [(a, b)]) -> Property

- Test.Validity: producesValidsOnGens3 :: (Show a, Show b, Show c, Show d, Validity d) => a -> b -> c -> d -> Gen (a, b, c) -> (a, b, c) -> [(a, b, c)] -> Property

+ Test.Validity: producesValidsOnGens3 :: (Show a, Show b, Show c, Show d, Validity d) => (a -> b -> c -> d) -> Gen (a, b, c) -> ((a, b, c) -> [(a, b, c)]) -> Property

- Test.Validity: producesValidsOnValids :: (Show a, Show b, GenValid a, Validity b) => a -> b -> Property

+ Test.Validity: producesValidsOnValids :: (Show a, Show b, GenValid a, Validity b) => (a -> b) -> Property

- Test.Validity: producesValidsOnValids2 :: (Show a, Show b, Show c, GenValid a, GenValid b, Validity c) => a -> b -> c -> Property

+ Test.Validity: producesValidsOnValids2 :: (Show a, Show b, Show c, GenValid a, GenValid b, Validity c) => (a -> b -> c) -> Property

- Test.Validity: producesValidsOnValids3 :: (Show a, Show b, Show c, Show d, GenValid a, GenValid b, GenValid c, Validity d) => a -> b -> c -> d -> Property

+ Test.Validity: producesValidsOnValids3 :: (Show a, Show b, Show c, Show d, GenValid a, GenValid b, GenValid c, Validity d) => (a -> b -> c -> d) -> Property

- Test.Validity: reflexiveOnElem :: () => a -> a -> Bool -> a -> Bool

+ Test.Validity: reflexiveOnElem :: () => (a -> a -> Bool) -> a -> Bool

- Test.Validity: reflexivity :: (Show a, GenUnchecked a) => a -> a -> Bool -> Property

+ Test.Validity: reflexivity :: (Show a, GenUnchecked a) => (a -> a -> Bool) -> Property

- Test.Validity: reflexivityOnArbitrary :: (Show a, Arbitrary a) => a -> a -> Bool -> Property

+ Test.Validity: reflexivityOnArbitrary :: (Show a, Arbitrary a) => (a -> a -> Bool) -> Property

- Test.Validity: reflexivityOnGen :: Show a => a -> a -> Bool -> Gen a -> a -> [a] -> Property

+ Test.Validity: reflexivityOnGen :: Show a => (a -> a -> Bool) -> Gen a -> (a -> [a]) -> Property

- Test.Validity: reflexivityOnValid :: (Show a, GenValid a) => a -> a -> Bool -> Property

+ Test.Validity: reflexivityOnValid :: (Show a, GenValid a) => (a -> a -> Bool) -> Property

- Test.Validity: rightIdentity :: (Show a, Eq a, GenUnchecked a) => a -> b -> a -> b -> Property

+ Test.Validity: rightIdentity :: (Show a, Eq a, GenUnchecked a) => (a -> b -> a) -> b -> Property

- Test.Validity: rightIdentityOnArbitrary :: (Show a, Eq a, Arbitrary a) => a -> b -> a -> b -> Property

+ Test.Validity: rightIdentityOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> b -> a) -> b -> Property

- Test.Validity: rightIdentityOnElemWithEquality :: () => a -> b -> a -> a -> a -> Bool -> b -> a -> Bool

+ Test.Validity: rightIdentityOnElemWithEquality :: () => (a -> b -> a) -> (a -> a -> Bool) -> b -> a -> Bool

- Test.Validity: rightIdentityOnGen :: (Show a, Eq a) => a -> b -> a -> b -> Gen a -> a -> [a] -> Property

+ Test.Validity: rightIdentityOnGen :: (Show a, Eq a) => (a -> b -> a) -> b -> Gen a -> (a -> [a]) -> Property

- Test.Validity: rightIdentityOnGenWithEquality :: Show a => a -> b -> a -> a -> a -> Bool -> b -> Gen a -> a -> [a] -> Property

+ Test.Validity: rightIdentityOnGenWithEquality :: Show a => (a -> b -> a) -> (a -> a -> Bool) -> b -> Gen a -> (a -> [a]) -> Property

- Test.Validity: rightIdentityOnValid :: (Show a, Eq a, GenValid a) => a -> b -> a -> b -> Property

+ Test.Validity: rightIdentityOnValid :: (Show a, Eq a, GenValid a) => (a -> b -> a) -> b -> Property

- Test.Validity: shrinkPreservesInvalidOnGenInvalid :: (Show a, GenInvalid a) => a -> [a] -> Property

+ Test.Validity: shrinkPreservesInvalidOnGenInvalid :: (Show a, GenInvalid a) => (a -> [a]) -> Property

- Test.Validity: shrinkPreservesValidOnGenValid :: (Show a, GenValid a) => a -> [a] -> Property

+ Test.Validity: shrinkPreservesValidOnGenValid :: (Show a, GenValid a) => (a -> [a]) -> Property

- Test.Validity: shrinkingPreserves :: Show a => Gen a -> a -> [a] -> a -> Bool -> Property

+ Test.Validity: shrinkingPreserves :: Show a => Gen a -> (a -> [a]) -> (a -> Bool) -> Property

- Test.Validity: shrinkingStaysInvalid :: (Show a, Validity a) => Gen a -> a -> [a] -> Property

+ Test.Validity: shrinkingStaysInvalid :: (Show a, Validity a) => Gen a -> (a -> [a]) -> Property

- Test.Validity: shrinkingStaysValid :: (Show a, Validity a) => Gen a -> a -> [a] -> Property

+ Test.Validity: shrinkingStaysValid :: (Show a, Validity a) => Gen a -> (a -> [a]) -> Property

- Test.Validity: succeeds :: (Show a, Show b, Show f b, GenUnchecked a, CanFail f) => a -> f b -> Property

+ Test.Validity: succeeds :: (Show a, Show b, Show (f b), GenUnchecked a, CanFail f) => (a -> f b) -> Property

- Test.Validity: succeeds2 :: (Show a, Show b, Show c, Show f c, GenUnchecked a, GenUnchecked b, CanFail f) => a -> b -> f c -> Property

+ Test.Validity: succeeds2 :: (Show a, Show b, Show c, Show (f c), GenUnchecked a, GenUnchecked b, CanFail f) => (a -> b -> f c) -> Property

- Test.Validity: succeedsOnArbitrary :: (Show a, Show b, Show f b, Arbitrary a, CanFail f) => a -> f b -> Property

+ Test.Validity: succeedsOnArbitrary :: (Show a, Show b, Show (f b), Arbitrary a, CanFail f) => (a -> f b) -> Property

- Test.Validity: succeedsOnArbitrary2 :: (Show a, Show b, Show c, Show f c, Arbitrary a, Arbitrary b, CanFail f) => a -> b -> f c -> Property

+ Test.Validity: succeedsOnArbitrary2 :: (Show a, Show b, Show c, Show (f c), Arbitrary a, Arbitrary b, CanFail f) => (a -> b -> f c) -> Property

- Test.Validity: succeedsOnGen :: (Show a, Show b, Show f b, CanFail f) => a -> f b -> Gen a -> a -> [a] -> Property

+ Test.Validity: succeedsOnGen :: (Show a, Show b, Show (f b), CanFail f) => (a -> f b) -> Gen a -> (a -> [a]) -> Property

- Test.Validity: succeedsOnGens2 :: (Show a, Show b, Show c, Show f c, CanFail f) => a -> b -> f c -> Gen (a, b) -> (a, b) -> [(a, b)] -> Property

+ Test.Validity: succeedsOnGens2 :: (Show a, Show b, Show c, Show (f c), CanFail f) => (a -> b -> f c) -> Gen (a, b) -> ((a, b) -> [(a, b)]) -> Property

- Test.Validity: succeedsOnValid :: (Show a, Show b, Show f b, GenValid a, CanFail f) => a -> f b -> Property

+ Test.Validity: succeedsOnValid :: (Show a, Show b, Show (f b), GenValid a, CanFail f) => (a -> f b) -> Property

- Test.Validity: succeedsOnValids2 :: (Show a, Show b, Show c, Show f c, GenValid a, GenValid b, CanFail f) => a -> b -> f c -> Property

+ Test.Validity: succeedsOnValids2 :: (Show a, Show b, Show c, Show (f c), GenValid a, GenValid b, CanFail f) => (a -> b -> f c) -> Property

- Test.Validity: symmetricOnElems :: () => a -> a -> Bool -> a -> a -> Bool

+ Test.Validity: symmetricOnElems :: () => (a -> a -> Bool) -> a -> a -> Bool

- Test.Validity: symmetry :: (Show a, GenUnchecked a) => a -> a -> Bool -> Property

+ Test.Validity: symmetry :: (Show a, GenUnchecked a) => (a -> a -> Bool) -> Property

- Test.Validity: symmetryOnArbitrary :: (Show a, Arbitrary a) => a -> a -> Bool -> Property

+ Test.Validity: symmetryOnArbitrary :: (Show a, Arbitrary a) => (a -> a -> Bool) -> Property

- Test.Validity: symmetryOnGens :: Show a => a -> a -> Bool -> Gen (a, a) -> a -> [a] -> Property

+ Test.Validity: symmetryOnGens :: Show a => (a -> a -> Bool) -> Gen (a, a) -> (a -> [a]) -> Property

- Test.Validity: symmetryOnValid :: (Show a, GenValid a) => a -> a -> Bool -> Property

+ Test.Validity: symmetryOnValid :: (Show a, GenValid a) => (a -> a -> Bool) -> Property

- Test.Validity: transitiveOnElems :: () => a -> a -> Bool -> a -> a -> a -> Bool

+ Test.Validity: transitiveOnElems :: () => (a -> a -> Bool) -> a -> a -> a -> Bool

- Test.Validity: transitivity :: (Show a, GenUnchecked a) => a -> a -> Bool -> Property

+ Test.Validity: transitivity :: (Show a, GenUnchecked a) => (a -> a -> Bool) -> Property

- Test.Validity: transitivityOnArbitrary :: (Show a, Arbitrary a) => a -> a -> Bool -> Property

+ Test.Validity: transitivityOnArbitrary :: (Show a, Arbitrary a) => (a -> a -> Bool) -> Property

- Test.Validity: transitivityOnGens :: Show a => a -> a -> Bool -> Gen (a, a, a) -> a -> [a] -> Property

+ Test.Validity: transitivityOnGens :: Show a => (a -> a -> Bool) -> Gen (a, a, a) -> (a -> [a]) -> Property

- Test.Validity: transitivityOnValid :: (Show a, GenValid a) => a -> a -> Bool -> Property

+ Test.Validity: transitivityOnValid :: (Show a, GenValid a) => (a -> a -> Bool) -> Property

- Test.Validity: validIfSucceeds :: (Show a, Show b, Show f b, GenUnchecked a, Validity b, CanFail f) => a -> f b -> Property

+ Test.Validity: validIfSucceeds :: (Show a, Show b, Show (f b), GenUnchecked a, Validity b, CanFail f) => (a -> f b) -> Property

- Test.Validity: validIfSucceeds2 :: (Show a, Show b, Show c, Show f c, GenUnchecked a, GenUnchecked b, Validity c, CanFail f) => a -> b -> f c -> Property

+ Test.Validity: validIfSucceeds2 :: (Show a, Show b, Show c, Show (f c), GenUnchecked a, GenUnchecked b, Validity c, CanFail f) => (a -> b -> f c) -> Property

- Test.Validity: validIfSucceeds3 :: (Show a, Show b, Show c, Show d, Show f d, GenUnchecked a, GenUnchecked b, GenUnchecked c, Validity d, CanFail f) => a -> b -> c -> f d -> Property

+ Test.Validity: validIfSucceeds3 :: (Show a, Show b, Show c, Show d, Show (f d), GenUnchecked a, GenUnchecked b, GenUnchecked c, Validity d, CanFail f) => (a -> b -> c -> f d) -> Property

- Test.Validity: validIfSucceedsOnArbitrary :: (Show a, Show b, Show f b, Arbitrary a, Validity b, CanFail f) => a -> f b -> Property

+ Test.Validity: validIfSucceedsOnArbitrary :: (Show a, Show b, Show (f b), Arbitrary a, Validity b, CanFail f) => (a -> f b) -> Property

- Test.Validity: validIfSucceedsOnArbitrary2 :: (Show a, Show b, Show c, Show f c, Arbitrary a, Arbitrary b, Validity c, CanFail f) => a -> b -> f c -> Property

+ Test.Validity: validIfSucceedsOnArbitrary2 :: (Show a, Show b, Show c, Show (f c), Arbitrary a, Arbitrary b, Validity c, CanFail f) => (a -> b -> f c) -> Property

- Test.Validity: validIfSucceedsOnArbitrary3 :: (Show a, Show b, Show c, Show d, Show f d, Arbitrary a, Arbitrary b, Arbitrary c, Validity d, CanFail f) => a -> b -> c -> f d -> Property

+ Test.Validity: validIfSucceedsOnArbitrary3 :: (Show a, Show b, Show c, Show d, Show (f d), Arbitrary a, Arbitrary b, Arbitrary c, Validity d, CanFail f) => (a -> b -> c -> f d) -> Property

- Test.Validity: validIfSucceedsOnGen :: (Show a, Show b, Show f b, Validity b, CanFail f) => a -> f b -> Gen a -> a -> [a] -> Property

+ Test.Validity: validIfSucceedsOnGen :: (Show a, Show b, Show (f b), Validity b, CanFail f) => (a -> f b) -> Gen a -> (a -> [a]) -> Property

- Test.Validity: validIfSucceedsOnGens2 :: (Show a, Show b, Show c, Show f c, Validity c, CanFail f) => a -> b -> f c -> Gen (a, b) -> (a, b) -> [(a, b)] -> Property

+ Test.Validity: validIfSucceedsOnGens2 :: (Show a, Show b, Show c, Show (f c), Validity c, CanFail f) => (a -> b -> f c) -> Gen (a, b) -> ((a, b) -> [(a, b)]) -> Property

- Test.Validity: validIfSucceedsOnGens3 :: (Show a, Show b, Show c, Show d, Show f d, Validity d, CanFail f) => a -> b -> c -> f d -> Gen (a, b, c) -> (a, b, c) -> [(a, b, c)] -> Property

+ Test.Validity: validIfSucceedsOnGens3 :: (Show a, Show b, Show c, Show d, Show (f d), Validity d, CanFail f) => (a -> b -> c -> f d) -> Gen (a, b, c) -> ((a, b, c) -> [(a, b, c)]) -> Property

- Test.Validity: validIfSucceedsOnValid :: (Show a, Show b, Show f b, GenValid a, Validity b, CanFail f) => a -> f b -> Property

+ Test.Validity: validIfSucceedsOnValid :: (Show a, Show b, Show (f b), GenValid a, Validity b, CanFail f) => (a -> f b) -> Property

- Test.Validity: validIfSucceedsOnValids2 :: (Show a, Show b, Show c, Show f c, GenValid a, GenValid b, Validity c, CanFail f) => a -> b -> f c -> Property

+ Test.Validity: validIfSucceedsOnValids2 :: (Show a, Show b, Show c, Show (f c), GenValid a, GenValid b, Validity c, CanFail f) => (a -> b -> f c) -> Property

- Test.Validity: validIfSucceedsOnValids3 :: (Show a, Show b, Show c, Show d, Show f d, GenValid a, GenValid b, GenValid c, Validity d, CanFail f) => a -> b -> c -> f d -> Property

+ Test.Validity: validIfSucceedsOnValids3 :: (Show a, Show b, Show c, Show d, Show (f d), GenValid a, GenValid b, GenValid c, Validity d, CanFail f) => (a -> b -> c -> f d) -> Property

- Test.Validity.GenValidity: genGeneratesInvalid :: (Show a, Validity a) => Gen a -> a -> [a] -> Property

+ Test.Validity.GenValidity: genGeneratesInvalid :: (Show a, Validity a) => Gen a -> (a -> [a]) -> Property

- Test.Validity.GenValidity: genGeneratesValid :: (Show a, Validity a) => Gen a -> a -> [a] -> Property

+ Test.Validity.GenValidity: genGeneratesValid :: (Show a, Validity a) => Gen a -> (a -> [a]) -> Property

- Test.Validity.Shrinking: shrinkPreservesInvalidOnGenInvalid :: (Show a, GenInvalid a) => a -> [a] -> Property

+ Test.Validity.Shrinking: shrinkPreservesInvalidOnGenInvalid :: (Show a, GenInvalid a) => (a -> [a]) -> Property

- Test.Validity.Shrinking: shrinkPreservesValidOnGenValid :: (Show a, GenValid a) => a -> [a] -> Property

+ Test.Validity.Shrinking: shrinkPreservesValidOnGenValid :: (Show a, GenValid a) => (a -> [a]) -> Property

- Test.Validity.Shrinking: shrinkingPreserves :: Show a => Gen a -> a -> [a] -> a -> Bool -> Property

+ Test.Validity.Shrinking: shrinkingPreserves :: Show a => Gen a -> (a -> [a]) -> (a -> Bool) -> Property

- Test.Validity.Shrinking: shrinkingStaysInvalid :: (Show a, Validity a) => Gen a -> a -> [a] -> Property

+ Test.Validity.Shrinking: shrinkingStaysInvalid :: (Show a, Validity a) => Gen a -> (a -> [a]) -> Property

- Test.Validity.Shrinking: shrinkingStaysValid :: (Show a, Validity a) => Gen a -> a -> [a] -> Property

+ Test.Validity.Shrinking: shrinkingStaysValid :: (Show a, Validity a) => Gen a -> (a -> [a]) -> Property

Files

genvalidity-hspec.cabal +5/−2
src/Test/Validity/GenValidity.hs +5/−5
src/Test/Validity/Show.hs +1/−1
test/Test/Validity/EqSpec.hs +2/−2
test/Test/Validity/GenValiditySpec.hs +3/−3
test/Test/Validity/MonoidSpec.hs +1/−1
test/Test/Validity/OrdSpec.hs +2/−2
test/Test/Validity/ShowSpec.hs +2/−2
test/Test/Validity/ShrinkingSpec.hs +10/−10

genvalidity-hspec.cabal view

@@ -2,10 +2,10 @@ -- -- see: https://github.com/sol/hpack ----- hash: 472617010c38a3b4d88beddec1088f24b2a05528a43ad5e2ab1cc0901f21dff5+-- hash: 33d59844fe6f212746a399da920a642934471dbadfb6476a646bc001ffac9a85  name:           genvalidity-hspec-version:        0.6.2.0+version:        0.6.2.1 synopsis:       Standard spec's for GenValidity instances description:    Note: There are companion packages for this library:                 .@@ -75,8 +75,11 @@       QuickCheck     , base     , doctest+    , genvalidity >=0.7     , genvalidity-hspec+    , genvalidity-property >=0.3     , hspec-core+    , validity >=0.9   default-language: Haskell2010  test-suite genvalidity-hspec-test

src/Test/Validity/GenValidity.hs view

@@ -61,7 +61,7 @@ -- -- Example usage: ----- > genInvalidSpec @Double+-- > genInvalidSpec @Rational genInvalidSpec ::        forall a. (Typeable a, Show a, GenInvalid a)     => Spec@@ -92,10 +92,10 @@  -- | @genValid@ only generates invalid data ----- prop> genInvalidGeneratesInvalid @Float--- prop> genInvalidGeneratesInvalid @Double--- prop> genInvalidGeneratesInvalid @(Maybe Double)--- prop> genInvalidGeneratesInvalid @[Double]+-- prop> genInvalidGeneratesInvalid @Rational+-- prop> genInvalidGeneratesInvalid @Rational+-- prop> genInvalidGeneratesInvalid @(Maybe Rational)+-- prop> genInvalidGeneratesInvalid @[Rational] genInvalidGeneratesInvalid ::        forall a. (Show a, GenInvalid a)     => Property

src/Test/Validity/Show.hs view

@@ -75,7 +75,7 @@  -- | ----- prop> showReadRoundTripOnValid @Double+-- prop> showReadRoundTripOnValid @Rational showReadRoundTripOnValid ::        forall a. (Show a, Eq a, Read a, GenValid a)     => Property

test/Test/Validity/EqSpec.hs view

@@ -13,9 +13,9 @@  spec :: Spec spec = do-    eqSpecOnValid @Double+    eqSpecOnValid @Rational     eqSpec @Int-    failsBecause "reflexivity does not hold for NaN" $ eqSpecOnInvalid @Double+    -- eqSpec @Double DOES NOT HOLD because of NaN     eqSpecOnArbitrary @Int     eqSpecOnGen ((* 2) <$> genValid @Int) "even" (const [])     failsBecause "(/=) and (==) don't have opposite semantics" $

test/Test/Validity/GenValiditySpec.hs view

@@ -8,6 +8,6 @@  spec :: Spec spec = do-    genValiditySpec @Double-    genValidSpec @Double-    genInvalidSpec @Double+    genValiditySpec @Rational+    genValidSpec @Rational+    genInvalidSpec @Rational

test/Test/Validity/MonoidSpec.hs view

@@ -8,7 +8,7 @@  spec :: Spec spec = do-    monoidSpecOnValid @[Double]+    monoidSpecOnValid @[Rational]     monoidSpec @[Int]     monoidSpecOnArbitrary @[Int]     monoidSpecOnGen (pure "a") "singleton list of 'a'" (const [])

test/Test/Validity/OrdSpec.hs view

@@ -10,8 +10,8 @@  spec :: Spec spec = do-    ordSpecOnValid @Double-    failsBecause "NaN >= NaN is False" $ ordSpecOnInvalid @Double+    ordSpecOnValid @Rational+    failsBecause "NaN >= NaN is False" $ ordSpec @Double     ordSpec @Int     ordSpecOnArbitrary @Int     ordSpecOnGen ((* 2) <$> genValid @Int) "even" (const [])

test/Test/Validity/ShowSpec.hs view

@@ -13,9 +13,9 @@  spec :: Spec spec = do-    showReadSpecOnValid @Double+    showReadSpecOnValid @Rational     showReadSpec @Int-    showReadSpecOnArbitrary @Double+    showReadSpecOnArbitrary @Rational     showReadSpecOnGen ((* 2) <$> genValid @Int) "even" (const [])     failsBecause "show and read don't have the correct semantics" $         showReadSpec @ShowFuncMismatch

test/Test/Validity/ShrinkingSpec.hs view

@@ -8,21 +8,21 @@  spec :: Spec spec = do-    shrinkValiditySpec @Double+    shrinkValiditySpec @Rational     shrinkValidSpec @Int-    shrinkInvalidSpec @Double+    shrinkInvalidSpec @Rational     describe "shrinkUncheckedPreservesValidOnGenValid" $ do-        it "Double" $ shrinkValidPreservesValidOnGenValid @Double-        it "[Double]" $ shrinkValidPreservesValidOnGenValid @[Double]+        it "Rational" $ shrinkValidPreservesValidOnGenValid @Rational+        it "[Rational]" $ shrinkValidPreservesValidOnGenValid @[Rational]     describe "shrinkValidPreservesValidOnGenValid" $ do-        it "Double" $ shrinkValidPreservesValidOnGenValid @Double-        it "[Double]" $ shrinkValidPreservesValidOnGenValid @[Double]+        it "Rational" $ shrinkValidPreservesValidOnGenValid @Rational+        it "[Rational]" $ shrinkValidPreservesValidOnGenValid @[Rational]     describe "shrinkInvalidPreservesInvalidOnGenInvalid" $ do-        it "Double" $ shrinkInvalidPreservesInvalidOnGenInvalid @Double-        it "[Double]" $ shrinkInvalidPreservesInvalidOnGenInvalid @[Double]+        it "Rational" $ shrinkInvalidPreservesInvalidOnGenInvalid @Rational+        it "[Rational]" $ shrinkInvalidPreservesInvalidOnGenInvalid @[Rational]     describe "shrinkUncheckedDoesNotShrinkToItself" $ do         it "Int" $ shrinkUncheckedDoesNotShrinkToItself @Int         it "[Int]" $ shrinkUncheckedDoesNotShrinkToItself @[Int]     describe "shrinkValidDoesNotShrinkToItself" $ do-        it "Double" $ shrinkValidDoesNotShrinkToItself @Double-        it "[Double]" $ shrinkValidDoesNotShrinkToItself @[Double]+        it "Rational" $ shrinkValidDoesNotShrinkToItself @Rational+        it "[Rational]" $ shrinkValidDoesNotShrinkToItself @[Rational]