Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.QuickCheck.Union

Documentation

newtype Union (target :: Type) (alternatives :: [Type]) #

Constructors

Union target

Instances details

(Coercible target alt, Arbitrary alt) => Arbitrary (Union target '[alt]) #
Instance details Defined in Test.QuickCheck.Union Methods arbitrary :: Gen (Union target '[alt]) shrink :: Union target '[alt] -> [Union target '[alt]]
(TypeListLenght as, KnownNat (ListLenght as), 1 <= ListLenght as, Coercible target alt, Arbitrary alt, Arbitrary (Union target as)) => Arbitrary (Union target (alt ': as)) #
Instance details Defined in Test.QuickCheck.Union Methods arbitrary :: Gen (Union target (alt ': as)) shrink :: Union target (alt ': as) -> [Union target (alt ': as)]
(Show target, AllConstraint (Coercible target) alternatives) => Show (Union target alternatives) #
Instance details Defined in Test.QuickCheck.Union Methods showsPrec :: Int -> Union target alternatives -> ShowS show :: Union target alternatives -> String showList :: [Union target alternatives] -> ShowS