Update the Catch checking to the new interface for StackSet

2025-08-01 04:31:53 -07:00 · 2007-05-22 01:54:22 +00:00
parent e300df5425
commit c4dd126200
1 changed files with 15 additions and 3 deletions
--- a/tests/Catch.hs
+++ b/tests/Catch.hs
@@ -10,9 +10,21 @@ import StackSet
 -- TESTING PROPERTIES

 main = 
-    screen ||| peekStack ||| index ||| empty ||| peek ||| push ||| delete ||| member |||
-    raiseFocus ||| rotate ||| promote ||| shift ||| view ||| workspace ||| insert |||
-    visibleWorkspaces ||| swap {- helper -}
+        new
+    ||| view
+    ||| lookupWorkspace
+    ||| modify
+    ||| peek
+    ||| index
+    ||| focusLeft
+    ||| focusRight
+    ||| focusWindow
+    ||| member
+    ||| findIndex
+    ||| insertLeft
+    ||| delete
+    ||| swap
+    ||| shift


 ---------------------------------------------------------------------