Safe Haskell	None
Language	Haskell98

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.

See also Test.QuickCheck.All for an automatic way of testing polymorphic properties.

Documentation

newtype A #

Constructors

A
Fields unA :: Integer

Instances

Eq A #
Methods (==) :: A -> A -> Bool # (/=) :: A -> A -> Bool #
Show A #
Methods showsPrec :: Int -> A -> ShowS # show :: A -> String # showList :: [A] -> ShowS #
CoArbitrary A #
Methods coarbitrary :: A -> Gen b -> Gen b #
Arbitrary A #
Methods arbitrary :: Gen A # shrink :: A -> [A] #
Function A #
Methods function :: (A -> b) -> A :-> b #

newtype B #

Constructors

B
Fields unB :: Integer

Instances

Eq B #
Methods (==) :: B -> B -> Bool # (/=) :: B -> B -> Bool #
Show B #
Methods showsPrec :: Int -> B -> ShowS # show :: B -> String # showList :: [B] -> ShowS #
CoArbitrary B #
Methods coarbitrary :: B -> Gen b -> Gen b #
Arbitrary B #
Methods arbitrary :: Gen B # shrink :: B -> [B] #
Function B #
Methods function :: (B -> b) -> B :-> b #

newtype C #

Constructors

C
Fields unC :: Integer

Instances

Eq C #
Methods (==) :: C -> C -> Bool # (/=) :: C -> C -> Bool #
Show C #
Methods showsPrec :: Int -> C -> ShowS # show :: C -> String # showList :: [C] -> ShowS #
CoArbitrary C #
Methods coarbitrary :: C -> Gen b -> Gen b #
Arbitrary C #
Methods arbitrary :: Gen C # shrink :: C -> [C] #
Function C #
Methods function :: (C -> b) -> C :-> b #

newtype OrdA #

Constructors

OrdA
Fields unOrdA :: Integer

Instances

Eq OrdA #
Methods (==) :: OrdA -> OrdA -> Bool # (/=) :: OrdA -> OrdA -> Bool #
Num OrdA #
Methods (+) :: OrdA -> OrdA -> OrdA # (-) :: OrdA -> OrdA -> OrdA # (*) :: OrdA -> OrdA -> OrdA # negate :: OrdA -> OrdA # abs :: OrdA -> OrdA # signum :: OrdA -> OrdA # fromInteger :: Integer -> OrdA #
Ord OrdA #
Methods compare :: OrdA -> OrdA -> Ordering # (<) :: OrdA -> OrdA -> Bool # (<=) :: OrdA -> OrdA -> Bool # (>) :: OrdA -> OrdA -> Bool # (>=) :: OrdA -> OrdA -> Bool # max :: OrdA -> OrdA -> OrdA # min :: OrdA -> OrdA -> OrdA #
Show OrdA #
Methods showsPrec :: Int -> OrdA -> ShowS # show :: OrdA -> String # showList :: [OrdA] -> ShowS #
CoArbitrary OrdA #
Methods coarbitrary :: OrdA -> Gen b -> Gen b #
Arbitrary OrdA #
Methods arbitrary :: Gen OrdA # shrink :: OrdA -> [OrdA] #
Function OrdA #
Methods function :: (OrdA -> b) -> OrdA :-> b #

newtype OrdB #

Constructors

OrdB
Fields unOrdB :: Integer

Instances

Eq OrdB #
Methods (==) :: OrdB -> OrdB -> Bool # (/=) :: OrdB -> OrdB -> Bool #
Num OrdB #
Methods (+) :: OrdB -> OrdB -> OrdB # (-) :: OrdB -> OrdB -> OrdB # (*) :: OrdB -> OrdB -> OrdB # negate :: OrdB -> OrdB # abs :: OrdB -> OrdB # signum :: OrdB -> OrdB # fromInteger :: Integer -> OrdB #
Ord OrdB #
Methods compare :: OrdB -> OrdB -> Ordering # (<) :: OrdB -> OrdB -> Bool # (<=) :: OrdB -> OrdB -> Bool # (>) :: OrdB -> OrdB -> Bool # (>=) :: OrdB -> OrdB -> Bool # max :: OrdB -> OrdB -> OrdB # min :: OrdB -> OrdB -> OrdB #
Show OrdB #
Methods showsPrec :: Int -> OrdB -> ShowS # show :: OrdB -> String # showList :: [OrdB] -> ShowS #
CoArbitrary OrdB #
Methods coarbitrary :: OrdB -> Gen b -> Gen b #
Arbitrary OrdB #
Methods arbitrary :: Gen OrdB # shrink :: OrdB -> [OrdB] #
Function OrdB #
Methods function :: (OrdB -> b) -> OrdB :-> b #

newtype OrdC #

Constructors

OrdC
Fields unOrdC :: Integer

Instances

Eq OrdC #
Methods (==) :: OrdC -> OrdC -> Bool # (/=) :: OrdC -> OrdC -> Bool #
Num OrdC #
Methods (+) :: OrdC -> OrdC -> OrdC # (-) :: OrdC -> OrdC -> OrdC # (*) :: OrdC -> OrdC -> OrdC # negate :: OrdC -> OrdC # abs :: OrdC -> OrdC # signum :: OrdC -> OrdC # fromInteger :: Integer -> OrdC #
Ord OrdC #
Methods compare :: OrdC -> OrdC -> Ordering # (<) :: OrdC -> OrdC -> Bool # (<=) :: OrdC -> OrdC -> Bool # (>) :: OrdC -> OrdC -> Bool # (>=) :: OrdC -> OrdC -> Bool # max :: OrdC -> OrdC -> OrdC # min :: OrdC -> OrdC -> OrdC #
Show OrdC #
Methods showsPrec :: Int -> OrdC -> ShowS # show :: OrdC -> String # showList :: [OrdC] -> ShowS #
CoArbitrary OrdC #
Methods coarbitrary :: OrdC -> Gen b -> Gen b #
Arbitrary OrdC #
Methods arbitrary :: Gen OrdC # shrink :: OrdC -> [OrdC] #
Function OrdC #
Methods function :: (OrdC -> b) -> OrdC :-> b #