QuickCheck-2.8.2: Automatic testing of Haskell programs
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
Constructors
Fields
Instances
newtype B
newtype C
newtype OrdA
newtype OrdB
newtype OrdC