diff options
| author | Don Stewart <dons@galois.com> | 2008-03-07 19:16:57 +0100 |
|---|---|---|
| committer | Don Stewart <dons@galois.com> | 2008-03-07 19:16:57 +0100 |
| commit | 28692ca46ecf90c5f7630a90fa70c36747e26e2f (patch) | |
| tree | 7ea8515497cf8b5636a7f6a4e039d3f91f012317 | |
| parent | f8a11e8f42e7f80bc124ec4b040a31e161d39813 (diff) | |
| download | xmonad-28692ca46ecf90c5f7630a90fa70c36747e26e2f.tar.gz xmonad-28692ca46ecf90c5f7630a90fa70c36747e26e2f.tar.xz xmonad-28692ca46ecf90c5f7630a90fa70c36747e26e2f.zip | |
more general properties for view, greedyView
darcs-hash:20080307181657-cba2c-cbce57144f581da1aa34ef78dcadba41f7207a5d.gz
| -rw-r--r-- | tests/Properties.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs index 23d6c8b..f8f0684 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -136,10 +136,10 @@ prop_empty_I (n :: Positive Int) l = forAll (choose (1,fromIntegral n)) $ \m - invariant $ new l [0..fromIntegral n-1] ms prop_view_I (n :: NonNegative Int) (x :: T) = - n `tagMember` x ==> invariant $ view (fromIntegral n) x + invariant $ view (fromIntegral n) x prop_greedyView_I (n :: NonNegative Int) (x :: T) = - n `tagMember` x ==> invariant $ greedyView (fromIntegral n) x + invariant $ greedyView (fromIntegral n) x prop_focusUp_I (n :: NonNegative Int) (x :: T) = invariant $ foldr (const focusUp) x [1..n] |