-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Generator of "valid" and "invalid" data in a type class
--   
--   Generator of "valid" and "invalid" data in a type class
@package QuickCheckVariant
@version 0.2.0.0


-- | To get random "invalid" and "valid" data
module Test.QuickCheck.Variant

-- | You can define
--   
--   <pre>
--   &gt;&gt;&gt; instance (Varaint a) =&gt; Arbitrary a where {arbitrary = oneof [valid, invalid]}
--   </pre>
class Variant a

-- | Get a generator of valid random data type
valid :: Variant a => Gen a

-- | Get a generator of invalid random data type
invalid :: Variant a => Gen a

-- | The class of things wich can be tested with invalid or valid input.
class VarTesteable prop

-- | Property for valid input
propertyValid :: VarTesteable prop => prop -> Property

-- | Property for invalid input
propertyInvalid :: VarTesteable prop => prop -> Property

-- | Same as Testeable

-- | Instead of variant we use valid or invalid generators
instance Test.QuickCheck.Variant.VarTesteable GHC.Types.Bool
instance (Test.QuickCheck.Arbitrary.Arbitrary a, Test.QuickCheck.Variant.Variant a, GHC.Show.Show a, Test.QuickCheck.Property.Testable prop) => Test.QuickCheck.Variant.VarTesteable (a -> prop)