úÎ!îòभ      !"#$%&'()*+,-./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 ­®¯°±²³´None@AX ¾genvalidity-propertyµ 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@AX˜genvalidity-property4The given generator generates only valid data pointsgenvalidity-property6The given generator generates only invalid data pointsNone@AXœgenvalidity-propertyu Associative(\star) \quad\equiv\quad \forall a, b, c: (a \star b) \star c = a \star (b \star c) genvalidity-property&associative ((*) :: Int -> Int -> Int)&associative ((+) :: Int -> Int -> Int) genvalidity-property1associativeOnArbitrary ((*) :: Int -> Int -> Int)1associativeOnArbitrary ((+) :: Int -> Int -> Int)  None@AX˜ genvalidity-property^ Commutative(\star) \quad\equiv\quad \forall a, b: a \star b = b \star a genvalidity-property=commutativeOnValids ((+) :: Rational -> Rational -> Rational)=commutativeOnValids ((*) :: Rational -> Rational -> Rational) genvalidity-property&commutative ((+) :: Int -> Int -> Int)&commutative ((*) :: Int -> Int -> Int) genvalidity-property1commutativeOnArbitrary ((+) :: Int -> Int -> Int)1commutativeOnArbitrary ((*) :: Int -> Int -> Int)  None@AX<| genvalidity-property[ LeftIdentity(\star, \doteq, b) \quad\equiv\quad \forall a: (b \star a) \doteq a genvalidity-propertyAleftIdentityOnValid (flip ((^) :: Rational -> Int -> Rational)) 1genvalidity-property0leftIdentity (flip ((^) :: Int -> Int -> Int)) 1genvalidity-property;leftIdentityOnArbitrary (flip ((^) :: Int -> Int -> Int)) 1genvalidity-property\ RightIdentity(\star, \doteq, b) \quad\equiv\quad \forall a: (a \star b) \doteq a genvalidity-property;rightIdentityOnValid ((^) :: Rational -> Int -> Rational) 1genvalidity-property*rightIdentity ((^) :: Int -> Int -> Int) 1genvalidity-property5rightIdentityOnArbitrary ((^) :: Int -> Int -> Int) 1genvalidity-property} Identity(\star, \doteq, b) \quad\equiv\quad LeftIdentity(\star, \doteq, b) \wedge RightIdentity(\star, \doteq, b) genvalidity-property;identityOnValid ((*) :: Rational -> Rational -> Rational) 1;identityOnValid ((+) :: Rational -> Rational -> Rational) 0genvalidity-property%identity ((*) :: Int -> Int -> Int) 1%identity ((+) :: Int -> Int -> Int) 0genvalidity-property0identityOnArbitrary ((*) :: Int -> Int -> Int) 10identityOnArbitrary ((+) :: Int -> Int -> Int) 0genvalidity-propertyA binary operationgenvalidity-property An equalitygenvalidity-propertyA candidate left-identitygenvalidity-property An elementgenvalidity-propertyA binary operationgenvalidity-property An equalitygenvalidity-propertyA candidate left-identitygenvalidity-propertyA binary operationgenvalidity-propertyA candidate left-identitygenvalidity-propertyA binary operationgenvalidity-property An equalitygenvalidity-propertyA candidate right-identitygenvalidity-property An elementgenvalidity-propertyA binary operationgenvalidity-property An equalitygenvalidity-propertyA candidate right-identitygenvalidity-propertyA binary operationgenvalidity-propertyA candidate right-identityNone@AX=R  None>P !"#$ #$"!None@AXEz%genvalidity-propertydThe function produces valid output when the input is generated as specified by the given generator.&genvalidity-propertyCThe function produces valid output when the input is generated by genValid'genvalidity-propertyCThe function produces valid output when the input is generated by  genUnchecked(genvalidity-propertyCThe function produces valid output when the input is generated by  arbitrary %&'()*+,-./0 %&'()*+,-./0None@AXQT1genvalidity-propertyM Antireflexive(\prec) \quad\equiv\quad \forall a: \neg (a \prec a) 3genvalidity-property<antireflexivityOnValid ((<) :: Rational -> Rational -> Bool)=antireflexivityOnValid ((/=) :: Rational -> Rational -> Bool)<antireflexivityOnValid ((>) :: Rational -> Rational -> Bool)4genvalidity-property+antireflexivity ((<) :: Int -> Int -> Bool),antireflexivity ((/=) :: Int -> Int -> Bool)+antireflexivity ((>) :: Int -> Int -> Bool)5genvalidity-property6antireflexivityOnArbitrary ((<) :: Int -> Int -> Bool)7antireflexivityOnArbitrary ((/=) :: Int -> Int -> Bool)6antireflexivityOnArbitrary ((>) :: Int -> Int -> Bool)1genvalidity-property A relationgenvalidity-property An element1234512345 None@AXl&6genvalidity-property Antisymmetric(\prec, \doteq) \quad\equiv\quad \forall a, b: ((a \prec b) \wedge (b \prec a)) \Rightarrow (a \doteq b) 9genvalidity-property5antisymmetryOnValid ((>) :: Double -> Double -> Bool)6antisymmetryOnValid ((>=) :: Double -> Double -> Bool)6antisymmetryOnValid ((<=) :: Double -> Double -> Bool)5antisymmetryOnValid ((<) :: Double -> Double -> Bool)JantisymmetryOnValid (Data.List.isPrefixOf :: [Double] -> [Double] -> Bool)JantisymmetryOnValid (Data.List.isSuffixOf :: [Double] -> [Double] -> Bool)IantisymmetryOnValid (Data.List.isInfixOf :: [Double] -> [Double] -> Bool):genvalidity-property(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)<antisymmetry (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)>antisymmetry ((\x y -> even x && odd y) :: Int -> Int -> Bool);genvalidity-property3antisymmetryOnArbitrary ((>) :: Int -> Int -> Bool)4antisymmetryOnArbitrary ((>=) :: Int -> Int -> Bool)4antisymmetryOnArbitrary ((<=) :: Int -> Int -> Bool)3antisymmetryOnArbitrary ((<) :: Int -> Int -> Bool)HantisymmetryOnArbitrary (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)HantisymmetryOnArbitrary (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool)GantisymmetryOnArbitrary (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)IantisymmetryOnArbitrary ((\x y -> even x && odd y) :: Int -> Int -> Bool)6genvalidity-property A relationgenvalidity-propertyAn equivalence relationgenvalidity-property Two elements6789:;6789:; None@AX<genvalidity-propertyD Reflexive(\prec) \quad\equiv\quad \forall a: (a \prec a) >genvalidity-property9reflexivityOnValid ((<=) :: Rational -> Rational -> Bool)9reflexivityOnValid ((==) :: Rational -> Rational -> Bool)9reflexivityOnValid ((>=) :: Rational -> Rational -> Bool)MreflexivityOnValid (Data.List.isPrefixOf :: [Rational] -> [Rational] -> Bool)MreflexivityOnValid (Data.List.isSuffixOf :: [Rational] -> [Rational] -> Bool)LreflexivityOnValid (Data.List.isInfixOf :: [Rational] -> [Rational] -> Bool)?genvalidity-property(reflexivity ((<=) :: Int -> Int -> Bool)(reflexivity ((==) :: Int -> Int -> Bool)(reflexivity ((>=) :: Int -> Int -> Bool)<reflexivity (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)<reflexivity (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool);reflexivity (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)@genvalidity-property3reflexivityOnArbitrary ((<=) :: Int -> Int -> Bool)3reflexivityOnArbitrary ((==) :: Int -> Int -> Bool)3reflexivityOnArbitrary ((>=) :: Int -> Int -> Bool)GreflexivityOnArbitrary (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)GreflexivityOnArbitrary (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool)FreflexivityOnArbitrary (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)<genvalidity-property A relationgenvalidity-property An element<=>?@<=>?@ None@AX‰ÌAgenvalidity-propertyc Symmetric(\prec) \quad\equiv\quad \forall a, b: (a \prec b) \Leftrightarrow (b \prec a) Cgenvalidity-property2symmetryOnValid ((==) :: Double -> Double -> Bool)2symmetryOnValid ((/=) :: Double -> Double -> Bool)Dgenvalidity-property%symmetry ((==) :: Int -> Int -> Bool)%symmetry ((/=) :: Int -> Int -> Bool)Egenvalidity-property0symmetryOnArbitrary ((==) :: Int -> Int -> Bool)0symmetryOnArbitrary ((/=) :: Int -> Int -> Bool)Agenvalidity-property A relationgenvalidity-property Two elementsABCDEABCDE None@AX£ûFgenvalidity-propertyx Transitive(\prec) \quad\equiv\quad \forall a, b, c: ((a \prec b) \wedge (b \prec c)) \Rightarrow (a \prec c) Hgenvalidity-property5transitivityOnValid ((>) :: Double -> Double -> Bool)6transitivityOnValid ((>=) :: Double -> Double -> Bool)6transitivityOnValid ((==) :: Double -> Double -> Bool)6transitivityOnValid ((<=) :: Double -> Double -> Bool)5transitivityOnValid ((<) :: Double -> Double -> Bool)JtransitivityOnValid (Data.List.isPrefixOf :: [Double] -> [Double] -> Bool)JtransitivityOnValid (Data.List.isSuffixOf :: [Double] -> [Double] -> Bool)ItransitivityOnValid (Data.List.isInfixOf :: [Double] -> [Double] -> Bool)Igenvalidity-property(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)<transitivity (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)Jgenvalidity-property3transitivityOnArbitrary ((>) :: Int -> Int -> Bool)4transitivityOnArbitrary ((>=) :: Int -> Int -> Bool)4transitivityOnArbitrary ((==) :: Int -> Int -> Bool)4transitivityOnArbitrary ((<=) :: Int -> Int -> Bool)3transitivityOnArbitrary ((<) :: Int -> Int -> Bool)HtransitivityOnArbitrary (Data.List.isPrefixOf :: [Int] -> [Int] -> Bool)HtransitivityOnArbitrary (Data.List.isSuffixOf :: [Int] -> [Int] -> Bool)GtransitivityOnArbitrary (Data.List.isInfixOf :: [Int] -> [Int] -> Bool)Fgenvalidity-property A relationgenvalidity-propertyThree elementsFGHIJFGHIJNone@AX¤y123456789:;<=>?@ABCDEFGHIJ<=>?@FGHIJ6789:;12345ABCDE None@AX¼‹Kgenvalidity-property6shrinkPreservesValidOnGenValid ((:[]) :: Int -> [Int])Lgenvalidity-propertyDshrinkPreservesInvalidOnGenInvalid ((:[]) :: Rational -> [Rational])Mgenvalidity-property2shrinkValidPreservesValid (pure 5 :: Gen Rational)Ngenvalidity-propertyOgenvalidity-propertyAshrinkingStaysValid (pure 5 :: Gen Double) (\d -> [d - 1, d - 2])Pgenvalidity-propertyQshrinkingStaysValidWithLimit (pure 5 :: Gen Double) (\d -> [d - 1, read "NaN"]) 1Qgenvalidity-property6shrinkingStaysInvalid (pure (1/0) :: Gen Double) (:[])Rgenvalidity-property3shrinkingPreserves (pure 5 :: Gen Int) (:[]) (== 5)Sgenvalidity-property5shrinkingPreservesWithLimit (pure 4) (:[]) 100 (== 4)Tgenvalidity-propertyCshrinkDoesNotShrinkToItself (shrinkUnchecked :: Double -> [Double])Ugenvalidity-propertyPshrinkDoesNotShrinkToItselfWithLimit (shrinkUnchecked :: Double -> [Double]) 100Vgenvalidity-propertyKshrinkDoesNotShrinkToItselfOnValid (shrinkValid :: Rational -> [Rational])Wgenvalidity-propertyWshrinkDoesNotShrinkToItselfOnValidWithLimit (shrinkValid :: Rational -> [Rational]) 100Xgenvalidity-propertyNshrinkDoesNotShrinkToItselfOnInvalid (shrinkInvalid :: Rational -> [Rational])Ygenvalidity-property[shrinkDoesNotShrinkToItselfOnInvalidWithLimit (shrinkInvalid :: Rational -> [Rational]) 100Zgenvalidity-property<doesNotShrinkToItself (pure 5 :: Gen Double) shrinkUnchecked[genvalidity-propertyIdoesNotShrinkToItselfWithLimit (pure 5 :: Gen Double) shrinkUnchecked 100KLMNOPQRSTUVWXYZ[KLMNOPQRSTUVWXYZ[Safe@AX¾¿\genvalidity-property?A class of types that are the result of functions that can fail\]^\]^None@AXÁ!dgenvalidity-propertyµe is its own inverse function for every type: prop> inverseFunctionsOnArbitrary id (id :: Int -> Int)abcdefghijklmnopabcdefghijklmnopNone@AXĉtgenvalidity-propertyCequivalentOnArbitrary ((* 2) . (+ 1)) ((+ 2) . (* 2) :: Int -> Int)xgenvalidity-property5equivalentOnArbitrary2 (+) ((+) :: Int -> Int -> Int)$qrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”$qrstuvwxyz|{}~€‚„ƒ…†ˆ‡‰Š‹ŒŽ‘’“”None@AXÖl •genvalidity-propertyFThe function succeeds if the input is generated by the given generator–genvalidity-property3The function succeeds if the input is generated by genValid—genvalidity-property3The function succeeds if the input is generated by  genUnchecked˜genvalidity-property3The function succeeds if the input is generated by  arbitrary™genvalidity-propertyCThe function fails if the input is generated by the given generatoršgenvalidity-property0The function fails if the input is generated by  genInvalid›genvalidity-property,The function produces output that satisfies isValid@ if it is given input that is generated by the given generator.œgenvalidity-property,The function produces output that satisfies isValid, if it is given input that is generated by  arbitrary.genvalidity-property,The function produces output that satisfies isValid, if it is given input that is generated by  arbitrary.žgenvalidity-property,The function produces output that satisfies isValid, if it is given input that is generated by  genUnchecked.•–—˜™š›œžŸ ¡¢£¤¥¦§¨©ª«¬•–—˜Ÿ ¡¢™š£¤›œž¥¦§¨©ª«¬None@AXׂ\%&'()*+,-./0abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ ¡¢£¤¥¦§¨©ª«¬\%&'()*+,-./0•–—˜Ÿ ¡¢™š£¤›œž¥¦§¨©ª«¬qrstuvwxyz|{}~€‚„ƒ…†ˆ‡‰Š‹ŒŽ‘’“”abcdefghijklmnopNone@AXڸ䷸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øùúûüýþÿ  %&'()*+,-./0123456789:;<=>?@ABCDEFGHIJ\]^abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ ¡¢£¤¥¦§¨©ª«¬– %&'()*+,-./0\]^•–—˜Ÿ ¡¢™š£¤›œž¥¦§¨©ª«¬qrstuvwx‘’“”yz|{}~€‚„ƒ…†ˆ‡‰Š‹ŒŽabcdefghijklmnop<=>?@FGHIJ6789:;12345ABCDE  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKL M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q rstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÌÍÏÌÍÐÌÍÑÌÍÒÌÍÓÌÍÔÌÍÕÖרÖרÖ×ÙÖ×ÚÖ×ÛÖ×ÜÖ×ÝÖ×ÞÖ×ßÖ×àÖ×áÖ×âÖ×ãÖ×äÖ×åÖ׿Ö×çÖ×èÖ×éÖ×êÖ×ëÖ×ìÖ×íÖ×îÖ×ïÖ×ðÖ×ñÖ×òóôõóôöóô÷óôøóôùóôúóôûóôüóôýóôþóôÿóôóôóôóôóôóôóôóôóôóô óô óô óô óô óôóôóôóôóôóôóôóôóôóôóôóôóôóôóôóôóôóôóô !3genvalidity-property-0.3.0.0-LE4OOQ1jbvWBFQbpikwL59#Test.Validity.Functions.Idempotence"Test.Validity.GenValidity.Property&Test.Validity.Operations.Associativity&Test.Validity.Operations.Commutativity!Test.Validity.Operations.IdentityTest.Validity.Property.Utils Test.Validity.Functions.Validity'Test.Validity.Relations.Antireflexivity$Test.Validity.Relations.Antisymmetry#Test.Validity.Relations.Reflexivity Test.Validity.Relations.Symmetry$Test.Validity.Relations.Transitivity Test.Validity.Shrinking.PropertyTest.Validity.TypesTest.Validity.Functions.Inverse#Test.Validity.Functions.EquivalenceTest.Validity.Functions.CanFailPaths_genvalidity_propertyTest.Validity.OperationsTest.Validity.RelationsTest.Validity.FunctionsTest.Validity.PropertyidempotentOnGenidempotentOnValid idempotentidempotentOnArbitrarygenGeneratesValidgenGeneratesInvalidassociativeOnGensassociativeOnValids associativeassociativeOnArbitrarycommutativeOnGenscommutativeOnValids commutativecommutativeOnArbitraryleftIdentityOnElemWithEqualityleftIdentityOnGenWithEqualityleftIdentityOnGenleftIdentityOnValid leftIdentityleftIdentityOnArbitraryrightIdentityOnElemWithEqualityrightIdentityOnGenWithEqualityrightIdentityOnGenrightIdentityOnValid rightIdentityrightIdentityOnArbitrary identityOnGenidentityOnValididentityidentityOnArbitraryforAllUnchecked forAllValid forAllInvalid===><==> shouldBeValidshouldBeInvalidproducesValidsOnGenproducesValidsOnValids 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 failsOnGens2failsOnInvalid2validIfSucceedsOnGens2validIfSucceedsOnValids2validIfSucceeds2validIfSucceedsOnArbitrary2validIfSucceedsOnGens3validIfSucceedsOnValids3validIfSucceeds3validIfSucceedsOnArbitrary3version getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNamebaseGHC.Baseidconst Semigroup<>Monoidmemptymappendmconcat'validity-0.9.0.0-GDrMjG0VjB0KkQcRb3md2f Data.Validity Validation unValidationValidationChainLocationViolatedValidityvalidategenericValidatetrivialValidationcheckdeclareannotatedelvedecorate decorateListinvalidvalidvalidateNotNaNvalidateNotInfiniteisValidconstructValidconstructValidUnsafe checkValidityvalidationIsValidprettyValidateprettyValidation isInvalid*genvalidity-0.7.0.0-IlmjYfxM3v5DgG15zcbrPAData.GenValiditystructurallyValidSubterms"structurallyValidRecursivelyShrink,shrinkValidStructurallyWithoutExtraFilteringshrinkValidStructurally(genValidStructurallyWithoutExtraCheckinggenValidStructurallyuncheckedSubtermsuncheckedRecursivelyShrinkgenericShrinkUncheckedgenericGenUnchecked genListOf arbPartition genSplit5 genSplit4 genSplit3genSplitupToshrinkT3shrinkT2 GenUnchecked genUncheckedshrinkUncheckedGenValidgenValid shrinkValid GenInvalid genInvalid shrinkInvalid GGenUnchecked gGenUncheckedGUncheckedRecursivelyShrinkgUncheckedRecursivelyShrinkGUncheckedSubtermsgUncheckedSubtermsGUncheckedSubtermsInclgUncheckedSubtermsIncl GGenValid gGenValidGValidRecursivelyShrinkgValidRecursivelyShrinkGValidSubtermsgValidSubtermsGValidSubtermsInclgValidSubtermsIncl