mirror of
https://github.com/xmonad/xmonad.git
synced 2025-05-19 08:30:21 -07:00
8863761d66
* use quickcheck2 * run them using cabal's test-suite field * split up Properties into separate files
40 lines
1.1 KiB
Haskell
40 lines
1.1 KiB
Haskell
module Utils where
|
|
|
|
import XMonad.StackSet hiding (filter)
|
|
import Graphics.X11.Xlib.Types (Rectangle(..))
|
|
import Data.List (sortBy)
|
|
|
|
-- Useful operation, the non-local workspaces
|
|
hidden_spaces x = map workspace (visible x) ++ hidden x
|
|
|
|
|
|
-- normalise workspace list
|
|
normal s = s { hidden = sortBy g (hidden s), visible = sortBy f (visible s) }
|
|
where
|
|
f = \a b -> tag (workspace a) `compare` tag (workspace b)
|
|
g = \a b -> tag a `compare` tag b
|
|
|
|
|
|
noOverlaps [] = True
|
|
noOverlaps [_] = True
|
|
noOverlaps xs = and [ verts a `notOverlap` verts b
|
|
| a <- xs
|
|
, b <- filter (a /=) xs
|
|
]
|
|
where
|
|
verts (Rectangle a b w h) = (a,b,a + fromIntegral w - 1, b + fromIntegral h - 1)
|
|
|
|
notOverlap (left1,bottom1,right1,top1)
|
|
(left2,bottom2,right2,top2)
|
|
= (top1 < bottom2 || top2 < bottom1)
|
|
|| (right1 < left2 || right2 < left1)
|
|
|
|
|
|
applyN :: (Integral n) => Maybe n -> (a -> a) -> a -> a
|
|
applyN Nothing f v = v
|
|
applyN (Just 0) f v = v
|
|
applyN (Just n) f v = applyN (Just $ n-1) f (f v)
|
|
|
|
|
|
tags x = map tag $ workspaces x
|