We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 6798d62 commit 0797298Copy full SHA for 0797298
test/Data/IntervalSet/Test.hs
@@ -18,14 +18,15 @@ tests = testGroup "IntervalSet"
18
[ testProperty "empty is null" . property $ I.null (empty @Int) === True
19
, testGroup "insert"
20
[ testProperty "idempotence" . property $ do
21
- let gp = Gen.int (Range.linear 0 100)
22
- gi = interval gp
+ let gi = interval gp
23
gs = intervalSet gi
24
i <- forAll gi
25
s <- insert i <$> forAll gs
26
insert i s === s
27
]
28
+ where
29
+ gp = Gen.int (Range.linear 0 100)
30
31
interval :: (MonadGen m, Ord a) => m a -> m (Interval I a)
32
interval p = mk <$> p <*> p
0 commit comments