!(      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~  Safe None -@AHXkgenvalidity-hspecAsserts that a given  tree fails _somewhere_.TIt also shows the given string when reporting that the tree unexpectedly succeeded. ~ ~None@AXkOPQRSTUUTSRQPONone@AXk genvalidity-hspecMStandard test spec for properties of Show and Read instances for valid valuesExample usage: showReadSpecOnValid @Doublegenvalidity-hspecQStandard test spec for properties of Show and Read instances for unchecked valuesExample usage: showReadSpec @Intgenvalidity-hspecQStandard test spec for properties of Show and Read instances for arbitrary valuesExample usage: showReadSpecOnArbitrary @Doublegenvalidity-hspecgStandard test spec for properties of Show and Read instances for values generated by a custom generatorExample usage: =showReadSpecOnGen ((* 2) <$> genValid @Int) "even" (const [])genvalidity-hspec"showReadRoundTripOnValid @Rationalgenvalidity-hspecshowReadRoundTrip @Intgenvalidity-hspec$showReadRoundTripOnArbitrary @Doublegenvalidity-hspecCshowReadRoundTripOnGen (abs <$> genUnchecked :: Gen Int) (const [])None@AXk%genvalidity-hspecA Spec that specifies that  isValidFor implies isValidIIn 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-hspecisValidFor a b implies  isValid a for all bgenvalidity-hspecisValidFor a b implies  isValid b for all aNone@AXk0genvalidity-hspecCStandard test spec for properties of Ord instances for valid valuesExample usage: ordSpecOnValid @Doublegenvalidity-hspecEStandard test spec for properties of Ord instances for invalid valuesExample usage: ordSpecOnInvalid @Doublegenvalidity-hspecGStandard test spec for properties of Ord instances for unchecked valuesExample usage:  ordSpec @Intgenvalidity-hspecGStandard test spec for properties of Ord instances for arbitrary valuesExample usage: ordSpecOnArbitrary @Intgenvalidity-hspec{Standard 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"None@AXk:{genvalidity-hspec%Standard test spec for properties of  instances for valid valuesExample usage: monoidSpecOnValid @[Double]genvalidity-hspec%Standard test spec for properties of  instances for unchecked valuesExample usage: monoidSpec @[Int]genvalidity-hspec%Standard test spec for properties of  instances for arbitrary valuesExample usage: monoidSpecOnArbitrary @[Int]genvalidity-hspec~Standard 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'" None@AHXkIgenvalidity-hspecaStandard test spec for properties of Monad instances for values generated with GenValid instancesExample usage: monadSpecOnValid @[]genvalidity-hspeceStandard test spec for properties of Monad instances for values generated with GenUnchecked instancesExample usage:  monadSpec @[]genvalidity-hspecbStandard test spec for properties of Monad instances for values generated with Arbitrary instancesExample usage: monadSpecOnArbitrary @[]genvalidity-hspec~Standard test spec for properties of Monad instances for values generated by given generators (and names for those generator).Example usage: JmonadSpecOnGens @[] @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"None@AXkagenvalidity-hspecA spec for properties of  and  instances.jIn 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-hspecA Spec that specifies that genValid only generates valid data.jIn 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-hspecA Spec that specifies that  genInvalid only generates invalid data.eNote 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-hspecgenValid only generates valid datagenValidGeneratesValid @()genValidGeneratesValid @Bool genValidGeneratesValid @OrderinggenValidGeneratesValid @ChargenValidGeneratesValid @IntgenValidGeneratesValid @FloatgenValidGeneratesValid @DoublegenValidGeneratesValid @Integer#genValidGeneratesValid @(Maybe Int)genValidGeneratesValid @[Int]genvalidity-hspecgenValid only generates invalid data$genInvalidGeneratesInvalid @Rational$genInvalidGeneratesInvalid @Rational,genInvalidGeneratesInvalid @(Maybe Rational)&genInvalidGeneratesInvalid @[Rational]|}}| None@AXki&genvalidity-hspecA Spec that specifies that  genValidFor and  genInvalidFor work as intended.jIn 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-hspec genValidFor b$ only generates values that satisfy  isValidFor bgenvalidity-hspecgenInvalidFor b+ only generates values that do not satisfy  isValidFor b None@AHXkvgenvalidity-hspeccStandard test spec for properties of Functor instances for values generated with GenValid instancesExample usage: functorSpecOnArbitrary @[]genvalidity-hspecgStandard test spec for properties of Functor instances for values generated with GenUnchecked instancesExample usage: functorSpecOnArbitrary @[]genvalidity-hspecdStandard test spec for properties of Functor instances for values generated with Arbitrary instancesExample usage: functorSpecOnArbitrary @[]genvalidity-hspecStandard 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@AXkgenvalidity-hspecBStandard test spec for properties of Eq instances for valid valuesExample usage: eqSpecOnValid @Doublegenvalidity-hspecDStandard test spec for properties of Eq instances for invalid valuesExample usage: eqSpecOnInvalid @Doublegenvalidity-hspecFStandard test spec for properties of Eq instances for unchecked valuesExample usage:  eqSpec @Intgenvalidity-hspecFStandard test spec for properties of Eq instances for arbitrary valuesExample usage: eqSpecOnArbitrary @Intgenvalidity-hspeczStandard 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" None@AXkgenvalidity-hspecA Spec that specifies that  arbitrary# only generates data that satisfy isValidExample usage: arbitrarySpec @Intgenvalidity-hspec arbitrary only generates valid data arbitraryGeneratesOnlyValid @IntNone@AHXkgenvalidity-hspecgStandard test spec for properties of Applicative instances for values generated with GenValid instancesExample usage: applicativeSpecOnArbitrary @[]genvalidity-hspeckStandard test spec for properties of Applicative instances for values generated with GenUnchecked instancesExample usage: applicativeSpecOnArbitrary @[]genvalidity-hspechStandard test spec for properties of Applicative instances for values generated with Arbitrary instancesExample usage: applicativeSpecOnArbitrary @[]genvalidity-hspecStandard test spec for properties of Applicative instances for values generated by given generators (and names for those generator).WUnless 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"None@AX1      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOP  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKNMLOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~~}|UTSRQPO{zyxwvutsrqpNML  ;:9876543201/.,-+*()'&$%#"! KJIHGFEDCBA@?>=<dcba`ZYXWVjihgfeonmlk_^]\[Q !"#$%&'()*+*,*-*.*/*0*1*2*3*4*5*6*7*8*9*:*;*<*=*>*?*@*A*B*C*D*E*F*G*H*I*J*K*L*M*NOPOQOROSOTOUOVOWOXOYOZO[O\O]O^O_`a`b`cdedfdgdhdidjdklmlnlolplqrsrtrurvrwxyxzx{x|x}~~~~~~          !"#$%&&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefgfhfifjfkflfmfnfofpfqfrfsftfufvfwfxfyfzf{f|}0genvalidity-hspec-0.7.0.4-2dpahmdriaE8TPDTvHEfqO Test.ValidityTest.Validity.ShrinkingTest.Validity.GenValidityTest.Validity.UtilsTest.Validity.ShowTest.Validity.RelativeValidityTest.Validity.OrdTest.Validity.MonoidTest.Validity.Monad!Test.Validity.GenRelativeValidityTest.Validity.FunctorTest.Validity.EqTest.Validity.ArbitraryTest.Validity.ApplicativePaths_genvalidity_hspec3genvalidity-property-0.5.0.1-A0aOImIvh5bGoWaJw55H71Test.Validity.Functions.CanFailvalidIfSucceedsOnArbitrary3validIfSucceeds3validIfSucceedsOnValids3validIfSucceedsOnGens3validIfSucceedsOnArbitrary2validIfSucceeds2validIfSucceedsOnValids2validIfSucceedsOnGens2failsOnInvalid2 failsOnGens2succeedsOnArbitrary2 succeeds2succeedsOnValids2succeedsOnGens2validIfSucceedsvalidIfSucceedsOnArbitraryvalidIfSucceedsOnValidvalidIfSucceedsOnGenfailsOnInvalid failsOnGensucceedsOnArbitrarysucceedssucceedsOnValid succeedsOnGen#Test.Validity.Functions.EquivalenceequivalentOnArbitrary3 equivalent3equivalentOnValids3equivalentOnGens3equivalentWhenSucceed2!equivalentWhenSucceedOnArbitrary2equivalentWhenSucceedOnValids2equivalentWhenSucceedOnGens2 equivalentWhenSucceedOnArbitraryequivalentWhenSucceedequivalentWhenSucceedOnValidequivalentWhenSucceedOnGenequivalentWhenSecondSucceeds2(equivalentWhenSecondSucceedsOnArbitrary2%equivalentWhenSecondSucceedsOnValids2#equivalentWhenSecondSucceedsOnGens2equivalentWhenSecondSucceeds'equivalentWhenSecondSucceedsOnArbitrary#equivalentWhenSecondSucceedsOnValid!equivalentWhenSecondSucceedsOnGenequivalentWhenFirstSucceeds2'equivalentWhenFirstSucceedsOnArbitrary2$equivalentWhenFirstSucceedsOnValids2"equivalentWhenFirstSucceedsOnGens2equivalentWhenFirstSucceeds&equivalentWhenFirstSucceedsOnArbitrary"equivalentWhenFirstSucceedsOnValid equivalentWhenFirstSucceedsOnGenequivalentOnArbitrary2 equivalent2equivalentOnValids2equivalentOnGens2equivalentOnArbitrary equivalentequivalentOnValidequivalentOnGenTest.Validity.Functions.Inverse$inverseFunctionsIfSucceedOnArbitraryinverseFunctionsIfSucceed inverseFunctionsIfSucceedOnValidinverseFunctionsIfSucceedOnGen+inverseFunctionsIfSecondSucceedsOnArbitrary inverseFunctionsIfSecondSucceeds'inverseFunctionsIfSecondSucceedsOnValid%inverseFunctionsIfSecondSucceedsOnGen*inverseFunctionsIfFirstSucceedsOnArbitraryinverseFunctionsIfFirstSucceeds&inverseFunctionsIfFirstSucceedsOnValid$inverseFunctionsIfFirstSucceedsOnGeninverseFunctionsOnArbitraryinverseFunctionsinverseFunctionsOnValidinverseFunctionsOnGenTest.Validity.TypesresultIfSucceeded hasFailedCanFail Test.Validity.Shrinking.PropertyshrinkingPreservesshrinkingStaysInvalidshrinkingStaysValidshrinkInvalidPreservesInvalidshrinkValidPreservesValid"shrinkPreservesInvalidOnGenInvalidshrinkPreservesValidOnGenValid$Test.Validity.Relations.TransitivitytransitivityOnArbitrary transitivitytransitivityOnValidtransitivityOnGenstransitiveOnElems Test.Validity.Relations.SymmetrysymmetryOnArbitrarysymmetrysymmetryOnValidsymmetryOnGenssymmetricOnElems#Test.Validity.Relations.ReflexivityreflexivityOnArbitrary reflexivityreflexivityOnValidreflexivityOnGenreflexiveOnElem$Test.Validity.Relations.AntisymmetryantisymmetryOnArbitrary antisymmetryantisymmetryOnValidantisymmetryOnGensantisymmetryOnGensWithEquality antisymmetricOnElemsWithEquality'Test.Validity.Relations.AntireflexivityantireflexivityOnArbitraryantireflexivityantireflexivityOnValidantireflexivityOnGenantireflexiveOnElem Test.Validity.Functions.ValidityproducesValidsOnArbitrary3producesValid3producesValidsOnValids3producesValidsOnGens3producesValidsOnArbitrary2producesValid2producesValidsOnValids2producesValidsOnGens2producesValidsOnArbitrary producesValidproducesValidsOnValidsproducesValidsOnGen"Test.Validity.GenValidity.PropertygenGeneratesInvalidgenGeneratesValidTest.Validity.Property.UtilsshouldBeInvalid shouldBeValid forAllInvalid forAllValidforAllUnchecked!Test.Validity.Operations.IdentityidentityOnArbitraryidentityidentityOnValid identityOnGenrightIdentityOnArbitrary rightIdentityrightIdentityOnValidrightIdentityOnGenrightIdentityOnGenWithEqualityrightIdentityOnElemWithEqualityleftIdentityOnArbitrary leftIdentityleftIdentityOnValidleftIdentityOnGenleftIdentityOnGenWithEqualityleftIdentityOnElemWithEquality&Test.Validity.Operations.CommutativitycommutativeOnArbitrary commutativecommutativeOnValidscommutativeOnGens&Test.Validity.Operations.AssociativityassociativeOnArbitrary associativeassociativeOnValidsassociativeOnGens#Test.Validity.Functions.IdempotenceidempotentOnArbitrary idempotentidempotentOnValididempotentOnGenAnonnameOfgenDescr binRelStr failsBecause shouldFail $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 getSysconfDirgetDataFileName'hspec-core-2.7.1-LncNQsaKplaGy9KF6p6spjTest.Hspec.Core.Spec.MonadSpecbaseGHC.BaseMonoid+genvalidity-0.10.0.0-8L5lcy9IQrUJZpvcIym1vRData.GenValidityGenValid GenInvalidGHC.ShowShow'validity-0.9.0.3-4C20nMGz5mPJx03kCOo2IE Data.ValidityisValid Semigroup<>memptymappendmconcat(QuickCheck-2.13.2-1FftnVviu6BCWJanU0jy5VTest.QuickCheck.Genshuffle Validation unValidationValidationChainLocationViolatedValidityvalidategenericValidatetrivialValidationcheckdeclareannotatedelvedecorate decorateListinvalidvalid&validateCharNotUtf16SurrogateCodePointisUtf16SurrogateCodePointvalidateNotNaNvalidateNotInfinitevalidateRatioNotNaNvalidateRatioNotInfinitevalidateRatioNormalisedconstructValidconstructValidUnsafe checkValidityvalidationIsValidprettyValidateprettyValidation isInvalidstructurallyValidSubterms,shrinkValidStructurallyWithoutExtraFilteringshrinkValidStructurally(genValidStructurallyWithoutExtraCheckinggenValidStructurallyuncheckedSubtermsuncheckedRecursivelyShrinkgenericShrinkUncheckedgenericGenUncheckedgenUtf16SurrogateCodePoint GenUnchecked genUncheckedshrinkUncheckedgenValid shrinkValid genInvalid shrinkInvalid GGenUnchecked gGenUncheckedGUncheckedRecursivelyShrinkgUncheckedRecursivelyShrinkGUncheckedSubtermsgUncheckedSubtermsGUncheckedSubtermsInclgUncheckedSubtermsIncl GGenValid gGenValidGValidRecursivelyShrinkgValidRecursivelyShrinkGValidSubtermsgValidSubtermsGValidSubtermsInclgValidSubtermsInclData.GenValidity.Utils genInteger genFloatX genDoublegenFloatgenWordXgenIntXshrinkT4shrinkT3shrinkT2 shrinkTuple genListOf genListLength genNonEmptyOf arbPartition genSplit8 genSplit7 genSplit6 genSplit5 genSplit4 genSplit3genSplitupTo