Îõ³h$Š      Variant class((c) Jorge Santiago Alvarez Cuadros, 2015GPL-3sanjorgek@ciencias.unam.mx experimentalportable Safe-InferredêQuickCheckVariantÃThe class of things wich can be tested with invalid or valid input.QuickCheckVariantProperty for valid inputQuickCheckVariantProperty for invalid inputQuickCheckVariantYou can defineÎinstance (Variant a) => Arbitrary a where {arbitrary = oneof [valid, invalid]}QuickCheckVariant)Get a generator of valid random data typeQuickCheckVariant+Get a generator of invalid random data type QuickCheckVariantAdds a callback QuickCheckVariantÂAdds the given string to the counterexample if the property fails. QuickCheckVariantLike :, but tries to shrink the argument for failing test cases.QuickCheckVariantAdds a callbackQuickCheckVariantÂAdds the given string to the counterexample if the property fails.QuickCheckVariantLike :, but tries to shrink the argument for failing test cases.QuickCheckVariant5Instead of variant we use valid or invalid generatorsQuickCheckVariantSame as Testeable       0QuickCheckVariant-1.0.1.0-D9uKErtthThKpxnEP0dMvfTest.QuickCheck.Variant VarTestable propertyValidpropertyInvalidVariantvalidinvalidmapTotalResultValidmapRoseResultValid mapPropValid callbackValidcounterexampleValidshowCounterexampleValidforAllShrinkValidmapTotalResultInvalidmapRoseResultInvalidmapPropInvalidcallbackInvalidcounterexampleInvalidshowCounterexampleInvalidforAllShrinkInvalid$fVarTestable->$fVarTestableBool(QuickCheck-2.14.2-HQlokpiPPCm6nD31CLtaLOTest.QuickCheck.PropertyforAll