Implement all combinators in terms of toGenT / fromGenT

hedgehogqa · Apr 28, 2019 · cc9c3d1 · cc9c3d1
1 parent e945326
commit cc9c3d1
Show file tree

Hide file tree

Showing 6 changed files with 130 additions and 353 deletions.
diff --git a/hedgehog-quickcheck/src/Hedgehog/Gen/QuickCheck.hs b/hedgehog-quickcheck/src/Hedgehog/Gen/QuickCheck.hs
@@ -16,7 +16,7 @@ import qualified Test.QuickCheck.Random as QuickCheck
 
 seedQCGen :: MonadGen m => m QuickCheck.QCGen
 seedQCGen =
-  QuickCheck.mkQCGen <$> Gen.lift (Gen.integral_ Range.constantBounded)
+  QuickCheck.mkQCGen <$> fromGenT (Gen.integral_ Range.constantBounded)
 
 -- | Create a Hedgehog 'Gen' from a QuickCheck 'QuickCheck.Gen'.
 --

diff --git a/hedgehog/src/Hedgehog.hs b/hedgehog/src/Hedgehog.hs
@@ -56,8 +56,6 @@ module Hedgehog (
 
   , forAll
   , forAllWith
-  , classify
-  , cover
   , discard
 
   , check
@@ -112,6 +110,8 @@ module Hedgehog (
   , evalExceptT
 
   -- * Coverage
+  , classify
+  , cover
   , label
   , collect
 

diff --git a/hedgehog/src/Hedgehog/Gen.hs b/hedgehog/src/Hedgehog/Gen.hs
@@ -1,9 +1,6 @@
 module Hedgehog.Gen (
-  -- * Combinators
-    lift
-
   -- ** Shrinking
-  , shrink
+    shrink
   , prune
 
   -- ** Size