yK      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ Safe (None ,>?FVh Asserts that a given  tree fails _somewhere_.TIt also shows the given string when reporting that the tree unexpectedly succeeded. |} }|None>?Vh OPQRSTU UTSRQPONone>?VhA 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 @MyOtherDataisValidFor a b implies  isValid a for all bisValidFor a b implies  isValid b for all aNone>?VhCStandard test spec for properties of Ord instances for valid valuesExample usage: ordSpecOnValid @DoubleEStandard test spec for properties of Ord instances for invalid valuesExample usage: ordSpecOnInvalid @DoubleGStandard test spec for properties of Ord instances for unchecked valuesExample usage:  ordSpec @IntGStandard test spec for properties of Ord instances for arbitrary valuesExample usage: ordSpecOnArbitrary @Int{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>?Vh'%Standard test spec for properties of  instances for valid valuesExample usage: monoidSpecOnValid @[Double]%Standard test spec for properties of  instances for unchecked valuesExample usage: monoidSpec @[Int]%Standard test spec for properties of  instances for arbitrary valuesExample usage: monoidSpecOnArbitrary @[Int]~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>?FVh6~aStandard test spec for properties of Monad instances for values generated with GenValid instancesExample usage: monadSpecOnArbitrary @[]eStandard test spec for properties of Monad instances for values generated with GenUnchecked instancesExample usage: monadSpecOnArbitrary @[]bStandard test spec for properties of Monad instances for values generated with Arbitrary instancesExample usage: monadSpecOnArbitrary @[]~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>?VhEA 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.Example usage: genValiditySpec @IntA Spec that specifies that genValid only generates valid data.Example usage: genValidSpec @IntA Spec that specifies that  genInvalid only generates invalid data.Example usage: genInvalidSpec @DoublegenValid only generates valid datagenValidGeneratesValid @()genValidGeneratesValid @Bool genValidGeneratesValid @OrderinggenValidGeneratesValid @ChargenValidGeneratesValid @IntgenValidGeneratesValid @FloatgenValidGeneratesValid @DoublegenValidGeneratesValid @Integer#genValidGeneratesValid @(Maybe Int)genValidGeneratesValid @[Int]genValid only generates invalid data!genInvalidGeneratesInvalid @Float"genInvalidGeneratesInvalid @Double*genInvalidGeneratesInvalid @(Maybe Double)$genInvalidGeneratesInvalid @[Double] None>?VhM+A 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 @MyOtherData genValidFor b$ only generates values that satisfy  isValidFor bgenInvalidFor b+ only generates values that do not satisfy  isValidFor b None>?FVhYcStandard test spec for properties of Functor instances for values generated with GenValid instancesExample usage: functorSpecOnArbitrary @[]gStandard test spec for properties of Functor instances for values generated with GenUnchecked instancesExample usage: functorSpecOnArbitrary @[]dStandard test spec for properties of Functor instances for values generated with Arbitrary instancesExample usage: functorSpecOnArbitrary @[]Standard 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>?VhcBStandard test spec for properties of Eq instances for valid valuesExample usage: eqSpecOnValid @DoubleDStandard test spec for properties of Eq instances for invalid valuesExample usage: eqSpecOnInvalid @DoubleFStandard test spec for properties of Eq instances for unchecked valuesExample usage:  eqSpec @IntFStandard test spec for properties of Eq instances for arbitrary valuesExample usage: eqSpecOnArbitrary @IntzStandard 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>?VhgA Spec that specifies that  arbitrary# only generates data that satisfy isValidExample usage: arbitrarySpec @Int arbitrary only generates valid data arbitraryGeneratesOnlyValid @Int None>?FVhwgStandard test spec for properties of Applicative instances for values generated with GenValid instancesExample usage: applicativeSpecOnArbitrary @[]kStandard test spec for properties of Applicative instances for values generated with GenUnchecked instancesExample usage: applicativeSpecOnArbitrary @[]hStandard test spec for properties of Applicative instances for values generated with Arbitrary instancesExample usage: applicativeSpecOnArbitrary @[]Standard 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>?Vx       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKNMLOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~~}|UTSRQPO{zyxwvutsrqpNML  ;:9876543201/.,-+*()'&$%#"! KJIHGFEDCBA@?>=<dcba`ZYXWVjihgfeonmlk_^]\[ !"#$%&'()*)+),)-).)/)0)1)2)3)4)5)6)7)8)9):);)<)=)>)?)@)A)B)C)D)E)F)G)H)I)J)K)L)MNONPNQNRNSNTNUNVNWNXNYNZN[N\N]N^_`_a_bcdcecfcgchcicjklkmknkokpqrqsqtquqvwxwywzw{w|}~}}}}}                                                !"#$%&'()*+,-./0123456789:;<0genvalidity-hspec-0.6.0.2-AFze5n2rFACK64l4G0I8J6 Test.ValidityTest.Validity.ShrinkingTest.Validity.UtilsTest.Validity.GenValidityTest.Validity.RelativeValidityTest.Validity.OrdTest.Validity.MonoidTest.Validity.Monad!Test.Validity.GenRelativeValidityTest.Validity.FunctorTest.Validity.EqTest.Validity.ArbitraryTest.Validity.ApplicativePaths_genvalidity_hspec3genvalidity-property-0.2.0.1-BlRA1pSLUr72dZOhTQ1X9ITest.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 producesValidproducesValidsOnValidsproducesValidsOnGenTest.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.GenValidity.PropertygenGeneratesInvalidgenGeneratesValid#Test.Validity.Functions.IdempotenceidempotentOnArbitrary idempotentidempotentOnValididempotentOnGenAnonnameOfgenDescr binRelStr failsBecause shouldFail $fFunctorAnon $fShowAnonshrinkValiditySpecshrinkValidSpecshrinkInvalidSpec#shrinkValidPreservesValidOnGenValid)shrinkInvalidPreservesInvalidOnGenInvalidrelativeValiditySpecrelativeValidityImpliesValidArelativeValidityImpliesValidBordSpecOnValidordSpecOnInvalidordSpecordSpecOnArbitrary ordSpecOnGenmonoidSpecOnValid monoidSpecmonoidSpecOnArbitrarymonoidSpecOnGenmonadSpecOnValid monadSpecmonadSpecOnArbitrarymonadSpecOnGensgenValiditySpec genValidSpecgenInvalidSpecgenValidGeneratesValidgenInvalidGeneratesInvalidgenRelativeValiditySpecgenRelativeValidSpecgenRelativeInvalidSpecgenRelativeValidGeneratesValid"genRelativeInvalidGeneratesInvalidfunctorSpecOnValid functorSpecfunctorSpecOnArbitraryfunctorSpecOnGens eqSpecOnValideqSpecOnInvalideqSpeceqSpecOnArbitrary eqSpecOnGen arbitrarySpecarbitraryGeneratesOnlyValidapplicativeSpecOnValidapplicativeSpecapplicativeSpecOnArbitraryapplicativeSpecOnGensversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName'hspec-core-2.5.0-1RN8KyHhBKhHgB6CtmSEK0Test.Hspec.Core.Spec.MonadSpecbaseGHC.BaseMonoid*genvalidity-0.5.0.2-FS1XOFFPdKbFUiAnOL77MBData.GenValidityGenValid GenInvalidmemptymappendmconcat'validity-0.5.0.0-KUXfF57kEp8ANLGKT9YxF9 Data.Validity Validation unValidationValidationChainLocationViolatedValidityvalidateisValidtrivialValidationcheckdeclareinvalidvalidannotatedelveconstructValidconstructValidUnsafe checkValidityprettyValidation isInvaliduncheckedSubtermsuncheckedRecursivelyShrinkgShrinkUnchecked genListOf arbPartition genSplit5 genSplit4 genSplit3genSplitupToshrinkT3shrinkT2 GenUnchecked genUncheckedshrinkUncheckedgenValid shrinkValid genInvalid shrinkInvalid GGenUnchecked gGenUncheckedGUncheckedRecursivelyShrinkgUncheckedRecursivelyShrinkGUncheckedSubtermsgUncheckedSubtermsGUncheckedSubtermsInclgUncheckedSubtermsIncl