Adding tests for Semigroup stimes function.

recursion-ninja · Feb 18, 2018 · 13f22e2 · 13f22e2
1 parent 133a4a9
commit 13f22e2
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/test/TestSuite.hs b/test/TestSuite.hs
@@ -335,6 +335,7 @@ semigroupProperties = testGroup "Properties of a Semigroup"
     [ localOption (QuickCheckTests 10000)
         $ testProperty "(<>) is associative" operationAssocativity
     , testProperty "sconcat === foldr1 (<>)" foldableApplication
+    , testProperty "stimes n === mconcat . replicate n" repeatedApplication
     ]
   where
     operationAssocativity :: BitVector -> BitVector -> BitVector -> Property
@@ -349,6 +350,10 @@ semigroupProperties = testGroup "Properties of a Semigroup"
         bvs = let x:xs = getNonEmpty nel
               in  x:|xs
 
+    repeatedApplication :: (NonNegative Int) -> BitVector -> Property
+    repeatedApplication (NonNegative i) bv =
+        stimes i bv === (mconcat . replicate i) bv
+
 
 bitVectorProperties :: TestTree
 bitVectorProperties = testGroup "BitVector properties"