quickcheck-instances 0.2.0 → 0.3.0

raw patch · 3 files changed

+22/−7 lines, 3 filesdep ~QuickCheckdep ~containers

Dependency ranges changed: QuickCheck, containers

Files

• CHANGES +9/−0
• quickcheck-instances.cabal +3/−3
• src/Test/QuickCheck/Instances.hs +10/−4

@@ -1,3 +1,12 @@+0.3.0++Author: AntoineLatter <aslatter@gmail.com>++*  Update for QuickCheck-2.5.0+*  Update instances for Ordering and RealFrac based on+   instances provided in QuickCheck-2.5.0+*  Allow building against newer containers packages+ 0.2.0  Author: Antoine Latter <aslatter@gmail.com>

@@ -1,5 +1,5 @@ Name:                quickcheck-instances-Version:             0.2.0+Version:             0.3.0 Synopsis:            Common quickcheck instances Description:         QuickCheck instances.                      .@@ -39,9 +39,9 @@                         array >= 0.3 && < 0.5,                        bytestring == 0.9.*,-                       containers >= 0.3 && < 0.5,+                       containers >= 0.3 && < 0.6,                        old-time >= 1.0 && < 1.2,-                       QuickCheck >= 2.1 && < 2.5,+                       QuickCheck >= 2.1 && < 2.6,                        text >= 0.7 && < 0.12,                        time >= 1.1 && < 1.5 

@@ -34,7 +34,7 @@ import qualified Data.Array.Unboxed as Array import qualified Data.ByteString as BS import qualified Data.ByteString.Lazy as BL-import qualified Data.Fixed as Fixed+import qualified Data.Fixed as Fixed -- required for QC < 2.5.0 import qualified Data.IntMap as IntMap import qualified Data.IntSet as IntSet import qualified Data.Map as Map@@ -354,12 +354,18 @@ instance CoArbitrary Time.AbsoluteTime where     coarbitrary = coarbitrary . flip Time.diffAbsoluteTime Time.taiEpoch --- WARNING: from base, should be moved to QC library+-- Introduced in QC 2.5.0+#if !(MIN_VERSION_QuickCheck(2,5,0)) instance Arbitrary Ordering where     arbitrary = arbitraryBoundedEnum+    shrink GT = [EQ, LT]+    shrink LT = [EQ]+    shrink EQ = []  instance CoArbitrary Ordering where-    coarbitrary = coarbitraryEnum+    coarbitrary GT = variant 1+    coarbitrary EQ = variant 0+    coarbitrary LT = variant (-1)  instance Fixed.HasResolution a => Arbitrary (Fixed.Fixed a) where     arbitrary = arbitrarySizedFractional@@ -368,7 +374,6 @@ instance Fixed.HasResolution a => CoArbitrary (Fixed.Fixed a) where     coarbitrary = coarbitraryReal --- WARNING: should be moved to QC library arbitraryBoundedEnum :: (Bounded a, Enum a) => Gen a arbitraryBoundedEnum =   do let mn = minBound@@ -378,3 +383,4 @@  coarbitraryEnum :: Enum a => a -> Gen c -> Gen c coarbitraryEnum = variant . fromEnum+#endif