git.iko.soy/grenade
on master help sign in
Remove old functions
6819964Huw Campbell
test/Test/Hedgehog/Compat.hs+1−10
compare with master
unifiedsplit
@@ -3,28 +3,19 @@ module Test.Hedgehog.Compat (
3 (...)
3 (...)
4 , choose
4 , choose
5 , blindForAll
5 , blindForAll
6− , semiBlindForAll
7− , forAllRender
8 )where
6 )where
9
7
10import Hedgehog (Gen)
8import Hedgehog (Gen)
11import qualified Hedgehog.Gen as Gen
9import qualified Hedgehog.Gen as Gen
12import qualified Hedgehog.Range as Range
10import qualified Hedgehog.Range as Range
13import Hedgehog.Internal.Property
11import Hedgehog.Internal.Property
14−import Hedgehog.Internal.Source
15
12
16(...) :: (c -> d) -> (a -> b -> c) -> a -> b -> d
13(...) :: (c -> d) -> (a -> b -> c) -> a -> b -> d
17(...) = (.) . (.)
14(...) = (.) . (.)
18{-# INLINE (...) #-}
15{-# INLINE (...) #-}
19
16
20−choose :: ( Integral a ) => a -> a -> Gen a
17+choose :: Integral a => a -> a -> Gen a
21choose = Gen.integral ... Range.constant
18choose = Gen.integral ... Range.constant
22
19
23blindForAll :: Monad m => Gen a -> PropertyT m a
20blindForAll :: Monad m => Gen a -> PropertyT m a
24blindForAll = forAllWith (const "blind")
21blindForAll = 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