Merge pull request #136 from moodmosaic/topic/to-bigint-double

Add ToBigInt overload for System.Double
hedgehogqa · Oct 11, 2017 · 4b67a6e · 4b67a6e
2 parents 720dd49 + ebfbaa3
commit 4b67a6e
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 0 deletions.
diff --git a/src/Hedgehog/Numeric.fs b/src/Hedgehog/Numeric.fs
@@ -251,6 +251,9 @@ type ToBigInt =
     static member ToBigInt (x : uint64) =
         bigint (int64 x)
 
+    static member ToBigInt (x : double) =
+        bigint x
+
     static member inline Invoke (x :'Integral) : bigint =
         let inline call_2 (a : ^a, b : ^b) =
             ((^a or ^b) : (static member ToBigInt : _ -> _) b)

diff --git a/src/Hedgehog/Script.fsx b/src/Hedgehog/Script.fsx
@@ -168,6 +168,20 @@ Range.constantBounded ()
 |> Gen.map (fun (ma, mi, bu, re) -> Version (ma, mi, bu, re))
 |> Gen.printSample
 
+//
+// Printing Samples ― Prevent a generator from shrinking
+//
+
+Range.exponentialBounded ()
+|> Gen.double
+|> Gen.noShrink
+|> Gen.printSample
+
+Range.exponentialBounded ()
+|> Gen.float
+|> Gen.noShrink
+|> Gen.printSample
+
 //
 // Printing Samples ― System.Net.IPAddress
 //