on master help sign in
Add missing file
commitf4e1f2899b7b86bf88c2cbf9ea67db834e463bd9 authorHuw Campbell <huw.campbell@ambiata.com> dateMon 10 Apr 2017, 12:06 (10 years ago) parenta40d3c7
1 file changed+16
test/Test/Jack/Compat.hs+16
test/Test/Jack/Compat.hsnew file+16
@@ -0,0 +1,16 @@
1+{-# LANGUAGE RankNTypes #-}
2+module Test.Jack.Compat where
3+
4+import Hedgehog
5+import qualified Hedgehog.Gen as Gen
6+import qualified Hedgehog.Range as Range
7+
8+type Jack x = forall m. Monad m => Gen m x
9+
10+(...) :: (c -> d) -> (a -> b -> c) -> a -> b -> d
11+(...) = (.) . (.)
12+{-# INLINE (...) #-}
13+
14+choose :: Integral a => a -> a -> Jack a
15+choose = Gen.integral ... Range.constant
16+