úÎ!éCÜ ­      !"#$%&'()*+,-./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>?V ¾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>?V˜genvalidity-property4The given generator generates only valid data pointsgenvalidity-property6The given generator generates only invalid data pointsNone>?Vœ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>?Vh genvalidity-property^ Commutative(\star) \quad\equiv\quad \forall a, b: a \star b = b \star a genvalidity-property7commutativeOnValids ((+) :: Double -> Double -> Double)7commutativeOnValids ((*) :: Double -> Double -> Double) genvalidity-property&commutative ((+) :: Int -> Int -> Int)&commutative ((*) :: Int -> Int -> Int) genvalidity-property1commutativeOnArbitrary ((+) :: Int -> Int -> Int)1commutativeOnArbitrary ((*) :: Int -> Int -> Int)  None>?V;ü genvalidity-property[ LeftIdentity(\star, \doteq, b) \quad\equiv\quad \forall a: (b \star a) \doteq a genvalidity-property=leftIdentityOnValid (flip ((^) :: Double -> Int -> Double)) 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-property7rightIdentityOnValid ((^) :: Double -> Int -> Double) 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-property5identityOnValid ((*) :: Double -> Double -> Double) 15identityOnValid ((+) :: Double -> Double -> Double) 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>?V<Ò  None=Ð !"#$ #$"!None>?VDú%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>?VP¤1genvalidity-propertyM Antireflexive(\prec) \quad\equiv\quad \forall a: \neg (a \prec a) 3genvalidity-property8antireflexivityOnValid ((<) :: Double -> Double -> Bool)9antireflexivityOnValid ((/=) :: Double -> Double -> Bool)8antireflexivityOnValid ((>) :: Double -> Double -> 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>?Vkv6genvalidity-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>?Vó<genvalidity-propertyD Reflexive(\prec) \quad\equiv\quad \forall a: (a \prec a) >genvalidity-property5reflexivityOnValid ((<=) :: Double -> Double -> Bool)5reflexivityOnValid ((==) :: Double -> Double -> Bool)5reflexivityOnValid ((>=) :: Double -> Double -> Bool)IreflexivityOnValid (Data.List.isPrefixOf :: [Double] -> [Double] -> Bool)IreflexivityOnValid (Data.List.isSuffixOf :: [Double] -> [Double] -> Bool)HreflexivityOnValid (Data.List.isInfixOf :: [Double] -> [Double] -> 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>?Vˆ¼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>?V¢ë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>?V£i123456789:;<=>?@ABCDEFGHIJ<=>?@FGHIJ6789:;12345ABCDE None>?V¸DKgenvalidity-property$shrinkPreservesValidOnGenValid (:[])Lgenvalidity-property(shrinkPreservesInvalidOnGenInvalid (:[])Mgenvalidity-property"shrinkValidPreservesValid (pure 5)Ngenvalidity-property8shrinkInvalidPreservesInvalid (pure (1/0) :: Gen Double)Ogenvalidity-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-property(shrinkingPreserves (pure 5) (:[]) (== 5)Sgenvalidity-property5shrinkingPreservesWithLimit (pure 4) (:[]) 100 (== 4)Tgenvalidity-property+shrinkDoesNotShrinkToItself shrinkUncheckedUgenvalidity-property8shrinkDoesNotShrinkToItselfWithLimit shrinkUnchecked 100Vgenvalidity-property.shrinkDoesNotShrinkToItselfOnValid shrinkValidWgenvalidity-property;shrinkDoesNotShrinkToItselfOnValidWithLimit shrinkValid 100Xgenvalidity-property2shrinkDoesNotShrinkToItselfOnInvalid shrinkInvalidYgenvalidity-property?shrinkDoesNotShrinkToItselfOnInvalidWithLimit shrinkInvalid 100Zgenvalidity-property.doesNotShrinkToItself (pure 5) shrinkUnchecked[genvalidity-property;doesNotShrinkToItselfWithLimit (pure 5) shrinkUnchecked 100KLMNOPQRSTUVWXYZ[KLMNOPQRSTUVWXYZ[Safe>?Vºx\genvalidity-property?A class of types that are the result of functions that can fail\]^\]^None>?V¼Údgenvalidity-propertyµe is its own inverse function for every type: prop> inverseFunctionsOnArbitrary id (id :: Int -> Int)abcdefghijklmnopabcdefghijklmnopNone>?VÀBtgenvalidity-propertyCequivalentOnArbitrary ((* 2) . (+ 1)) ((+ 2) . (* 2) :: Int -> Int)xgenvalidity-property5equivalentOnArbitrary2 (+) ((+) :: Int -> Int -> Int)$qrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”$qrstuvwxyz|{}~€‚„ƒ…†ˆ‡‰Š‹ŒŽ‘’“”None>?VÒ% •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>?VÓ;\%&'()*+,-./0abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ ¡¢£¤¥¦§¨©ª«¬\%&'()*+,-./0•–—˜Ÿ ¡¢™š£¤›œž¥¦§¨©ª«¬qrstuvwxyz|{}~€‚„ƒ…†ˆ‡‰Š‹ŒŽ‘’“”abcdefghijklmnopNone>?VÖqз¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖרÙÚÛÜÝÞßàáâãäåæçèéêëìíîïð  %&'()*+,-./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.2.1.1-BUeWekAX5eDJoHQGEmQD1S#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.7.0.0-IAUu4Us1Nxz9hDCrt8ADs9 Data.Validity Validation unValidationValidationChainLocationViolatedValidityvalidategenericValidatetrivialValidationcheckdeclareannotatedelvedecorateinvalidvalidisValidconstructValidconstructValidUnsafe checkValidityprettyValidation isInvalid*genvalidity-0.5.1.0-5isf2bipKjrJOMHTOD0PiNData.GenValidityuncheckedSubtermsuncheckedRecursivelyShrinkgShrinkUnchecked genListOf arbPartition genSplit5 genSplit4 genSplit3genSplitupToshrinkT3shrinkT2 GenUnchecked genUncheckedshrinkUncheckedGenValidgenValid shrinkValid GenInvalid genInvalid shrinkInvalid GGenUnchecked gGenUncheckedGUncheckedRecursivelyShrinkgUncheckedRecursivelyShrinkGUncheckedSubtermsgUncheckedSubtermsGUncheckedSubtermsInclgUncheckedSubtermsIncl