@@ -3,28 +3,19 @@ module Test.Hedgehog.Compat (
33 (...)
44 , choose
55 , blindForAll
6− , semiBlindForAll
7− , forAllRender
86 )where
97
108import Hedgehog (Gen)
119import qualified Hedgehog.Gen as Gen
1210import qualified Hedgehog.Range as Range
1311import Hedgehog.Internal.Property
14−import Hedgehog.Internal.Source
1512
1613(...) :: (c -> d) -> (a -> b -> c) -> a -> b -> d
1714(...) = (.) . (.)
1815{-# INLINE (...) #-}
1916
20−choose :: ( Integral a ) => a -> a -> Gen a
17+choose :: Integral a => a -> a -> Gen a
2118choose = Gen.integral ... Range.constant
2219
2320blindForAll :: Monad m => Gen a -> PropertyT m a
2421blindForAll = forAllWith (const "blind")
25−
26−semiBlindForAll :: (Monad m, Show a, HasCallStack) => Gen a -> PropertyT m a
27−semiBlindForAll = forAllWith (const "blind")
28−
29−forAllRender :: (Monad m, HasCallStack) => ( a -> String ) -> Gen a -> PropertyT m a
30−forAllRender render gen = forAllWith render gen