QuickCheck-2.7.6: 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 Source
Constructors
Fields
Instances
newtype B Source
newtype C Source
newtype OrdA Source
newtype OrdB Source
newtype OrdC Source