h&%!      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~            Safe-Inferred Safe-Inferred 0}genvalidity-hspecAsserts that a given  tree fails _somewhere_.It also shows the given string when reporting that the tree unexpectedly succeeded. _`xyz{|}~ z{|~}xy`_ Safe-Inferred ;<=> >=<; Safe-Inferred'genvalidity-hspecStandard test spec for properties of Show and Read instances for valid valuesExample usage: showReadSpec @Intgenvalidity-hspecStandard test spec for properties of Show and Read instances for arbitrary valuesExample usage: showReadSpecOnArbitrary @Doublegenvalidity-hspecStandard test spec for properties of Show and Read instances for values generated by a custom generatorExample usage: =showReadSpecOnGen ((* 2) <$> genValid @Int) "even" (const [])genvalidity-hspecshowReadRoundTrip @Intgenvalidity-hspec$showReadRoundTripOnArbitrary @Doublegenvalidity-hspec?showReadRoundTripOnGen (abs <$> genValid :: Gen Int) (const []) Safe-Inferred Tgenvalidity-hspecStandard test spec for properties of Ord instances for valid valuesExample usage:  ordSpec @Intgenvalidity-hspecStandard test spec for properties of Ord instances for arbitrary valuesExample usage: ordSpecOnArbitrary @Intgenvalidity-hspecStandard 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" Safe-Inferred !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 valid valuesExample usage: monoidSpec @[Int]genvalidity-hspec%Standard test spec for properties of  instances for arbitrary valuesExample usage: monoidSpecOnArbitrary @[Int]genvalidity-hspecStandard 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'" Safe-Inferredgenvalidity-hspecStandard test spec for properties of Monad instances for values generated with GenValid instancesExample usage:  monadSpec @[]genvalidity-hspecStandard test spec for properties of Monad instances for values generated with Arbitrary instancesExample usage: monadSpecOnArbitrary @[]genvalidity-hspecStandard test spec for properties of Monad instances for values generated by given generators (and names for those generator).Example usage: monadSpecOnGens @[] @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" Safe-Inferredogenvalidity-hspecA Spec that specifies that genValid only generates valid data.In 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-hspecgenValid only generates valid datagenValidGeneratesValid @()genValidGeneratesValid @Bool genValidGeneratesValid @OrderinggenValidGeneratesValid @ChargenValidGeneratesValid @IntgenValidGeneratesValid @FloatgenValidGeneratesValid @DoublegenValidGeneratesValid @Integer#genValidGeneratesValid @(Maybe Int)genValidGeneratesValid @[Int]]^^]  Safe-Inferreddgenvalidity-hspecStandard test spec for properties of Functor instances for values generated with GenValid instancesExample usage: functorSpecOnArbitrary @[]genvalidity-hspecStandard 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"  Safe-Inferredgenvalidity-hspecStandard test spec for properties of Eq instances for valid valuesExample usage:  eqSpec @Intgenvalidity-hspecStandard test spec for properties of Eq instances for arbitrary valuesExample usage: eqSpecOnArbitrary @Intgenvalidity-hspecStandard 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"  Safe-Inferredgenvalidity-hspecA Spec that specifies that  arbitrary# only generates data that satisfy isValidExample usage: arbitrarySpec @Intgenvalidity-hspec arbitrary only generates valid data arbitraryGeneratesOnlyValid @Int  Safe-Inferredgenvalidity-hspecStandard test spec for properties of Applicative instances for values generated with GenValid instancesExample usage: applicativeSpecOnArbitrary @[]genvalidity-hspecStandard 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).Unless 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" Safe-Inferred  !"#$%&'()*+,-./01234567:98;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\^_`abcdefghijklmnopqrstuvwa`_^>=<;\[ZYXWVUT:98   +*)('&%#$" !76543210/.-,wvuJIHGBA@?ONMLKSRQPFEDCnmlkjihgfedcbtsrqpo !"!#!$!%!&!'!(!)!*!+!,!-!.!/!0!1!2!3!4!5!6!7!8!9!:!;!<=>=?=@=A=B=C=D=E=F=G=H=IJKJLJMNONPNQNRSTSUSVSWXYXZX[X\]^]_]`]abcbdbebfbghihjhkhlmnmompmqmrmsmtmumvwxwyz{z|z}~~~~~~~~~~~~~                   0genvalidity-hspec-1.0.0.2-Hl9m64q3Uze7KOI7uxEOpw Test.ValidityTest.Validity.ShrinkingTest.Validity.GenValidityTest.Validity.UtilsTest.Validity.ShowTest.Validity.OrdTest.Validity.MonoidTest.Validity.MonadTest.Validity.FunctorTest.Validity.EqTest.Validity.ArbitraryTest.Validity.ApplicativePaths_genvalidity_hspec3genvalidity-property-1.0.0.0-F0JwYdLzyDzF5iBpfaeTNQTest.Validity.Functions.CanFailvalidIfSucceedsOnArbitrary3validIfSucceeds3validIfSucceedsOnGens3validIfSucceedsOnArbitrary2validIfSucceeds2validIfSucceedsOnGens2 failsOnGens2succeedsOnArbitrary2 succeeds2succeedsOnGens2validIfSucceedsvalidIfSucceedsOnArbitraryvalidIfSucceedsOnGen failsOnGensucceedsOnArbitrarysucceeds succeedsOnGen#Test.Validity.Functions.EquivalenceequivalentOnArbitrary3 equivalent3equivalentOnGens3equivalentWhenSucceed2!equivalentWhenSucceedOnArbitrary2equivalentWhenSucceedOnGens2 equivalentWhenSucceedOnArbitraryequivalentWhenSucceedequivalentWhenSucceedOnGenequivalentWhenSecondSucceeds2(equivalentWhenSecondSucceedsOnArbitrary2#equivalentWhenSecondSucceedsOnGens2equivalentWhenSecondSucceeds'equivalentWhenSecondSucceedsOnArbitrary!equivalentWhenSecondSucceedsOnGenequivalentWhenFirstSucceeds2'equivalentWhenFirstSucceedsOnArbitrary2"equivalentWhenFirstSucceedsOnGens2equivalentWhenFirstSucceeds&equivalentWhenFirstSucceedsOnArbitrary equivalentWhenFirstSucceedsOnGenequivalentOnArbitrary2 equivalent2equivalentOnGens2equivalentOnArbitrary equivalentequivalentOnGenTest.Validity.Functions.Inverse$inverseFunctionsIfSucceedOnArbitraryinverseFunctionsIfSucceedinverseFunctionsIfSucceedOnGen+inverseFunctionsIfSecondSucceedsOnArbitrary inverseFunctionsIfSecondSucceeds%inverseFunctionsIfSecondSucceedsOnGen*inverseFunctionsIfFirstSucceedsOnArbitraryinverseFunctionsIfFirstSucceeds$inverseFunctionsIfFirstSucceedsOnGeninverseFunctionsOnArbitraryinverseFunctionsinverseFunctionsOnGenTest.Validity.TypesresultIfSucceeded hasFailedCanFail Test.Validity.Shrinking.PropertyshrinkingPreservesshrinkingStaysValidshrinkValidPreservesValidshrinkPreservesValidOnGenValid$Test.Validity.Relations.TransitivitytransitivityOnArbitrary transitivitytransitivityOnGenstransitiveOnElems Test.Validity.Relations.SymmetrysymmetryOnArbitrarysymmetrysymmetryOnGenssymmetricOnElems#Test.Validity.Relations.ReflexivityreflexivityOnArbitrary reflexivityreflexivityOnGenreflexiveOnElem$Test.Validity.Relations.AntisymmetryantisymmetryOnArbitrary antisymmetryantisymmetryOnGensantisymmetryOnGensWithEquality antisymmetricOnElemsWithEquality'Test.Validity.Relations.AntireflexivityantireflexivityOnArbitraryantireflexivityantireflexivityOnGenantireflexiveOnElem Test.Validity.Functions.ValidityproducesValidsOnArbitrary3producesValid3producesValidsOnGens3producesValidsOnArbitrary2producesValid2producesValidsOnGens2producesValidsOnArbitrary producesValidproducesValidsOnGen"Test.Validity.GenValidity.PropertygenGeneratesInvalidgenGeneratesValidTest.Validity.Property.UtilsshouldBeInvalid shouldBeValid forAllValid!Test.Validity.Operations.IdentityidentityOnArbitraryidentity identityOnGenrightIdentityOnArbitrary rightIdentityrightIdentityOnGenrightIdentityOnGenWithEqualityrightIdentityOnElemWithEqualityleftIdentityOnArbitrary leftIdentityleftIdentityOnGenleftIdentityOnGenWithEqualityleftIdentityOnElemWithEquality&Test.Validity.Operations.CommutativitycommutativeOnArbitrary commutativecommutativeOnGens&Test.Validity.Operations.AssociativityassociativeOnArbitrary associativeassociativeOnGens#Test.Validity.Functions.IdempotenceidempotentOnArbitrary idempotentidempotentOnGenAnonnameOfgenDescr binRelStr failsBecause shouldFail $fFunctorAnon $fShowAnonshrinkValidSpecshrinkValidSpecWithLimit#shrinkValidPreservesValidOnGenValid,shrinkValidPreservesValidOnGenValidWithLimit shrinkValidDoesNotShrinkToItself)shrinkValidDoesNotShrinkToItselfWithLimit showReadSpecshowReadSpecOnArbitraryshowReadSpecOnGenshowReadRoundTripshowReadRoundTripOnArbitraryshowReadRoundTripOnGenordSpecordSpecOnArbitrary ordSpecOnGenmonoidSpecOnValid monoidSpecmonoidSpecOnArbitrarymonoidSpecOnGen monadSpecmonadSpecOnArbitrarymonadSpecOnGens genValidSpecgenValidGeneratesValid functorSpecfunctorSpecOnArbitraryfunctorSpecOnGenseqSpeceqSpecOnArbitrary eqSpecOnGen arbitrarySpecarbitraryGeneratesOnlyValidapplicativeSpecapplicativeSpecOnArbitraryapplicativeSpecOnGensversiongetDataFileName getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDir(hspec-core-2.10.6-FS9aTOiggNsHLamv9O4ih5Test.Hspec.Core.Spec.MonadSpecbaseGHC.BaseMonoid Semigroup<>memptymconcatmappend(QuickCheck-2.14.2-9EAFA6afNUqGbN355JryFuTest.QuickCheck.Arbitrary shrinkListTest.QuickCheck.Genshuffle(validity-0.12.0.1-6mlV0mbf51v9bIAYpnrw5s Data.Validity Validation unValidationValidationChainLocationViolatedgenericValidatetrivialValidationcheckdeclareannotatedelvedecorate decorateListinvalidvalid&validateCharNotUtf16SurrogateCodePointisUtf16SurrogateCodePointvalidateCharNotLineSeparatorisLineSeparatorvalidateStringSingleLine isSingleLinevalidateNotNaNvalidateNotInfinitevalidateRatioNotNaNvalidateRatioNotInfinitevalidateRatioNormalisedisValid isInvalidconstructValidconstructValidUnsafe checkValidityvalidationIsValidprettyValidateprettyValidationValidityvalidate*genvalidity-1.1.0.0-Emlxrox36FsILwcgo8VUGBData.GenValiditystructurallyValidSubterms,shrinkValidStructurallyWithoutExtraFilteringshrinkValidStructurally(genValidStructurallyWithoutExtraCheckinggenValidStructurallygenSingleLineStringgenNonLineSeparatorgenLineSeparatorgenUtf16SurrogateCodePointGenValidgenValid shrinkValid GGenValid gGenValidGValidRecursivelyShrinkgValidRecursivelyShrinkGValidSubtermsgValidSubtermsGValidSubtermsInclgValidSubtermsInclData.GenValidity.Utils genInteger genFloatX genDoublegenFloatgenWordXgenIntXshrinkNonEmptyshrinkT4shrinkT3shrinkT2shrinkQuadruple shrinkTriple shrinkTuple shrinkMaybe genListOf1 genListOf genStringBy1 genStringBy genListLength genNonEmptyOfgenMaybe arbPartition genSplit8 genSplit7 genSplit6 genSplit5 genSplit4 genSplit3genSplitupTo