h$rj%      !"#$%&'()*+,-./0123456 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \]^_`abcdefghijklmnopqrstuvwxyz{|}~$ Safe-InferredmNonegenvalidity-sydtest is idempotent for any type:(idempotentOnArbitrary (id :: Int -> Int)6, given any input, is idempotent for any type as well:7\int -> idempotentOnArbitrary (const int :: Int -> Int)None#genvalidity-sydtest Associative(\star) \quad\equiv\quad \forall a, b, c: (a \star b) \star c = a \star (b \star c) genvalidity-sydtest&associative ((*) :: Int -> Int -> Int)&associative ((+) :: Int -> Int -> Int)genvalidity-sydtest1associativeOnArbitrary ((*) :: Int -> Int -> Int)1associativeOnArbitrary ((+) :: Int -> Int -> Int)None genvalidity-sydtest Commutative(\star) \quad\equiv\quad \forall a, b: a \star b = b \star a genvalidity-sydtest=commutativeOnValids ((+) :: Rational -> Rational -> Rational)=commutativeOnValids ((*) :: Rational -> Rational -> Rational) genvalidity-sydtest&commutative ((+) :: Int -> Int -> Int)&commutative ((*) :: Int -> Int -> Int) genvalidity-sydtest1commutativeOnArbitrary ((+) :: Int -> Int -> Int)1commutativeOnArbitrary ((*) :: Int -> Int -> Int)commutativeOnArbitrary :: (Show a, Eq a, Arbitrary a) => (a -> a -> a) -> Property  None genvalidity-sydtest LeftIdentity(\star, \doteq, b) \quad\equiv\quad \forall a: (b \star a) \doteq a genvalidity-sydtestleftIdentityOnValid (flip ((^) :: Rational -> Int -> Rational)) 1genvalidity-sydtest0leftIdentity (flip ((^) :: Int -> Int -> Int)) 1genvalidity-sydtest;leftIdentityOnArbitrary (flip ((^) :: Int -> Int -> Int)) 1genvalidity-sydtest RightIdentity(\star, \doteq, b) \quad\equiv\quad \forall a: (a \star b) \doteq a genvalidity-sydtest;rightIdentityOnValid ((^) :: Rational -> Int -> Rational) 1genvalidity-sydtest*rightIdentity ((^) :: Int -> Int -> Int) 1genvalidity-sydtest5rightIdentityOnArbitrary ((^) :: Int -> Int -> Int) 1genvalidity-sydtest Identity(\star, \doteq, b) \quad\equiv\quad LeftIdentity(\star, \doteq, b) \wedge RightIdentity(\star, \doteq, b) genvalidity-sydtest;identityOnValid ((*) :: Rational -> Rational -> Rational) 1;identityOnValid ((+) :: Rational -> Rational -> Rational) 0genvalidity-sydtest%identity ((*) :: Int -> Int -> Int) 1%identity ((+) :: Int -> Int -> Int) 0genvalidity-sydtest0identityOnArbitrary ((*) :: Int -> Int -> Int) 10identityOnArbitrary ((+) :: Int -> Int -> Int) 0 genvalidity-sydtestA binary operationgenvalidity-sydtest An equalitygenvalidity-sydtestA candidate left-identitygenvalidity-sydtest An element genvalidity-sydtestA binary operationgenvalidity-sydtest An equalitygenvalidity-sydtestA candidate left-identitygenvalidity-sydtestA binary operationgenvalidity-sydtestA candidate left-identitygenvalidity-sydtestA binary operationgenvalidity-sydtest An equalitygenvalidity-sydtestA candidate right-identitygenvalidity-sydtest An elementgenvalidity-sydtestA binary operationgenvalidity-sydtest An equalitygenvalidity-sydtestA candidate right-identitygenvalidity-sydtestA binary operationgenvalidity-sydtestA candidate right-identity   None   None\ !"!" None-#genvalidity-sydtest4The given generator generates only valid data points$genvalidity-sydtest6The given generator generates only invalid data points#$#$None%genvalidity-sydtestThe function produces valid output when the input is generated as specified by the given generator.&genvalidity-sydtestThe function produces valid output when the input is generated by genValid'genvalidity-sydtestThe function produces valid output when the input is generated by  genUnchecked(genvalidity-sydtestThe function produces valid output when the input is generated by  arbitrary %&'()*+,-./0 %&'()*+,-./0None<1genvalidity-sydtest Antireflexive(\prec) \quad\equiv\quad \forall a: \neg (a \prec a) 3genvalidity-sydtest Rational -> Bool)=antireflexivityOnValid ((/=) :: Rational -> Rational -> Bool)) :: Rational -> Rational -> Bool)4genvalidity-sydtest+antireflexivity ((<) :: Int -> Int -> Bool),antireflexivity ((/=) :: Int -> Int -> Bool)+antireflexivity ((>) :: Int -> Int -> Bool)5genvalidity-sydtest6antireflexivityOnArbitrary ((<) :: Int -> Int -> Bool)7antireflexivityOnArbitrary ((/=) :: Int -> Int -> Bool)6antireflexivityOnArbitrary ((>) :: Int -> Int -> Bool)1genvalidity-sydtest A relationgenvalidity-sydtest An element1234512345 NoneH6genvalidity-sydtest Antisymmetric(\prec, \doteq) \quad\equiv\quad \forall a, b: ((a \prec b) \wedge (b \prec a)) \Rightarrow (a \doteq b) 9genvalidity-sydtest5antisymmetryOnValid ((>) :: Double -> Double -> Bool)6antisymmetryOnValid ((>=) :: Double -> Double -> Bool)6antisymmetryOnValid ((<=) :: Double -> Double -> Bool)5antisymmetryOnValid ((<) :: Double -> Double -> Bool)antisymmetryOnValid (Data.List.isPrefixOf :: [Double] -> [Double] -> Bool)antisymmetryOnValid (Data.List.isSuffixOf :: [Double] -> [Double] -> Bool)antisymmetryOnValid (Data.List.isInfixOf :: [Double] -> [Double] -> Bool):genvalidity-sydtest(antisymmetry ((>) :: Int -> Int -> Bool))antisymmetry ((>=) :: Int -> Int -> Bool))antisymmetry ((<=) :: Int -> Int -> Bool)(antisymmetry ((<) :: Int -> Int -> Bool)=antisymmetry (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)=antisymmetry (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool) [Int] -> Bool)>antisymmetry ((\x y -> even x && odd y) :: Int -> Int -> Bool);genvalidity-sydtest3antisymmetryOnArbitrary ((>) :: Int -> Int -> Bool)4antisymmetryOnArbitrary ((>=) :: Int -> Int -> Bool)4antisymmetryOnArbitrary ((<=) :: Int -> Int -> Bool)3antisymmetryOnArbitrary ((<) :: Int -> Int -> Bool)antisymmetryOnArbitrary (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)antisymmetryOnArbitrary (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool)antisymmetryOnArbitrary (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)antisymmetryOnArbitrary ((\x y -> even x && odd y) :: Int -> Int -> Bool)6genvalidity-sydtest A relationgenvalidity-sydtestAn equivalence relationgenvalidity-sydtest Two elements6789:;6789:; None$<genvalidity-sydtest Reflexive(\prec) \quad\equiv\quad \forall a: (a \prec a) >genvalidity-sydtest9reflexivityOnValid ((<=) :: Rational -> Rational -> Bool)9reflexivityOnValid ((==) :: Rational -> Rational -> Bool)9reflexivityOnValid ((>=) :: Rational -> Rational -> Bool)reflexivityOnValid (Data.List.isPrefixOf :: [Rational] -> [Rational] -> Bool)reflexivityOnValid (Data.List.isSuffixOf :: [Rational] -> [Rational] -> Bool)reflexivityOnValid (Data.List.isInfixOf :: [Rational] -> [Rational] -> Bool)?genvalidity-sydtest(reflexivity ((<=) :: Int -> Int -> Bool)(reflexivity ((==) :: Int -> Int -> Bool)(reflexivity ((>=) :: Int -> Int -> Bool) [Int] -> Bool) [Int] -> Bool);reflexivity (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)@genvalidity-sydtest3reflexivityOnArbitrary ((<=) :: Int -> Int -> Bool)3reflexivityOnArbitrary ((==) :: Int -> Int -> Bool)3reflexivityOnArbitrary ((>=) :: Int -> Int -> Bool)reflexivityOnArbitrary (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)reflexivityOnArbitrary (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool)reflexivityOnArbitrary (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)<genvalidity-sydtest A relationgenvalidity-sydtest An element<=>?@<=>?@ None'"Agenvalidity-sydtest Symmetric(\prec) \quad\equiv\quad \forall a, b: (a \prec b) \Leftrightarrow (b \prec a) Cgenvalidity-sydtest2symmetryOnValid ((==) :: Double -> Double -> Bool)2symmetryOnValid ((/=) :: Double -> Double -> Bool)Dgenvalidity-sydtest%symmetry ((==) :: Int -> Int -> Bool)%symmetry ((/=) :: Int -> Int -> Bool)Egenvalidity-sydtest0symmetryOnArbitrary ((==) :: Int -> Int -> Bool)0symmetryOnArbitrary ((/=) :: Int -> Int -> Bool)Agenvalidity-sydtest A relationgenvalidity-sydtest Two elementsABCDEABCDE None.Fgenvalidity-sydtest Transitive(\prec) \quad\equiv\quad \forall a, b, c: ((a \prec b) \wedge (b \prec c)) \Rightarrow (a \prec c) Hgenvalidity-sydtest5transitivityOnValid ((>) :: Double -> Double -> Bool)6transitivityOnValid ((>=) :: Double -> Double -> Bool)6transitivityOnValid ((==) :: Double -> Double -> Bool)6transitivityOnValid ((<=) :: Double -> Double -> Bool)5transitivityOnValid ((<) :: Double -> Double -> Bool)transitivityOnValid (Data.List.isPrefixOf :: [Double] -> [Double] -> Bool)transitivityOnValid (Data.List.isSuffixOf :: [Double] -> [Double] -> Bool)transitivityOnValid (Data.List.isInfixOf :: [Double] -> [Double] -> Bool)Igenvalidity-sydtest(transitivity ((>) :: Int -> Int -> Bool))transitivity ((>=) :: Int -> Int -> Bool))transitivity ((==) :: Int -> Int -> Bool))transitivity ((<=) :: Int -> Int -> Bool)(transitivity ((<) :: Int -> Int -> Bool)=transitivity (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)=transitivity (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool) [Int] -> Bool)Jgenvalidity-sydtest3transitivityOnArbitrary ((>) :: Int -> Int -> Bool)4transitivityOnArbitrary ((>=) :: Int -> Int -> Bool)4transitivityOnArbitrary ((==) :: Int -> Int -> Bool)4transitivityOnArbitrary ((<=) :: Int -> Int -> Bool)3transitivityOnArbitrary ((<) :: Int -> Int -> Bool)transitivityOnArbitrary (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)transitivityOnArbitrary (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool)transitivityOnArbitrary (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)Fgenvalidity-sydtest A relationgenvalidity-sydtestThree elementsFGHIJFGHIJ!None.2123456789:;<=>?@ABCDEFGHIJ<=>?@FGHIJ6789:;12345ABCDE None4|Kgenvalidity-sydtest6shrinkPreservesValidOnGenValid ((:[]) :: Int -> [Int])Lgenvalidity-sydtestshrinkPreservesInvalidOnGenInvalid ((:[]) :: Rational -> [Rational])Mgenvalidity-sydtest2shrinkValidPreservesValid (pure 5 :: Gen Rational)Ngenvalidity-sydtestOgenvalidity-sydtestshrinkingStaysValid (pure 5 :: Gen Double) (\d -> [d - 1, d - 2])Pgenvalidity-sydtestshrinkingStaysValidWithLimit (pure 5 :: Gen Double) (\d -> [d - 1, read "NaN"]) 1Qgenvalidity-sydtest6shrinkingStaysInvalid (pure (1/0) :: Gen Double) (:[])Rgenvalidity-sydtest3shrinkingPreserves (pure 5 :: Gen Int) (:[]) (== 5)Sgenvalidity-sydtest5shrinkingPreservesWithLimit (pure 4) (:[]) 100 (== 4)Tgenvalidity-sydtestshrinkDoesNotShrinkToItself (shrinkUnchecked :: Double -> [Double])Ugenvalidity-sydtestshrinkDoesNotShrinkToItselfWithLimit (shrinkUnchecked :: Double -> [Double]) 100Vgenvalidity-sydtestshrinkDoesNotShrinkToItselfOnValid (shrinkValid :: Rational -> [Rational])Wgenvalidity-sydtestshrinkDoesNotShrinkToItselfOnValidWithLimit (shrinkValid :: Rational -> [Rational]) 100Xgenvalidity-sydtestshrinkDoesNotShrinkToItselfOnInvalid (shrinkInvalid :: Rational -> [Rational])Ygenvalidity-sydtestshrinkDoesNotShrinkToItselfOnInvalidWithLimit (shrinkInvalid :: Rational -> [Rational]) 100Zgenvalidity-sydtest inverseFunctionsOnArbitrary id (id :: Int -> Int)abcdefghijklmnopabcdefghijklmnopNone6tgenvalidity-sydtestequivalentOnArbitrary ((* 2) . (+ 1)) ((+ 2) . (* 2) :: Int -> Int)xgenvalidity-sydtest5equivalentOnArbitrary2 (+) ((+) :: Int -> Int -> Int)$qrstuvwxyz{|}~$qrstuvwxyz|{}~None; genvalidity-sydtestThe function succeeds if the input is generated by the given generatorgenvalidity-sydtest3The function succeeds if the input is generated by genValidgenvalidity-sydtest3The function succeeds if the input is generated by  genUncheckedgenvalidity-sydtest3The function succeeds if the input is generated by  arbitrarygenvalidity-sydtestThe function fails if the input is generated by the given generatorgenvalidity-sydtest0The function fails if the input is generated by  genInvalidgenvalidity-sydtest,The function produces output that satisfies isValid if it is given input that is generated by the given generator.genvalidity-sydtest,The function produces output that satisfies isValid, if it is given input that is generated by  arbitrary.genvalidity-sydtest,The function produces output that satisfies isValid, if it is given input that is generated by  arbitrary.genvalidity-sydtest,The function produces output that satisfies isValid, if it is given input that is generated by  genUnchecked."None?@ABCDEFGHIJ\]^abcdefghijklmnopqrstuvwxyz{|}~#$%&'()*+,-./0\]^qrstuvwxyz|{}~abcdefghijklmnop<=>?@FGHIJ6789:;12345ABCDE  None .@ !"!"None@LKLMNOQRKLMNOQRNoneDcgenvalidity-sydtestStandard test spec for properties of Show and Read instances for valid valuesExample usage: showReadSpecOnValid @Doublegenvalidity-sydtestStandard test spec for properties of Show and Read instances for unchecked valuesExample usage: showReadSpec @Intgenvalidity-sydtestStandard test spec for properties of Show and Read instances for arbitrary valuesExample usage: showReadSpecOnArbitrary @Doublegenvalidity-sydtestStandard test spec for properties of Show and Read instances for values generated by a custom generatorExample usage: =showReadSpecOnGen ((* 2) <$> genValid @Int) "even" (const [])genvalidity-sydtest"showReadRoundTripOnValid @Rationalgenvalidity-sydtestshowReadRoundTrip @Intgenvalidity-sydtest$showReadRoundTripOnArbitrary @Doublegenvalidity-sydtestshowReadRoundTripOnGen (abs <$> genUnchecked :: Gen Int) (const [])NoneFgenvalidity-sydtestA Spec that specifies that  isValidFor implies isValidIn general it is a good idea to add this spec to your test suite if the a and b in RelativeValidity a b also have a Validity instance.Example usage: ,relativeValiditySpec @MyDataFor @MyOtherDatagenvalidity-sydtestisValidFor a b implies  isValid a for all bgenvalidity-sydtestisValidFor a b implies  isValid b for all aNone '(Igenvalidity-sydtestStandard test spec for properties of Ord instances for valid valuesExample usage: ordSpecOnValid @Doublegenvalidity-sydtestStandard test spec for properties of Ord instances for invalid valuesExample usage: ordSpecOnInvalid @Doublegenvalidity-sydtestStandard test spec for properties of Ord instances for unchecked valuesExample usage:  ordSpec @Intgenvalidity-sydtestStandard test spec for properties of Ord instances for arbitrary valuesExample usage: ordSpecOnArbitrary @Intgenvalidity-sydtestStandard test spec for properties of Ord instances for values generated by a given generator (and name for that generator).Example usage: -ordSpecOnGen ((* 2) <$> genValid @Int) "even"NoneLgenvalidity-sydtest%Standard test spec for properties of  instances for valid valuesExample usage: monoidSpecOnValid @[Double]genvalidity-sydtest%Standard test spec for properties of  instances for unchecked valuesExample usage: monoidSpec @[Int]genvalidity-sydtest%Standard test spec for properties of  instances for arbitrary valuesExample usage: monoidSpecOnArbitrary @[Int]genvalidity-sydtestStandard test spec for properties of Monoid instances for values generated by a given generator (and name for that generator).Example usage: 2monoidSpecOnGen (pure "a") "singleton list of 'a'"NonePgenvalidity-sydtestStandard test spec for properties of Monad instances for values generated with GenValid instancesExample usage: monadSpecOnValid @[]genvalidity-sydtestStandard test spec for properties of Monad instances for values generated with GenUnchecked instancesExample usage:  monadSpec @[]genvalidity-sydtestStandard test spec for properties of Monad instances for values generated with Arbitrary instancesExample usage: monadSpecOnArbitrary @[]genvalidity-sydtestStandard test spec for properties of Monad instances for values generated by given generators (and names for those generator).Example usage: monadSpecOnGens @[] @Int (pure 4) "four" (genListOf $ pure 5) "list of fives" (genListOf $ pure 6) "list of sixes" ((*) <$> genValid) "factorisations" (pure $ \a -> [a]) "singletonisation" (pure $ \a -> [a]) "singletonisation" (pure $ pure (+ 1)) "increment in list"NoneW~genvalidity-sydtestA spec for properties of  and  instances.In general it is a good idea to add this spec to your test suite if you write a custom implementation of genValid or  genInvalid.It is not a good idea to use this function if invalid values are broken in such a way that  or even  is broken.! In that case you probably want .Example usage: genValiditySpec @Intgenvalidity-sydtestA Spec that specifies that genValid only generates valid data.In general it is a good idea to add this spec to your test suite if you write a custom implementation of genValid.Example usage: genValidSpec @Intgenvalidity-sydtestA Spec that specifies that  genInvalid only generates invalid data.Note that it is not a good idea to use this function if invalid values are broken in such a way that  or even  is broken.Example usage: genInvalidSpec @Rationalgenvalidity-sydtestgenValid only generates valid datagenValidGeneratesValid @()genValidGeneratesValid @Bool genValidGeneratesValid @OrderinggenValidGeneratesValid @ChargenValidGeneratesValid @IntgenValidGeneratesValid @FloatgenValidGeneratesValid @DoublegenValidGeneratesValid @Integer#genValidGeneratesValid @(Maybe Int)genValidGeneratesValid @[Int]genvalidity-sydtestgenValid only generates invalid data$genInvalidGeneratesInvalid @Rational$genInvalidGeneratesInvalid @Rational,genInvalidGeneratesInvalid @(Maybe Rational)&genInvalidGeneratesInvalid @[Rational]#$#$NoneYgenvalidity-sydtestA Spec that specifies that  genValidFor and  genInvalidFor work as intended.In general it is a good idea to add this spec to your test suite if you write a custom implementation of  genValidFor or  genInvalidFor.Example usage: /relativeGenValiditySpec @MyDataFor @MyOtherDatagenvalidity-sydtest genValidFor b$ only generates values that satisfy  isValidFor bgenvalidity-sydtestgenInvalidFor b+ only generates values that do not satisfy  isValidFor bNone]genvalidity-sydtestStandard test spec for properties of Functor instances for values generated with GenValid instancesExample usage: functorSpecOnArbitrary @[]genvalidity-sydtestStandard test spec for properties of Functor instances for values generated with GenUnchecked instancesExample usage: functorSpecOnArbitrary @[]genvalidity-sydtestStandard test spec for properties of Functor instances for values generated with Arbitrary instancesExample usage: functorSpecOnArbitrary @[]genvalidity-sydtestStandard test spec for properties of Functor instances for values generated by given generators (and names for those generator).Example usage: functorSpecOnGens @[] @Int (pure 4) "four" (genListOf $ pure 5) "list of fives" ((+) <$> genValid) "additions" ((*) <$> genValid) "multiplications"None`genvalidity-sydtestStandard test spec for properties of Eq instances for valid valuesExample usage: eqSpecOnValid @Doublegenvalidity-sydtestStandard test spec for properties of Eq instances for invalid valuesExample usage: eqSpecOnInvalid @Doublegenvalidity-sydtestStandard test spec for properties of Eq instances for unchecked valuesExample usage:  eqSpec @Intgenvalidity-sydtestStandard test spec for properties of Eq instances for arbitrary valuesExample usage: eqSpecOnArbitrary @Intgenvalidity-sydtestStandard test spec for properties of Eq instances for values generated by a given generator (and name for that generator).Example usage: ,eqSpecOnGen ((* 2) <$> genValid @Int) "even"Nonebgenvalidity-sydtestA Spec that specifies that  arbitrary# only generates data that satisfy isValidExample usage: arbitrarySpec @Intgenvalidity-sydtest arbitrary only generates valid data arbitraryGeneratesOnlyValid @IntNonefgenvalidity-sydtestStandard test spec for properties of Applicative instances for values generated with GenValid instancesExample usage: applicativeSpecOnArbitrary @[]genvalidity-sydtestStandard test spec for properties of Applicative instances for values generated with GenUnchecked instancesExample usage: applicativeSpecOnArbitrary @[]genvalidity-sydtestStandard test spec for properties of Applicative instances for values generated with Arbitrary instancesExample usage: applicativeSpecOnArbitrary @[]genvalidity-sydtestStandard test spec for properties of Applicative instances for values generated by given generators (and names for those generator).Unless you are building a specific regression test, you probably want to use the other  functions.Example usage: applicativeSpecOnGens @Maybe @String (pure "ABC") "ABC" (Just <$> pure "ABC") "Just an ABC" (pure Nothing) "purely Nothing" ((++) <$> genValid) "prepends" (pure <$> ((++) <$> genValid)) "prepends in a Just" (pure <$> (flip (++) <$> genValid)) "appends in a Just"$Nonef !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOQR\]^abcdefghijklmnopqrstuvwxyz{|}~!"#$KLMNOQR%&'()*+,-./0\]^qrstuvwxyz|{}~abcdefghijklmnop<=>?@FGHIJ6789:;12345ABCDE  %&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~  1genvalidity-sydtest-0.0.0.0-AEs4CKOptlF6FuhofRBmZ'Test.Syd.Validity.Functions.Idempotence*Test.Syd.Validity.Operations.Associativity*Test.Syd.Validity.Operations.Commutativity%Test.Syd.Validity.Operations.Identity Test.Syd.Validity.Property.Utils&Test.Syd.Validity.GenValidity.Property$Test.Syd.Validity.Functions.Validity+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.Shrinking.PropertyTest.Syd.Validity.Types#Test.Syd.Validity.Functions.Inverse'Test.Syd.Validity.Functions.Equivalence#Test.Syd.Validity.Functions.CanFailTest.Syd.Validity.UtilsTest.Syd.Validity.ShrinkingTest.Syd.Validity.Show"Test.Syd.Validity.RelativeValidityTest.Syd.Validity.OrdTest.Syd.Validity.MonoidTest.Syd.Validity.MonadTest.Syd.Validity.GenValidity%Test.Syd.Validity.GenRelativeValidityTest.Syd.Validity.FunctorTest.Syd.Validity.EqTest.Syd.Validity.ArbitraryTest.Syd.Validity.ApplicativePaths_genvalidity_sydtestTest.Syd.Validity.OperationsTest.Syd.Validity.RelationsTest.Syd.Validity.FunctionsTest.Syd.Validity.PropertyTest.Syd.ValidityidempotentOnGenidempotentOnValid idempotentidempotentOnArbitraryassociativeOnGensassociativeOnValids associativeassociativeOnArbitrarycommutativeOnGenscommutativeOnValids commutativecommutativeOnArbitraryleftIdentityOnElemWithEqualityleftIdentityOnGenWithEqualityleftIdentityOnGenleftIdentityOnValid leftIdentityleftIdentityOnArbitraryrightIdentityOnElemWithEqualityrightIdentityOnGenWithEqualityrightIdentityOnGenrightIdentityOnValid rightIdentityrightIdentityOnArbitrary identityOnGenidentityOnValididentityidentityOnArbitraryforAllUnchecked forAllValid forAllInvalid===><==> shouldBeValidshouldBeInvalidgenGeneratesValidgenGeneratesInvalidproducesValidsOnGenproducesValidsOnValids producesValidproducesValidsOnArbitraryproducesValidsOnGens2producesValidsOnValids2producesValid2producesValidsOnArbitrary2producesValidsOnGens3producesValidsOnValids3producesValid3producesValidsOnArbitrary3antireflexiveOnElemantireflexivityOnGenantireflexivityOnValidantireflexivityantireflexivityOnArbitrary antisymmetricOnElemsWithEqualityantisymmetryOnGensWithEqualityantisymmetryOnGensantisymmetryOnValid antisymmetryantisymmetryOnArbitraryreflexiveOnElemreflexivityOnGenreflexivityOnValid reflexivityreflexivityOnArbitrarysymmetricOnElemssymmetryOnGenssymmetryOnValidsymmetrysymmetryOnArbitrarytransitiveOnElemstransitivityOnGenstransitivityOnValid transitivitytransitivityOnArbitraryshrinkPreservesValidOnGenValid"shrinkPreservesInvalidOnGenInvalidshrinkValidPreservesValidshrinkInvalidPreservesInvalidshrinkingStaysValidshrinkingStaysValidWithLimitshrinkingStaysInvalidshrinkingPreservesshrinkingPreservesWithLimitshrinkDoesNotShrinkToItself$shrinkDoesNotShrinkToItselfWithLimit"shrinkDoesNotShrinkToItselfOnValid+shrinkDoesNotShrinkToItselfOnValidWithLimit$shrinkDoesNotShrinkToItselfOnInvalid-shrinkDoesNotShrinkToItselfOnInvalidWithLimitdoesNotShrinkToItselfdoesNotShrinkToItselfWithLimitCanFail hasFailedresultIfSucceeded$fCanFailEither$fCanFailMaybeinverseFunctionsOnGeninverseFunctionsOnValidinverseFunctionsinverseFunctionsOnArbitrary$inverseFunctionsIfFirstSucceedsOnGen&inverseFunctionsIfFirstSucceedsOnValidinverseFunctionsIfFirstSucceeds*inverseFunctionsIfFirstSucceedsOnArbitrary%inverseFunctionsIfSecondSucceedsOnGen'inverseFunctionsIfSecondSucceedsOnValid inverseFunctionsIfSecondSucceeds+inverseFunctionsIfSecondSucceedsOnArbitraryinverseFunctionsIfSucceedOnGen inverseFunctionsIfSucceedOnValidinverseFunctionsIfSucceed$inverseFunctionsIfSucceedOnArbitraryequivalentOnGenequivalentOnValid equivalentequivalentOnArbitraryequivalentOnGens2equivalentOnValids2 equivalent2equivalentOnArbitrary2 equivalentWhenFirstSucceedsOnGen"equivalentWhenFirstSucceedsOnValid&equivalentWhenFirstSucceedsOnArbitraryequivalentWhenFirstSucceeds"equivalentWhenFirstSucceedsOnGens2$equivalentWhenFirstSucceedsOnValids2'equivalentWhenFirstSucceedsOnArbitrary2equivalentWhenFirstSucceeds2!equivalentWhenSecondSucceedsOnGen#equivalentWhenSecondSucceedsOnValid'equivalentWhenSecondSucceedsOnArbitraryequivalentWhenSecondSucceeds#equivalentWhenSecondSucceedsOnGens2%equivalentWhenSecondSucceedsOnValids2(equivalentWhenSecondSucceedsOnArbitrary2equivalentWhenSecondSucceeds2equivalentWhenSucceedOnGenequivalentWhenSucceedOnValidequivalentWhenSucceed equivalentWhenSucceedOnArbitraryequivalentWhenSucceedOnGens2equivalentWhenSucceedOnValids2!equivalentWhenSucceedOnArbitrary2equivalentWhenSucceed2equivalentOnGens3equivalentOnValids3 equivalent3equivalentOnArbitrary3 succeedsOnGensucceedsOnValidsucceedssucceedsOnArbitrary failsOnGenfailsOnInvalidvalidIfSucceedsOnGenvalidIfSucceedsOnValidvalidIfSucceedsOnArbitraryvalidIfSucceedssucceedsOnGens2succeedsOnValids2 succeeds2succeedsOnArbitrary2 failsOnGens2failsOnInvalid2validIfSucceedsOnGens2validIfSucceedsOnValids2validIfSucceeds2validIfSucceedsOnArbitrary2validIfSucceedsOnGens3validIfSucceedsOnValids3validIfSucceeds3validIfSucceedsOnArbitrary3AnonnameOfgenDescr binRelStr $fFunctorAnon $fShowAnonshrinkValiditySpecshrinkValidSpecshrinkValidSpecWithLimitshrinkInvalidSpec#shrinkValidPreservesValidOnGenValid,shrinkValidPreservesValidOnGenValidWithLimit)shrinkInvalidPreservesInvalidOnGenInvalid$shrinkUncheckedDoesNotShrinkToItself shrinkValidDoesNotShrinkToItself"shrinkInvalidDoesNotShrinkToItself+shrinkInvalidDoesNotShrinkToItselfWithLimit)shrinkValidDoesNotShrinkToItselfWithLimit-shrinkUncheckedDoesNotShrinkToItselfWithLimitshowReadSpecOnValid showReadSpecshowReadSpecOnArbitraryshowReadSpecOnGenshowReadRoundTripOnValidshowReadRoundTripshowReadRoundTripOnArbitraryshowReadRoundTripOnGenrelativeValiditySpecrelativeValidityImpliesValidArelativeValidityImpliesValidBordSpecOnValidordSpecOnInvalidordSpecordSpecOnArbitrary ordSpecOnGenmonoidSpecOnValid monoidSpecmonoidSpecOnArbitrarymonoidSpecOnGenmonadSpecOnValid monadSpecmonadSpecOnArbitrarymonadSpecOnGensgenValiditySpec genValidSpecgenInvalidSpecgenValidGeneratesValidgenInvalidGeneratesInvalidgenRelativeValiditySpecgenRelativeValidSpecgenRelativeInvalidSpecgenRelativeValidGeneratesValid"genRelativeInvalidGeneratesInvalidfunctorSpecOnValid functorSpecfunctorSpecOnArbitraryfunctorSpecOnGens eqSpecOnValideqSpecOnInvalideqSpeceqSpecOnArbitrary eqSpecOnGen arbitrarySpecarbitraryGeneratesOnlyValidapplicativeSpecOnValidapplicativeSpecapplicativeSpecOnArbitraryapplicativeSpecOnGensversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNamebaseGHC.Baseidconst Semigroup<>Monoidmconcatmemptymappend(QuickCheck-2.14.2-9AhRAvZYUVyKu9RkvnejmbTest.QuickCheck.Genshuffle(validity-0.11.0.0-3n5p4ndjd2TJFBg2uzHIBy Data.Validity Validation unValidationValidationChainLocationViolatedValidityvalidategenericValidatetrivialValidationcheckdeclareannotatedelvedecorate decorateListinvalidvalid&validateCharNotUtf16SurrogateCodePointisUtf16SurrogateCodePointvalidateNotNaNvalidateNotInfinitevalidateRatioNotNaNvalidateRatioNotInfinitevalidateRatioNormalisedisValidconstructValidconstructValidUnsafe checkValidityvalidationIsValidprettyValidateprettyValidation isInvalid+genvalidity-0.11.0.0-1NB2aqzYcVzHzQNgAouWEPData.GenValiditystructurallyValidSubterms,shrinkValidStructurallyWithoutExtraFilteringshrinkValidStructurally(genValidStructurallyWithoutExtraCheckinggenValidStructurallyuncheckedSubtermsuncheckedRecursivelyShrinkgenericShrinkUncheckedgenericGenUncheckedgenUtf16SurrogateCodePoint GenUnchecked genUncheckedshrinkUncheckedGenValidgenValid shrinkValid GenInvalid genInvalid shrinkInvalid GGenUnchecked gGenUncheckedGUncheckedRecursivelyShrinkgUncheckedRecursivelyShrinkGUncheckedSubtermsgUncheckedSubtermsGUncheckedSubtermsInclgUncheckedSubtermsIncl GGenValid gGenValidGValidRecursivelyShrinkgValidRecursivelyShrinkGValidSubtermsgValidSubtermsGValidSubtermsInclgValidSubtermsInclData.GenValidity.UtilsshrinkUncheckedWordgenUncheckedWordshrinkUncheckedIntgenUncheckedInt genInteger genFloatX genDoublegenFloatgenWordXgenIntXshrinkT4shrinkT3shrinkT2 shrinkTuple genListOf genListLength genNonEmptyOf arbPartition genSplit8 genSplit7 genSplit6 genSplit5 genSplit4 genSplit3genSplitupToGHC.ShowShow