hsExprTest-3.6.5: Expression Testing
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.QuickCheck.Union

Documentation

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

Constructors

Union target 

Instances

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