@@ -0,0 +1,16 @@
1+{-# LANGUAGE RankNTypes #-}
2+module Test.Jack.Compat where
5+import qualified Hedgehog.Gen as Gen
6+import qualified Hedgehog.Range as Range
8+type Jack x = forall m. Monad m => Gen m x
10+(...) :: (c -> d) -> (a -> b -> c) -> a -> b -> d
14+choose :: Integral a => a -> a -> Jack a
15+choose = Gen.integral ... Range.constant