summaryrefslogtreecommitdiffstats
path: root/W.hs
blob: cf1c1fb188687606120c6f72303f8005ac249d98 (plain)
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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
-----------------------------------------------------------------------------
-- |
-- Module      :  W.hs
-- Copyright   :  (c) Spencer Janssen 2007
-- License     :  BSD3-style (see LICENSE)
-- 
-- Maintainer  :  sjanssen@cse.unl.edu
-- Stability   :  unstable
-- Portability :  not portable, uses cunning newtype deriving
--
-----------------------------------------------------------------------------
--
-- The W monad, a state monad transformer over IO, for the window
-- manager state, and support routines.
--

module W where

import System.IO
import Graphics.X11.Xlib
import Control.Monad.State

-- | WState, the window manager state.
-- Just the display, width, height and a window list
data WState = WState
    { display       :: Display
    , screenWidth   :: !Int
    , screenHeight  :: !Int
    , windows       :: !Windows
    }

--
-- Multithreaded issues:
--
--   We'll want a status bar, it will probably read from stdin
--   but will thus need to run in its own thread, and modify its status
--   bar window
--

type Windows = [Window]

-- | The W monad, a StateT transformer over IO encapuslating the window
-- manager state
newtype W a = W { unW :: StateT WState IO a }
    deriving (Functor, Monad, MonadIO, MonadState WState)

-- | Run the W monad, given a chunk of W monad code, and an initial state
-- Return the result, and final state
runW :: WState -> W a -> IO (a, WState)
runW st a = runStateT (unW a) st

-- | Lift an IO action into the W monad
io :: IO a -> W a
io = liftIO

-- | Lift an IO action into the W monad, discarding any result
io_ :: IO a -> W ()
io_ f = liftIO f >> return ()

-- | A 'trace' for the W monad. Logs a string to stderr. The result may
-- be found in your .xsession-errors file
trace :: String -> W ()
trace msg = io $ do
    hPutStrLn stderr msg
    hFlush stderr

-- ---------------------------------------------------------------------
-- Getting at the window manager state

-- | Modify the current window list
modifyWindows   :: (Windows -> Windows) -> W ()
modifyWindows f = modify $ \s -> s {windows = f (windows s)}

-- ---------------------------------------------------------------------
-- Generic utilities

-- | Run an action forever
forever :: (Monad m) => m a -> m b
forever a = a >> forever a

-- | Add an element onto the end of a list
snoc :: [a] -> a -> [a]
snoc xs x = xs ++ [x]

-- | Rotate a list by 'n' elements.
--
-- for xs = [5..8] ++ [1..4]
--
--  rotate 0 
--  [5,6,7,8,1,2,3,4]
--
--  rotate 1
--  [6,7,8,1,2,3,4,5]
--
--  rotate (-1)
--  [4,5,6,7,8,1,2,3]
--
rotate n xs = take l . drop offset . cycle $ xs
  where
    l      = length xs
    offset | n < 0     = l + n
           | otherwise = n