!9Q0'~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}None 7;<=>?ST- 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. 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 Double 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.H genvalidityEither NaN or Infinity.I genvalidityEither NaN or Infinity.J genvalidity\This instance ensures that the generated list contains at least one element that satisfies . The rest is unchecked.M genvaliditysThis instance ensures that the generated triple contains at least one invalid element. The other two are unchecked.N genvaliditysThis instance ensures that the generated triple contains at least one invalid element. The other two are unchecked.O genvaliditysThis instance ensures that the generated triple contains at least one invalid element. The other two are unchecked.P genvalidityuThis instance ensures that the generated tupse contains at least one invalid element. The other element is unchecked.g genvalidityQIf we can generate values of a certain type, we can also generate lists of them.:  None>?/ xyz{|}xyz{|}Safe0      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~)genvalidity-0.5.1.0-BVcIoJX7uWTCvvj6P4TaxData.GenValidityData.GenRelativeValidityPaths_genvalidityGUncheckedSubtermsInclgUncheckedSubtermsInclGUncheckedSubtermsgUncheckedSubtermsGUncheckedRecursivelyShrinkgUncheckedRecursivelyShrink GGenUnchecked gGenUnchecked GenInvalid genInvalid shrinkInvalidGenValidgenValid shrinkValid GenUnchecked genUncheckedshrinkUncheckedshrinkT2shrinkT3upTogenSplit genSplit3 genSplit4 genSplit5 arbPartition genListOfgShrinkUncheckeduncheckedRecursivelyShrinkuncheckedSubterms$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()$fGenUncheckedNonEmpty$fGenUnchecked[]$fGenUncheckedMaybe$fGenUnchecked(,,,,)$fGenUnchecked(,,,)$fGenUnchecked(,,)$fGenUncheckedEither$fGenUnchecked(,)$fGenInvalidDouble$fGenInvalidFloat$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:*:aGenRelativeInvalid genInvalidForGenRelativeValid genValidForGenRelativeUncheckedgenUncheckedForbase GHC.GenericsGeneric'validity-0.7.0.0-IAUu4Us1Nxz9hDCrt8ADs9 Data.Validity isInvalidGHC.Base Semigroup<>MonoidmemptymappendmconcatprettyValidation checkValidityconstructValidUnsafeconstructValidisValidvalidinvaliddecoratedelveannotatedeclarechecktrivialValidationgenericValidateValidityvalidateValidationChainLocationViolated Validation unValidationData.RelativeValidity isInvalidForRelativeValidity isValidForversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName