úÎ -½ Varaint class((c) Jorge Santiago Alvarez Cuadros, 2015GPL-3sanjorgek@ciencias.unam.mx experimentalportableSafeCThe class of things wich can be tested with invalid or valid input.Property for valid inputProperty for invalid inputYou can defineNinstance (Varaint a) => Arbitrary a where {arbitrary = oneof [valid, invalid]})Get a generator of valid random data type+Get a generator of invalid random data type5Instead of variant we use valid or invalid generatorsSame as Testeable 0QuickCheckVariant-0.2.0.0-2Xcr4LD22yb4T5P1Q427E1Test.QuickCheck.Variant VarTesteable propertyValidpropertyInvalidVariantvalidinvalid$fVarTesteable(->)$fVarTesteableBool