blob: 3f2eb9b86d1d604d0d54270834337a72a36d8bfc (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
{-# LANGUAGE ScopedTypeVariables #-}
module Properties.GreedyView where
import Test.QuickCheck
import Instances
import Utils
import XMonad.StackSet hiding (filter)
import Data.List (sortBy)
-- ---------------------------------------------------------------------
-- greedyViewing workspaces
-- greedyView sets the current workspace to 'n'
prop_greedyView_current (x :: T) = do
n <- arbitraryTag x
return $ currentTag (greedyView n x) == n
-- greedyView leaves things unchanged for invalid workspaces
prop_greedyView_current_id (x :: T) = do
n <- arbitrary `suchThat` \n' -> not $ n' `tagMember` x
return $ currentTag (greedyView n x) == currentTag x
-- greedyView *only* sets the current workspace, and touches Xinerama.
-- no workspace contents will be changed.
prop_greedyView_local (x :: T) = do
n <- arbitraryTag x
return $ workspaces x == workspaces (greedyView n x)
where
workspaces a = sortBy (\s t -> tag s `compare` tag t) $
workspace (current a)
: map workspace (visible a) ++ hidden a
-- greedyView is idempotent
prop_greedyView_idem (x :: T) = do
n <- arbitraryTag x
return $ greedyView n (greedyView n x) == (greedyView n x)
-- greedyView is reversible, though shuffles the order of hidden/visible
prop_greedyView_reversible (x :: T) = do
n <- arbitraryTag x
return $ normal (greedyView n' (greedyView n x)) == normal x
where n' = currentTag x
|
