Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
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.