QuickCheck-2.5: Automatic testing of Haskell programs

Safe HaskellNone

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 experimental way of testing polymorphic properties.

Documentation

newtype A Source

Constructors

A 

Fields

unA :: Integer
 

newtype B Source

Constructors

B 

Fields

unB :: Integer
 

newtype C Source

Constructors

C 

Fields

unC :: Integer
 

newtype OrdA Source

Constructors

OrdA 

Fields

unOrdA :: Integer
 

newtype OrdB Source

Constructors

OrdB 

Fields

unOrdB :: Integer
 

newtype OrdC Source

Constructors

OrdC 

Fields

unOrdC :: Integer