diff options
| -rw-r--r-- | tests/Catch.hs | 72 |
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) |