!E:E      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~None 8=>?@AUV`7x genvalidity;A class of types for which invalid values can be generated. genvalidity9A class of types for which valid values can be generated.If you also write  Arbitrary instances for GenValid( types, it may be best to simply write arbitrary = genValid. genvalidityShrink a valid value.VIt is important that this shrinking function only shrinks values to valid values. If  ever shrinks a value to an invalid value, the test that is being shrunk for might fail for a different reason than for the reason that it originally failed. This would lead to very confusing error messages. genvalidityCA class of types for which truly arbitrary values can be generated.Automatic instances with SAn instance of this class can be made automatically if the type in question has a ) instance. This instance will try to use L to generate all structural sub-parts of the value that is being generated.Example: {-# LANGUAGE DeriveGeneric #-} data MyType = MyType Rational String deriving (Show, Eq, Generic) instance GenUnchecked MyTypegenerates something like: ^instance GenUnchecked MyType where genUnchecked = MyType <$> genUnchecked <*> genUnchecked genvalidity0 generates an integer between 0 (inclusive) and n. genvalidityA'genSplit a' generates a tuple '(b, c)' such that 'b + c' equals a. genvalidityJ'genSplit3 a' generates a triple '(b, c, d)' such that 'b + c + d' equals a. genvalidityT'genSplit4 a' generates a quadruple '(b, c, d, e)' such that 'b + c + d + e' equals a. genvalidity['genSplit5 a' generates a quadruple '(b, c, d, e, f)' such that 'b + c + d + e + f' equals a.  genvalidity"'arbPartition n' generates a list ls such that 'sum ls' equals n.! genvalidity A version of listOf. that takes size into account more accurately.# genvalidityZShrink a term to any of its immediate subterms, and also recursively shrink all subterms.$ genvalidity3Recursively shrink all immediate uncheckedSubterms.% genvalidity*All immediate uncheckedSubterms of a term.( genvalidity`Shrink a term to any of its immediate valid subterms, and also recursively shrink all subterms.* genvalidity=Recursively shrink all immediate structurally valid subterms.+ genvalidity&All immediate validSubterms of a term.W genvalidity\This instance ensures that the generated list contains at least one element that satisfies . The rest is unchecked.Z genvaliditysThis instance ensures that the generated triple contains at least one invalid element. The other two are unchecked.[ genvaliditysThis instance ensures that the generated triple contains at least one invalid element. The other two are unchecked.\ genvaliditysThis instance ensures that the generated triple contains at least one invalid element. The other two are unchecked.] genvalidityuThis instance ensures that the generated tupse contains at least one invalid element. The other element is unchecked.t genvalidityQIf we can generate values of a certain type, we can also generate lists of them.N  !"#$%&'()*+,  !"#$%&'()*+None@A9 Safe:       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~*genvalidity-0.7.0.0-IlmjYfxM3v5DgG15zcbrPAData.GenValidityData.GenRelativeValidityPaths_genvalidityGValidSubtermsInclgValidSubtermsInclGValidSubtermsgValidSubtermsGValidRecursivelyShrinkgValidRecursivelyShrink GGenValid gGenValidGUncheckedSubtermsInclgUncheckedSubtermsInclGUncheckedSubtermsgUncheckedSubtermsGUncheckedRecursivelyShrinkgUncheckedRecursivelyShrink GGenUnchecked gGenUnchecked GenInvalid genInvalid shrinkInvalidGenValidgenValid shrinkValid GenUnchecked genUncheckedshrinkUncheckedshrinkT2shrinkT3upTogenSplit genSplit3 genSplit4 genSplit5 arbPartition genListOfgenericGenUncheckedgenericShrinkUncheckeduncheckedRecursivelyShrinkuncheckedSubtermsgenValidStructurally(genValidStructurallyWithoutExtraCheckingshrinkValidStructurally,shrinkValidStructurallyWithoutExtraFiltering"structurallyValidRecursivelyShrinkstructurallyValidSubterms$fGGenUncheckedM1$fGGenUnchecked:+:$fGGenUnchecked:*:$fGGenUncheckedU1$fGUncheckedRecursivelyShrinkV1$fGUncheckedRecursivelyShrinkU1$fGUncheckedRecursivelyShrinkM1 $fGUncheckedRecursivelyShrink:+: $fGUncheckedRecursivelyShrink:*:$fGUncheckedSubtermsK1b$fGUncheckedSubtermsM1a$fGUncheckedSubtermsU1a$fGUncheckedSubtermsV1a$fGUncheckedRecursivelyShrinkK1$fGGenUncheckedK1$fGenUncheckedFixed$fGenUncheckedRatio$fGenUncheckedNatural$fGenUncheckedInteger$fGenUncheckedDouble$fGenUncheckedFloat$fGenUncheckedWord64$fGenUncheckedWord32$fGenUncheckedWord16$fGenUncheckedWord8$fGenUncheckedWord$fGenUncheckedInt64$fGenUncheckedInt32$fGenUncheckedInt16$fGenUncheckedInt8$fGenUncheckedInt$fGenUncheckedChar$fGenUncheckedOrdering$fGenUncheckedBool$fGenUnchecked()$fGenUnchecked[]$fGenUncheckedNonEmpty$fGenUncheckedMaybe$fGenUnchecked(,,,,)$fGenUnchecked(,,,)$fGenUnchecked(,,)$fGenUncheckedEither$fGenUnchecked(,)$fGenInvalid[]$fGenInvalidNonEmpty$fGenInvalidMaybe$fGenInvalid(,,,,)$fGenInvalid(,,,)$fGenInvalid(,,)$fGenInvalidEither$fGenInvalid(,)$fGenValidFixed$fGenInvalidRatio$fGenValidRatio$fGenValidNatural$fGenValidInteger$fGenValidDouble$fGenValidFloat$fGenValidWord64$fGenValidWord32$fGenValidWord16$fGenValidWord8$fGenValidWord$fGenValidInt64$fGenValidInt32$fGenValidInt16$fGenValidInt8 $fGenValidInt$fGenValidChar$fGenValidOrdering$fGenValidBool $fGenValid() $fGenValid[]$fGenValidNonEmpty$fGenValidMaybe$fGenValid(,,,,)$fGenValid(,,,)$fGenValid(,,)$fGenValidEither $fGenValid(,)$fGUncheckedSubtermsInclK1b$fGUncheckedSubtermsInclK1a$fGUncheckedSubtermsInclM1a$fGUncheckedSubtermsIncl:+:a$fGUncheckedSubtermsIncl:*:a$fGUncheckedSubtermsInclU1a$fGUncheckedSubtermsInclV1a$fGUncheckedSubterms:+:a$fGUncheckedSubterms:*:a $fGGenValidK1 $fGGenValidM1$fGGenValid:+:$fGGenValid:*: $fGGenValidU1$fGValidRecursivelyShrinkV1$fGValidRecursivelyShrinkU1$fGValidRecursivelyShrinkK1$fGValidRecursivelyShrinkM1$fGValidRecursivelyShrink:+:$fGValidRecursivelyShrink:*:$fGValidSubtermsK1b$fGValidSubtermsM1a$fGValidSubtermsU1a$fGValidSubtermsV1a$fGValidSubtermsInclK1b$fGValidSubtermsInclK1a$fGValidSubtermsInclM1a$fGValidSubtermsIncl:+:a$fGValidSubtermsIncl:*:a$fGValidSubtermsInclU1a$fGValidSubtermsInclV1a$fGValidSubterms:+:a$fGValidSubterms:*:aGenRelativeInvalid genInvalidForGenRelativeValid genValidForGenRelativeUncheckedgenUncheckedForbase GHC.GenericsGeneric'validity-0.9.0.0-GDrMjG0VjB0KkQcRb3md2f Data.Validity isInvalidGHC.Base Semigroup<>MonoidmemptymappendmconcatprettyValidationprettyValidatevalidationIsValid checkValidityconstructValidUnsafeconstructValidisValidvalidateNotInfinitevalidateNotNaNvalidinvalid decorateListdecoratedelveannotatedeclarechecktrivialValidationgenericValidateValidityvalidateValidationChainLocationViolated Validation unValidationData.RelativeValidity isInvalidForRelativeValidity isValidForversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName