Test.QuickCheck.Poly
Description
Types to help with testing polymorphic properties.
Types A, B and C are newtype wrappers around Integer that implement Eq, Show, Arbitrary and CoArbitrary. Types OrdA, OrdB and OrdC also implement Ord and Num.
A
B
C
newtype
Integer
Eq
Show
Arbitrary
CoArbitrary
OrdA
OrdB
OrdC
Ord
Num
See also Test.QuickCheck.All for an automatic way of testing polymorphic properties.
newtype A Source #
Constructors
Fields
Defined in Test.QuickCheck.Poly
Methods
arbitrary :: Gen A Source #
shrink :: A -> [A] Source #
coarbitrary :: A -> Gen b -> Gen b Source #
Defined in Test.QuickCheck.Function
function :: (A -> b) -> A :-> b Source #
showsPrec :: Int -> A -> ShowS Source #
show :: A -> String Source #
showList :: [A] -> ShowS Source #
(==) :: A -> A -> Bool Source #
(/=) :: A -> A -> Bool Source #
newtype B Source #
arbitrary :: Gen B Source #
shrink :: B -> [B] Source #
coarbitrary :: B -> Gen b -> Gen b Source #
function :: (B -> b) -> B :-> b Source #
showsPrec :: Int -> B -> ShowS Source #
show :: B -> String Source #
showList :: [B] -> ShowS Source #
(==) :: B -> B -> Bool Source #
(/=) :: B -> B -> Bool Source #
newtype C Source #
arbitrary :: Gen C Source #
shrink :: C -> [C] Source #
coarbitrary :: C -> Gen b -> Gen b Source #
function :: (C -> b) -> C :-> b Source #
showsPrec :: Int -> C -> ShowS Source #
show :: C -> String Source #
showList :: [C] -> ShowS Source #
(==) :: C -> C -> Bool Source #
(/=) :: C -> C -> Bool Source #
newtype OrdA Source #
arbitrary :: Gen OrdA Source #
shrink :: OrdA -> [OrdA] Source #
coarbitrary :: OrdA -> Gen b -> Gen b Source #
function :: (OrdA -> b) -> OrdA :-> b Source #
(+) :: OrdA -> OrdA -> OrdA Source #
(-) :: OrdA -> OrdA -> OrdA Source #
(*) :: OrdA -> OrdA -> OrdA Source #
negate :: OrdA -> OrdA Source #
abs :: OrdA -> OrdA Source #
signum :: OrdA -> OrdA Source #
fromInteger :: Integer -> OrdA Source #
showsPrec :: Int -> OrdA -> ShowS Source #
show :: OrdA -> String Source #
showList :: [OrdA] -> ShowS Source #
(==) :: OrdA -> OrdA -> Bool Source #
(/=) :: OrdA -> OrdA -> Bool Source #
compare :: OrdA -> OrdA -> Ordering Source #
(<) :: OrdA -> OrdA -> Bool Source #
(<=) :: OrdA -> OrdA -> Bool Source #
(>) :: OrdA -> OrdA -> Bool Source #
(>=) :: OrdA -> OrdA -> Bool Source #
max :: OrdA -> OrdA -> OrdA Source #
min :: OrdA -> OrdA -> OrdA Source #
newtype OrdB Source #
arbitrary :: Gen OrdB Source #
shrink :: OrdB -> [OrdB] Source #
coarbitrary :: OrdB -> Gen b -> Gen b Source #
function :: (OrdB -> b) -> OrdB :-> b Source #
(+) :: OrdB -> OrdB -> OrdB Source #
(-) :: OrdB -> OrdB -> OrdB Source #
(*) :: OrdB -> OrdB -> OrdB Source #
negate :: OrdB -> OrdB Source #
abs :: OrdB -> OrdB Source #
signum :: OrdB -> OrdB Source #
fromInteger :: Integer -> OrdB Source #
showsPrec :: Int -> OrdB -> ShowS Source #
show :: OrdB -> String Source #
showList :: [OrdB] -> ShowS Source #
(==) :: OrdB -> OrdB -> Bool Source #
(/=) :: OrdB -> OrdB -> Bool Source #
compare :: OrdB -> OrdB -> Ordering Source #
(<) :: OrdB -> OrdB -> Bool Source #
(<=) :: OrdB -> OrdB -> Bool Source #
(>) :: OrdB -> OrdB -> Bool Source #
(>=) :: OrdB -> OrdB -> Bool Source #
max :: OrdB -> OrdB -> OrdB Source #
min :: OrdB -> OrdB -> OrdB Source #
newtype OrdC Source #
arbitrary :: Gen OrdC Source #
shrink :: OrdC -> [OrdC] Source #
coarbitrary :: OrdC -> Gen b -> Gen b Source #
function :: (OrdC -> b) -> OrdC :-> b Source #
(+) :: OrdC -> OrdC -> OrdC Source #
(-) :: OrdC -> OrdC -> OrdC Source #
(*) :: OrdC -> OrdC -> OrdC Source #
negate :: OrdC -> OrdC Source #
abs :: OrdC -> OrdC Source #
signum :: OrdC -> OrdC Source #
fromInteger :: Integer -> OrdC Source #
showsPrec :: Int -> OrdC -> ShowS Source #
show :: OrdC -> String Source #
showList :: [OrdC] -> ShowS Source #
(==) :: OrdC -> OrdC -> Bool Source #
(/=) :: OrdC -> OrdC -> Bool Source #
compare :: OrdC -> OrdC -> Ordering Source #
(<) :: OrdC -> OrdC -> Bool Source #
(<=) :: OrdC -> OrdC -> Bool Source #
(>) :: OrdC -> OrdC -> Bool Source #
(>=) :: OrdC -> OrdC -> Bool Source #
max :: OrdC -> OrdC -> OrdC Source #
min :: OrdC -> OrdC -> OrdC Source #