summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--tests/Catch.hs72
1 files changed, 0 insertions, 72 deletions
diff --git a/tests/Catch.hs b/tests/Catch.hs
deleted file mode 100644
index ce05212..0000000
--- a/tests/Catch.hs
+++ /dev/null
@@ -1,72 +0,0 @@
-
--- This is a test set for running with Catch
--- http://www-users.cs.york.ac.uk/~ndm/catch/
-
-module Catch where
-
-import StackSet
-
----------------------------------------------------------------------
--- TESTING PROPERTIES
-
-main =
- new
- ||| view
- ||| lookupWorkspace
- ||| modify
- ||| peek
- ||| index
- ||| focusLeft
- ||| focusRight
- ||| focusWindow
- ||| member
- ||| findIndex
- ||| insertLeft
- ||| delete
- ||| swap
- ||| shift
-
-
----------------------------------------------------------------------
--- CATCH FIRST-ORDER LIBRARY
-
--- this should be included with Catch by default
--- and will be (one day!)
-
-foreign import primitive any0 :: a
-foreign import primitive anyEval1 :: a -> b
-foreign import primitive anyEval2 :: a -> b -> c
-foreign import primitive anyEval3 :: a -> b -> c -> d
-
-
-class Test a where
- test :: a -> Bool
-
-
-instance Test b => Test (a -> b) where
- test f = test (f any0)
-
-instance Test (Maybe a) where
- test f = anyEval1 f
-
-instance Test [a] where
- test f = anyEval1 f
-
-instance Test (StackSet a b c) where
- test f = anyEval1 f
-
-instance Test (a,b) where
- test f = anyEval1 f
-
-instance Test Bool where
- test f = anyEval1 f
-
-instance Test Char where
- test f = anyEval1 f
-
-instance Test (IO a) where
- test f = anyEval1 (f >> return ())
-
-
-(|||) :: (Test a, Test b) => a -> b -> IO c
-(|||) l r = anyEval2 (test l) (test r)