From cae4a749afe9b9928ce50f2dbb6414c595cfcb4b Mon Sep 17 00:00:00 2001
From: Adam Vogt <vogt.adam@gmail.com>
Date: Thu, 9 Jun 2011 06:02:20 +0200
Subject: Move tests from ManageDocks to tests/

Ignore-this: 31d51fae83d88e15cdb69f29da003bf7

The change to use a newtype for RectC is kind of ugly, but this way instances
are less likely to conflict in the tests.

darcs-hash:20110609040220-1499c-3a64ffa1d978d1dcebf648774619b192b3b244e3.gz
---
 tests/ManageDocks.hs | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 tests/ManageDocks.hs

(limited to 'tests/ManageDocks.hs')

diff --git a/tests/ManageDocks.hs b/tests/ManageDocks.hs
new file mode 100644
index 0000000..dd1e4d2
--- /dev/null
+++ b/tests/ManageDocks.hs
@@ -0,0 +1,21 @@
+module ManageDocks where
+import XMonad
+import XMonad.Hooks.ManageDocks
+import Test.QuickCheck
+import Foreign.C.Types
+import Properties
+
+instance Arbitrary CLong where
+    arbitrary = fromIntegral `fmap` (arbitrary :: Gen Int)
+instance Arbitrary RectC where
+    arbitrary = do
+        (x,y) <- arbitrary
+        NonNegative w <- arbitrary
+        NonNegative h <- arbitrary
+        return $ RectC (x,y,x+w,y+h)
+
+prop_r2c_c2r :: RectC -> Bool
+prop_r2c_c2r r = r2c (c2r r) == r
+
+prop_c2r_r2c :: Rectangle -> Bool
+prop_c2r_r2c r = c2r (r2c r) == r
-- 
cgit v1.2.3