Test.QuickCheck.Poly

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

Defined in Test.QuickCheck.Poly

Methods

(==) :: A -> A -> Bool

(/=) :: A -> A -> Bool

Show A

Defined in Test.QuickCheck.Poly

Methods

showsPrec :: Int -> A -> ShowS

show :: A -> String

showList :: [A] -> ShowS

CoArbitrary A

Defined in Test.QuickCheck.Poly

Methods

coarbitrary :: A -> Gen b -> Gen b

Arbitrary A

Defined in Test.QuickCheck.Poly

Methods

arbitrary :: Gen A

shrink :: A -> [A]

Function A

Defined in Test.QuickCheck.Function

Methods

function :: (A -> b) -> A :-> b

newtype B

Constructors

B

Fields

• unB :: Integer

Instances

Eq B

Defined in Test.QuickCheck.Poly

Methods

(==) :: B -> B -> Bool

(/=) :: B -> B -> Bool

Show B

Defined in Test.QuickCheck.Poly

Methods

showsPrec :: Int -> B -> ShowS

show :: B -> String

showList :: [B] -> ShowS

CoArbitrary B

Defined in Test.QuickCheck.Poly

Methods

coarbitrary :: B -> Gen b -> Gen b

Arbitrary B

Defined in Test.QuickCheck.Poly

Methods

arbitrary :: Gen B

shrink :: B -> [B]

Function B

Defined in Test.QuickCheck.Function

Methods

function :: (B -> b) -> B :-> b

newtype C

Constructors

C

Fields

• unC :: Integer

Instances

Eq C

Defined in Test.QuickCheck.Poly

Methods

(==) :: C -> C -> Bool

(/=) :: C -> C -> Bool

Show C

Defined in Test.QuickCheck.Poly

Methods

showsPrec :: Int -> C -> ShowS

show :: C -> String

showList :: [C] -> ShowS

CoArbitrary C

Defined in Test.QuickCheck.Poly

Methods

coarbitrary :: C -> Gen b -> Gen b

Arbitrary C

Defined in Test.QuickCheck.Poly

Methods

arbitrary :: Gen C

shrink :: C -> [C]

Function C

Defined in Test.QuickCheck.Function

Methods

function :: (C -> b) -> C :-> b

newtype OrdA

Constructors

OrdA

Fields

• unOrdA :: Integer

Instances

Eq OrdA

Defined in Test.QuickCheck.Poly

Methods

(==) :: OrdA -> OrdA -> Bool

(/=) :: OrdA -> OrdA -> Bool

Num OrdA

Defined in Test.QuickCheck.Poly

Methods

(+) :: OrdA -> OrdA -> OrdA

(-) :: OrdA -> OrdA -> OrdA

(*) :: OrdA -> OrdA -> OrdA

negate :: OrdA -> OrdA

abs :: OrdA -> OrdA

signum :: OrdA -> OrdA

fromInteger :: Integer -> OrdA

Ord OrdA

Defined in Test.QuickCheck.Poly

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

Defined in Test.QuickCheck.Poly

Methods

showsPrec :: Int -> OrdA -> ShowS

show :: OrdA -> String

showList :: [OrdA] -> ShowS

CoArbitrary OrdA

Defined in Test.QuickCheck.Poly

Methods

coarbitrary :: OrdA -> Gen b -> Gen b

Arbitrary OrdA

Defined in Test.QuickCheck.Poly

Methods

arbitrary :: Gen OrdA

shrink :: OrdA -> [OrdA]

Function OrdA

Defined in Test.QuickCheck.Function

Methods

function :: (OrdA -> b) -> OrdA :-> b

newtype OrdB

Constructors

OrdB

Fields

• unOrdB :: Integer

Instances

Eq OrdB

Defined in Test.QuickCheck.Poly

Methods

(==) :: OrdB -> OrdB -> Bool

(/=) :: OrdB -> OrdB -> Bool

Num OrdB

Defined in Test.QuickCheck.Poly

Methods

(+) :: OrdB -> OrdB -> OrdB

(-) :: OrdB -> OrdB -> OrdB

(*) :: OrdB -> OrdB -> OrdB

negate :: OrdB -> OrdB

abs :: OrdB -> OrdB

signum :: OrdB -> OrdB

fromInteger :: Integer -> OrdB

Ord OrdB

Defined in Test.QuickCheck.Poly

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

Defined in Test.QuickCheck.Poly

Methods

showsPrec :: Int -> OrdB -> ShowS

show :: OrdB -> String

showList :: [OrdB] -> ShowS

CoArbitrary OrdB

Defined in Test.QuickCheck.Poly

Methods

coarbitrary :: OrdB -> Gen b -> Gen b

Arbitrary OrdB

Defined in Test.QuickCheck.Poly

Methods

arbitrary :: Gen OrdB

shrink :: OrdB -> [OrdB]

Function OrdB

Defined in Test.QuickCheck.Function

Methods

function :: (OrdB -> b) -> OrdB :-> b

newtype OrdC

Constructors

OrdC

Fields

• unOrdC :: Integer

Instances

Eq OrdC

Defined in Test.QuickCheck.Poly

Methods

(==) :: OrdC -> OrdC -> Bool

(/=) :: OrdC -> OrdC -> Bool

Num OrdC

Defined in Test.QuickCheck.Poly

Methods

(+) :: OrdC -> OrdC -> OrdC

(-) :: OrdC -> OrdC -> OrdC

(*) :: OrdC -> OrdC -> OrdC

negate :: OrdC -> OrdC

abs :: OrdC -> OrdC

signum :: OrdC -> OrdC

fromInteger :: Integer -> OrdC

Ord OrdC

Defined in Test.QuickCheck.Poly

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

Defined in Test.QuickCheck.Poly

Methods

showsPrec :: Int -> OrdC -> ShowS

show :: OrdC -> String

showList :: [OrdC] -> ShowS

CoArbitrary OrdC

Defined in Test.QuickCheck.Poly

Methods

coarbitrary :: OrdC -> Gen b -> Gen b

Arbitrary OrdC

Defined in Test.QuickCheck.Poly

Methods

arbitrary :: Gen OrdC

shrink :: OrdC -> [OrdC]

Function OrdC

Defined in Test.QuickCheck.Function

Methods

function :: (OrdC -> b) -> OrdC :-> b