We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 0797298 commit b77df88Copy full SHA for b77df88
test/Data/IntervalSet/Test.hs
@@ -18,15 +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 gi = interval gp
22
- gs = intervalSet gi
+ let gs = intervalSet gi
23
i <- forAll gi
24
s <- insert i <$> forAll gs
25
insert i s === s
26
]
27
28
where
29
gp = Gen.int (Range.linear 0 100)
+ gi = interval gp
30
31
interval :: (MonadGen m, Ord a) => m a -> m (Interval I a)
32
interval p = mk <$> p <*> p
0 commit comments