úÎ3Æ,Ēl      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijkNone 69:;<=QR;A class of types for which invalid values can be generated. 9A 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.CA class of types for which truly arbitrary values can be generated.Automatic instances with lSAn instance of this class can be made automatically if the type in question has a l) 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 <*> genUnchecked0 generates an integer between 0 (inclusive) and n.A'genSplit a' generates a tuple '(b, c)' such that 'b + c' equals a.J'genSplit3 a' generates a triple '(b, c, d)' such that 'b + c + d' equals a.T'genSplit4 a' generates a quadruple '(b, c, d, e)' such that 'b + c + d + e' equals a."'arbPartition n' generates a list ls such that 'sum ls' equals n. A version of listOf. that takes size into account more accurately.ZShrink a term to any of its immediate subterms, and also recursively shrink all subterms.3Recursively shrink all immediate uncheckedSubterms.*All immediate uncheckedSubterms of a term.:Either NaN or Infinity.=Either NaN or Infinity.T\This instance ensures that the generated list contains at least one element that satisfies m. The rest is unchecked.UQIf we can generate values of a certain type, we can also generate lists of them.ZsThis instance ensures that the generated triple contains at least one invalid element. The other two are unchecked.]sThis instance ensures that the generated triple contains at least one invalid element. The other two are unchecked.`uThis instance ensures that the generated tupse contains at least one invalid element. The other element is unchecked.f  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcde8nopqrstumvwxyz{|}~€‚ƒ„…†‡ˆ h  edcba`_^]\[ZYXWVUTSRQPONMLKJIHGFEDCBA@?>=<;:9876543210/.-,+*)('&%$#"! \   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdeNone<=fghijk ‰Š‹fghijkjkhifgfghijkŒ      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstouvouwouxouyrszrs{rs|rs}rs~rsrs€rsrs‚rsƒrs„rs…rs†rs‡rsˆrs‰rsŠrs‹rsŒrsrsŽrsŽrsr‘r’r“”*genvalidity-0.4.0.0-HZgC5nDsOfb8kTMFmfzb7KData.GenValidityData.GenRelativeValidityGUncheckedSubtermsInclgUncheckedSubtermsInclGUncheckedSubtermsgUncheckedSubtermsGUncheckedRecursivelyShrinkgUncheckedRecursivelyShrink GGenUnchecked gGenUnchecked GenInvalid genInvalid shrinkInvalidGenValidgenValid shrinkValid GenUnchecked genUncheckedshrinkUncheckedshrinkT2shrinkT3upTogenSplit genSplit3 genSplit4 arbPartition genListOfgShrinkUncheckeduncheckedRecursivelyShrinkuncheckedSubterms$fGUncheckedSubtermsInclK1b$fGUncheckedSubtermsInclK1a$fGUncheckedSubtermsInclM1a$fGUncheckedSubtermsIncl:+:a$fGUncheckedSubtermsIncl:*:a$fGUncheckedSubtermsInclU1a$fGUncheckedSubtermsInclV1a$fGUncheckedSubtermsK1b$fGUncheckedSubtermsM1a$fGUncheckedSubterms:+:a$fGUncheckedSubterms:*:a$fGUncheckedSubtermsU1a$fGUncheckedSubtermsV1a$fGUncheckedRecursivelyShrinkV1$fGUncheckedRecursivelyShrinkU1$fGUncheckedRecursivelyShrinkK1$fGUncheckedRecursivelyShrinkM1 $fGUncheckedRecursivelyShrink:+: $fGUncheckedRecursivelyShrink:*:$fGGenUncheckedK1$fGGenUncheckedM1$fGGenUnchecked:+:$fGGenUnchecked:*:$fGGenUncheckedU1$fGenValidFixed$fGenUncheckedFixed$fGenValidRatio$fGenUncheckedRatio$fGenValidInteger$fGenUncheckedInteger$fGenInvalidDouble$fGenValidDouble$fGenUncheckedDouble$fGenInvalidFloat$fGenValidFloat$fGenUncheckedFloat$fGenValidWord64$fGenUncheckedWord64$fGenValidWord32$fGenUncheckedWord32$fGenValidWord16$fGenUncheckedWord16$fGenValidWord8$fGenUncheckedWord8$fGenValidWord$fGenUncheckedWord $fGenValidInt$fGenUncheckedInt$fGenValidChar$fGenUncheckedChar$fGenValidOrdering$fGenUncheckedOrdering$fGenValidBool$fGenUncheckedBool $fGenValid()$fGenUnchecked()$fGenInvalid[] $fGenValid[]$fGenUnchecked[]$fGenInvalidMaybe$fGenValidMaybe$fGenUncheckedMaybe$fGenInvalid(,,,)$fGenValid(,,,)$fGenUnchecked(,,,)$fGenInvalid(,,)$fGenValid(,,)$fGenUnchecked(,,)$fGenInvalidEither$fGenValidEither$fGenUncheckedEither$fGenInvalid(,) $fGenValid(,)$fGenUnchecked(,)GenRelativeInvalid genInvalidForGenRelativeValid genValidForGenRelativeUncheckedgenUncheckedForbase GHC.GenericsGeneric%validity-0.4.0.0-4VjJnV4ZfnbtA8pppYCP Data.Validity isInvalidGHC.BaseMonoidmemptymappendmconcatprettyValidation checkValidityconstructValidUnsafeconstructValidannotatecheckvalidateByCheckingDefaultvalidateByCheckingNamevalidateByCheckingtrivialValidationisValidByValidatingtriviallyValidValidityvalidateisValidValidationChainLocationViolated Validation unValidationData.RelativeValidity isInvalidForRelativeValidity isValidFor