Test that the larger predicate is monotone.

robrix · Jul 5, 2020 · 310d109 · 310d109
1 parent b77df88
commit 310d109
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/test/Data/IntervalSet/Test.hs b/test/Data/IntervalSet/Test.hs
@@ -3,6 +3,7 @@ module Data.IntervalSet.Test
 ( tests
 ) where
 
+import Control.Monad (when)
 import Data.Foldable (foldl')
 import Data.Functor.I
 import Data.Functor.Interval
@@ -23,6 +24,13 @@ tests = testGroup "IntervalSet"
       s <- insert i <$> forAll gs
       insert i s === s
     ]
+  , testGroup "larger"
+    [ testProperty "monotone" . property $ do
+      i1 <- forAll gi
+      i2 <- forAll gi
+      i3 <- forAll gi
+      when (larger i1 (Just i2)) $ larger i1 (Just (i2 <> i3)) === True
+    ]
   ]
   where
   gp = Gen.int (Range.linear 0 100)