twin/xmonad-contrib
1
0
Fork 0
mirror of https://github.com/xmonad/xmonad-contrib.git synced 2025-08-17 21:33:46 -07:00
Code Issues Packages Projects Releases Wiki Activity

Mention X.L.Groups.ModifySpec's rank-2 type in the doc

Browse Source
This commit is contained in:
quentin.moser
2010-01-17 11:56:01 +00:00
parent 4339b7ac00
commit 44a1889345
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
XMonad/Layout/Groups.hs
View File

@@ -352,6 +352,10 @@ refocus g = case getFocusZ $ gZipper $ W.focus $ groups g
-- --
-- * Duplicate layouts (only one will be kept, the rest will -- * Duplicate layouts (only one will be kept, the rest will
-- get the base layout) -- get the base layout)
--
-- Note that 'ModifySpec' is a rank-2 type (indicating that 'ModifySpec's must be polymorphic
-- in the layout type), so you'll need to add @{-# LANGUAGE Rank2Types #-}@ at the beginning
-- of any module that defines functions taking 'ModifySpec's as arguments, or returning them.
type ModifySpec = forall l. WithID l Window type ModifySpec = forall l. WithID l Window
-> Zipper (Group l Window) -> Zipper (Group l Window)
-> Zipper (Group l Window) -> Zipper (Group l Window)