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 #
show :: A -> String #
showList :: [A] -> ShowS #
(==) :: A -> A -> Bool #
(/=) :: A -> A -> Bool #
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 #
show :: B -> String #
showList :: [B] -> ShowS #
(==) :: B -> B -> Bool #
(/=) :: B -> B -> Bool #
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 #
show :: C -> String #
showList :: [C] -> ShowS #
(==) :: C -> C -> Bool #
(/=) :: C -> C -> Bool #
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 #
(-) :: OrdA -> OrdA -> OrdA #
(*) :: OrdA -> OrdA -> OrdA #
negate :: OrdA -> OrdA #
abs :: OrdA -> OrdA #
signum :: OrdA -> OrdA #
fromInteger :: Integer -> OrdA #
showsPrec :: Int -> OrdA -> ShowS #
show :: OrdA -> String #
showList :: [OrdA] -> ShowS #
(==) :: OrdA -> OrdA -> Bool #
(/=) :: OrdA -> OrdA -> Bool #
compare :: OrdA -> OrdA -> Ordering #
(<) :: OrdA -> OrdA -> Bool #
(<=) :: OrdA -> OrdA -> Bool #
(>) :: OrdA -> OrdA -> Bool #
(>=) :: OrdA -> OrdA -> Bool #
max :: OrdA -> OrdA -> OrdA #
min :: OrdA -> OrdA -> OrdA #
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 #
(-) :: OrdB -> OrdB -> OrdB #
(*) :: OrdB -> OrdB -> OrdB #
negate :: OrdB -> OrdB #
abs :: OrdB -> OrdB #
signum :: OrdB -> OrdB #
fromInteger :: Integer -> OrdB #
showsPrec :: Int -> OrdB -> ShowS #
show :: OrdB -> String #
showList :: [OrdB] -> ShowS #
(==) :: OrdB -> OrdB -> Bool #
(/=) :: OrdB -> OrdB -> Bool #
compare :: OrdB -> OrdB -> Ordering #
(<) :: OrdB -> OrdB -> Bool #
(<=) :: OrdB -> OrdB -> Bool #
(>) :: OrdB -> OrdB -> Bool #
(>=) :: OrdB -> OrdB -> Bool #
max :: OrdB -> OrdB -> OrdB #
min :: OrdB -> OrdB -> OrdB #
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 #
(-) :: OrdC -> OrdC -> OrdC #
(*) :: OrdC -> OrdC -> OrdC #
negate :: OrdC -> OrdC #
abs :: OrdC -> OrdC #
signum :: OrdC -> OrdC #
fromInteger :: Integer -> OrdC #
showsPrec :: Int -> OrdC -> ShowS #
show :: OrdC -> String #
showList :: [OrdC] -> ShowS #
(==) :: OrdC -> OrdC -> Bool #
(/=) :: OrdC -> OrdC -> Bool #
compare :: OrdC -> OrdC -> Ordering #
(<) :: OrdC -> OrdC -> Bool #
(<=) :: OrdC -> OrdC -> Bool #
(>) :: OrdC -> OrdC -> Bool #
(>=) :: OrdC -> OrdC -> Bool #
max :: OrdC -> OrdC -> OrdC #
min :: OrdC -> OrdC -> OrdC #