Add a consing/unconsing test

nikita-volkov · Nov 30, 2023 · d6a8014 · d6a8014
1 parent 273a21b
commit d6a8014
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/test/Main.hs b/test/Main.hs
@@ -53,13 +53,20 @@ main =
           $ \(acc :: Acc Int) ->
             Acc.toNonEmpty acc
               === NonEmpty.nonEmpty (toList acc),
-        testProperty "snoccing an unsnocced element of an acc produces the same acc"
+        testProperty "Snoccing an unsnocced element of an acc produces the same acc"
           $ \(acc :: Acc Int) ->
             case Acc.unsnoc acc of
               Just (lastElement, prefix) ->
                 toList (Acc.snoc lastElement prefix) === toList acc
               Nothing ->
                 discard,
+        testProperty "Consing an unconsed element of an acc produces the same acc"
+          $ \(acc :: Acc Int) ->
+            case Acc.uncons acc of
+              Just (firstElement, suffix) ->
+                toList (Acc.cons firstElement suffix) === toList acc
+              Nothing ->
+                discard,
         testGroup "Issue #10"
           $ [ testCase "" $ do
                 assertEqual