- xmonad - Haskell.org

statically checked non-empty layout lists
by dons＠cse.unsw.edu.au 04 May '07

04 May '07

The new layout code introduces more chances for runtime errors than I'd like. In particular, the Dynamic type, and the possibility of users defining empty layout lists. Here's a cute approach, purely for instructive purposes, on statically checked non empty layout lists for Config.hs: Given a GADT for non-empty lists: data Empty data NonEmpty data List x y where Nil :: List Empty x Cons :: x -> List y x -> List NonEmpty x toList :: List t a -> [a] toList Nil = [] toList (Cons x y) = x : toList y infixr 5 .:. (.:.) :: x -> List t x -> List NonEmpty x (.:.) = Cons We can constrain: defaultLayouts :: List NonEmpty Layout meaning that this becomes a statically checked error: defaultLayouts = Nil resulting in: Config.hs:138:17: Couldn't match expected type `NonEmpty' against inferred type `Empty' Expected type: List NonEmpty Layout Inferred type: List Empty Layout While this is fine: defaultLayouts :: List NonEmpty Layout defaultLayouts = full .:. tall defaultDelta (1%2) .:. Nil Cute huh? -- Don

2 2

A dock in xmonad
by Dave Harrison 04 May '07

04 May '07

Hi all, I was just wondering, are there any plans or ideas about how a dock could be incorporated into xmonad ? Is there a 3rd party dock that could be used ? Cheers Dave

2 3

Configurable tiling algos
by dons＠cse.unsw.edu.au 04 May '07

04 May '07

Regarding configurable tiling, a simple strategy would be to have user-specified tiling functions available from Config.hs, of the type tile :: Rational -> Rectangle -> [Window] -> [(Window, Rectangle)] type Tiler =Rational -> Rectangle -> [Window] -> [(Window, Rectangle)] so, myTile :: [Tiler] myTile = [someTileAlgo ,someOtherAlgo ] These functions are then added to the list of algos to cycle through in mod-space, and would allow custom pure functions. David, I suspect you actually want 'tile' to live in X, so you can do window name lookups and so on? Other than generalising the type a bit, how does this sound, as an approach to extending the tiling algo set with custom user-written methods. -- Don

2 2

darcs patch: use anyKey constant instead of magic number
by Jason Creighton 04 May '07

04 May '07

Thu May 3 19:50:43 MDT 2007 Jason Creighton <jcreigh(a)gmail.com> * use anyKey constant instead of magic number

1 0

darcs patch: added mirrorLayout to mirror arbitrary layouts
by Jason Creighton 04 May '07

04 May '07

Thu May 3 19:46:53 MDT 2007 Jason Creighton <jcreigh(a)gmail.com> * added mirrorLayout to mirror arbitrary layouts

1 0

darcs patch: add support for extensible layouts.
by David Roundy 04 May '07

04 May '07

Hi all, Here's a rework of my extensible layouts patch. It doesn't add any new features, instead it's just a minimal refactoring to allow extensible layouts. David Thu May 3 07:47:50 PDT 2007 David Roundy <droundy(a)darcs.net> * add support for extensible layouts.

2 2

darcs patch: include all source code in LOC count.
by David Roundy 04 May '07

04 May '07

This patch has us include the hs-boot file as source code, which only seems fair. After all, it's yet another bit of code that needs to be kept in sync with the rest. David Thu May 3 07:05:51 PDT 2007 David Roundy <droundy(a)darcs.net> * include all source code in LOC count.

4 4

darcs patch: Fix instructions in Mosaic.
by Chris Mears 03 May '07

03 May '07

Fri May 4 08:23:45 EST 2007 Chris Mears <chris(a)cmears.id.au> * Fix instructions in Mosaic.

2 1

darcs patch: add Mosaic layout.
by David Roundy 03 May '07

03 May '07

Hi all, This adds my Mosaic extensible layout, using the extensible layouts patch that I just sent in. This isn't a terribly sophisticated layout engine, but at least it works better for me than any of the default ones. And more to the point, it demonstrates how to use the extensible layout patch that I just sent in to implement a non-trivial layout scheme. If you want to play with this, the interesting bindings are: mod-L : make windows wider mod-H : make windows taller mod-shift-L : Make currently focussed window bigger mod-shift-H : Make currently focussed window smaller mod-shift-S : Try to make the currently focussed window square, if possible All these adjustments are remembered, so you can arrange things as you wish, to a limited extent. As I said, it's pretty crude. An obvious extension would be to use windowing hints (e.g. from the recently posted patch) to get better defaults for the preferred aspect ratios and sizes. The layout algorithm isn't smart enough currently to even handle absolute sizes for windows. But that's the sort of thing that'd be worth adding. David Thu May 3 08:10:24 PDT 2007 David Roundy <droundy(a)darcs.net> * add Mosaic layout.

2 1

Patch to make RotView work
by Chris Mears 03 May '07

03 May '07

I had to apply the following patch to make the RotView contrib module build.

3 2