!"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ None +<=DTfAsserts that a given  tree fails _somewhere_.TIt also shows the given string when reporting that the tree unexpectedly succeeded. None<=Tf None<=TfA 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<=TfCStandard 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<=Tf%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<=DTfaStandard 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<=TfA 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<=TfA 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<=DTfcStandard 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<=TfBStandard 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<=TfA Spec that specifies that  arbitrary# only generates data that satisfy isValidExample usage: arbitrarySpec @Int arbitrary only generates valid data arbitraryGeneratesOnlyValid @Int None<=DTfgStandard 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<=T      !"#  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~]\[ZYXWVUTSRQP  ;:9876543201/.,-+*()'&$%#"! ONMLKJIHGFEDCBA@?>=<zyxwv~}|{utsrqponmlkjihgfa`_^edcb$ !"#$%&'()(*(+(,(-(.(/(0(1(2(3(4(5(6(7(8(9(:(;(<(=(>(?(@(A(B(C(D(E(F(G(H(I(J(K(LMNMOMPMQRSRTRURVRWRXRYRZR[R\R]R^R_R`RaRbcdcecfcgchcicjckclcmcncopqprstsusvswxyxzx{x|}~}}}}}}}}}}}}}}}            !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJ0genvalidity-hspec-0.5.0.0-4TK5wzVT1RL4ugtXlQooM4 Test.ValidityTest.Validity.GenValidityTest.Validity.ShrinkingTest.Validity.UtilsTest.Validity.RelativeValidityTest.Validity.OrdTest.Validity.MonoidTest.Validity.Monad!Test.Validity.GenRelativeValidityTest.Validity.FunctorTest.Validity.EqTest.Validity.ArbitraryTest.Validity.Applicative3genvalidity-property-0.1.0.0-2aTJQxPFiWJ6OlajDTgT0fTest.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 equivalentequivalentOnValidequivalentOnGen#Test.Validity.Functions.IdempotenceidempotentOnArbitrary idempotentidempotentOnValididempotentOnGenTest.Validity.Functions.Inverse$inverseFunctionsIfSucceedOnArbitraryinverseFunctionsIfSucceed inverseFunctionsIfSucceedOnValidinverseFunctionsIfSucceedOnGen+inverseFunctionsIfSecondSucceedsOnArbitrary inverseFunctionsIfSecondSucceeds'inverseFunctionsIfSecondSucceedsOnValid%inverseFunctionsIfSecondSucceedsOnGen*inverseFunctionsIfFirstSucceedsOnArbitraryinverseFunctionsIfFirstSucceeds&inverseFunctionsIfFirstSucceedsOnValid$inverseFunctionsIfFirstSucceedsOnGeninverseFunctionsOnArbitraryinverseFunctionsinverseFunctionsOnValidinverseFunctionsOnGen Test.Validity.Functions.ValidityproducesValidsOnArbitrary3producesValid3producesValidsOnValids3producesValidsOnGens3producesValidsOnArbitrary2producesValid2producesValidsOnValids2producesValidsOnGens2producesValidsOnArbitrary producesValidproducesValidsOnValidsproducesValidsOnGen"Test.Validity.GenValidity.PropertygenGeneratesInvalidgenGeneratesValid&Test.Validity.Operations.AssociativityassociativeOnArbitrary associativeassociativeOnValidsassociativeOnGens&Test.Validity.Operations.CommutativitycommutativeOnArbitrary commutativecommutativeOnValidscommutativeOnGens!Test.Validity.Operations.IdentityidentityOnArbitraryidentityidentityOnValid identityOnGenrightIdentityOnArbitrary rightIdentityrightIdentityOnValidrightIdentityOnGenrightIdentityOnGenWithEqualityrightIdentityOnElemWithEqualityleftIdentityOnArbitrary leftIdentityleftIdentityOnValidleftIdentityOnGenleftIdentityOnGenWithEqualityleftIdentityOnElemWithEquality$Test.Validity.Relations.TransitivitytransitivityOnArbitrary transitivitytransitivityOnValidtransitivityOnGenstransitiveOnElems Test.Validity.Relations.SymmetrysymmetryOnArbitrarysymmetrysymmetryOnValidsymmetryOnGenssymmetricOnElems$Test.Validity.Relations.AntisymmetryantisymmetryOnArbitrary antisymmetryantisymmetryOnValidantisymmetryOnGensantisymmetryOnGensWithEquality antisymmetricOnElemsWithEqualityTest.Validity.Property.Utils forAllInvalid forAllValidforAllUnchecked'Test.Validity.Relations.AntireflexivityantireflexivityOnArbitraryantireflexivityantireflexivityOnValidantireflexivityOnGenantireflexiveOnElem#Test.Validity.Relations.ReflexivityreflexivityOnArbitrary reflexivityreflexivityOnValidreflexivityOnGenreflexiveOnElem Test.Validity.Shrinking.PropertyshrinkingPreservesshrinkingStaysInvalidshrinkingStaysValidshrinkInvalidPreservesInvalidshrinkValidPreservesValid"shrinkPreservesInvalidOnGenInvalidshrinkPreservesValidOnGenValidTest.Validity.TypesresultIfSucceeded hasFailedCanFailAnonnameOfgenDescr binRelStr failsBecause shouldFail shouldBeValidshouldBeInvalid $fFunctorAnon $fShowAnonshrinkValiditySpecshrinkValidSpecshrinkInvalidSpec#shrinkValidPreservesValidOnGenValid)shrinkInvalidPreservesInvalidOnGenInvalidrelativeValiditySpecrelativeValidityImpliesValidArelativeValidityImpliesValidBordSpecOnValidordSpecOnInvalidordSpecordSpecOnArbitrary ordSpecOnGenmonoidSpecOnValid monoidSpecmonoidSpecOnArbitrarymonoidSpecOnGenmonadSpecOnValid monadSpecmonadSpecOnArbitrarymonadSpecOnGensgenValiditySpec genValidSpecgenInvalidSpecgenValidGeneratesValidgenInvalidGeneratesInvalidgenRelativeValiditySpecgenRelativeValidSpecgenRelativeInvalidSpecgenRelativeValidGeneratesValid"genRelativeInvalidGeneratesInvalidfunctorSpecOnValid functorSpecfunctorSpecOnArbitraryfunctorSpecOnGens eqSpecOnValideqSpecOnInvalideqSpeceqSpecOnArbitrary eqSpecOnGen arbitrarySpecarbitraryGeneratesOnlyValidapplicativeSpecOnValidapplicativeSpecapplicativeSpecOnArbitraryapplicativeSpecOnGens'hspec-core-2.4.4-AttqcuBKAr7CVXzzXe4uWwTest.Hspec.Core.Spec.MonadSpec produceResult leTypeStr geTypeStr ltTypeStr gtTypeStrbaseGHC.BaseMonoid memptyTypeStrmappendTypeStrmconcatTypeStr returnTypeStr bindTypeStrmonadSpecWithInts*genvalidity-0.4.0.0-HZgC5nDsOfb8kTMFmfzb7KData.GenValidityGenValid GenInvalid fmapTypeStr flTypeStrfunctorSpecWithInts eqTypeStr neqTypeStr pureTypeStr seqTypeStr seqrTypeStr seqlTypeStrapplicativeSpecWithIntsmemptymappendmconcat%validity-0.4.0.0-4VjJnV4ZfnbtA8pppYCP Data.Validity Validation unValidationValidationChainLocationViolatedValidityvalidateisValidtriviallyValidisValidByValidatingtrivialValidationvalidateByCheckingvalidateByCheckingNamevalidateByCheckingDefaultcheckannotateconstructValidconstructValidUnsafe checkValidityprettyValidation isInvaliduncheckedSubtermsuncheckedRecursivelyShrinkgShrinkUnchecked genListOf arbPartition genSplit4 genSplit3genSplitupToshrinkT3shrinkT2 GenUnchecked genUncheckedshrinkUncheckedgenValid shrinkValid genInvalid shrinkInvalid GGenUnchecked gGenUncheckedGUncheckedRecursivelyShrinkgUncheckedRecursivelyShrinkGUncheckedSubtermsgUncheckedSubtermsGUncheckedSubtermsInclgUncheckedSubtermsIncl