-- 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.1.0.3


-- | 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
valid :: Variant a => Gen a
invalid :: Variant a => Gen a
instance Test.QuickCheck.Variant.Variant a => Test.QuickCheck.Variant.Variant [a]
instance Test.QuickCheck.Variant.Variant a => Test.QuickCheck.Variant.Variant (GHC.Base.Maybe a)
instance (Test.QuickCheck.Variant.Variant a, Test.QuickCheck.Variant.Variant b) => Test.QuickCheck.Variant.Variant (Data.Either.Either a b)
instance (Test.QuickCheck.Variant.Variant a, Test.QuickCheck.Variant.Variant b) => Test.QuickCheck.Variant.Variant (a, b)
instance (Test.QuickCheck.Variant.Variant a, Test.QuickCheck.Variant.Variant b, Test.QuickCheck.Variant.Variant c) => Test.QuickCheck.Variant.Variant (a, b, c)