add Scientific instances for ghc

mhs can't build `binary-0.8.9.3`, which is a dependency

Author: L0neGamer

QuickCheck.cabal

@@ -147,6 +147,7 @@ library
       -DNO_DATAFIX
       -DNO_HASHABLE
       -DNO_OLDTIME
+      -DNO_SCIENTIFIC
 
   -- random is explicitly Trustworthy since 1.0.1.0
   -- similar constraint for containers
@@ -158,6 +159,7 @@ library
       , integer-logarithms >=1.0.3.1 && <1.1
       , hashable >=1.4.4.0 && <1.6
       , old-time >=1.1.0.0 && <1.2
+      , scientific >=0.3.8.0 && <0.4
 
   if impl(ghc >= 9.8)
     ghc-options: -Wno-x-partial

src/Test/QuickCheck/Arbitrary.hs

@@ -213,6 +213,9 @@ import Data.Hashable (Hashable, hashed, hashedHash, Hashed)
 #ifndef NO_OLDTIME
 import qualified System.Time as OldTime
 #endif
+#ifndef NO_SCIENTIFIC
+import qualified Data.Scientific as Scientific
+#endif
 #ifndef NO_SEMIGROUP
 import qualified Data.Semigroup as Semigroup
 #endif
@@ -265,6 +268,7 @@ a   Integer, Natural
 a   Int($ -> 64)
 a   Word($ -> 64)
 a   Char, Float, Double
+if scientific allowed: ac Scientific
 a   CChar, CSChar, CUChar, CShort, CUShort, CInt, CUInt, CLong, CULong, CPtrdiff, CSize, CWchar, CSigAtomic, CLLong, CULLong, CIntPtr, CUIntPtr, CIntMax, CUIntMax
 if c type constructors allowed: a CClock, CTime
   if foreign c unsigned seconds: a CUSeconds, CSUSeconds
@@ -924,6 +928,16 @@ instance Arbitrary Double where
 
   shrink    = shrinkDecimal
 
+#ifndef NO_SCIENTIFIC
+instance Arbitrary Scientific.Scientific where
+    arbitrary = liftA2 Scientific.scientific arbitrary arbitrary
+    shrink s = map (uncurry Scientific.scientific) $
+        shrink (Scientific.coefficient s, Scientific.base10Exponent s)
+
+instance CoArbitrary Scientific.Scientific where
+    coarbitrary s = coarbitrary (Scientific.coefficient s, Scientific.base10Exponent s)
+#endif
+
 instance Arbitrary CChar where
   arbitrary = arbitrarySizedBoundedIntegral
   shrink = shrinkIntegral

src/Test/QuickCheck/Function.hs

@@ -124,6 +124,10 @@ import Data.Fixed
 import GHC.Generics hiding (C)
 #endif
 
+#ifndef NO_SCIENTIFIC
+import qualified Data.Scientific as Scientific
+#endif
+
 import Test.QuickCheck.Compat
 
 --------------------------------------------------------------------------
@@ -361,6 +365,13 @@ instance Function Double where
 instance Function Natural where
   function = functionIntegral
 
+#ifndef NO_SCIENTIFIC
+instance Function Scientific.Scientific where
+    function = functionMap
+        (\s -> (Scientific.coefficient s, Scientific.base10Exponent s))
+        (uncurry Scientific.scientific)
+#endif
+
 -- instances for assorted types in the base package
 
 instance Function Ordering where