From afd0255738c17eef006c0ba7ddda771cff3c52c6 Mon Sep 17 00:00:00 2001 From: "quentin.moser" Date: Sun, 17 Jan 2010 12:56:01 +0100 Subject: Mention X.L.Groups.ModifySpec's rank-2 type in the doc Ignore-this: 2061238abf835cb20579a4899655cec2 darcs-hash:20100117115601-5ccef-4c841e0535ffb6ba3bbac8ae5ae7720de4a32066.gz --- XMonad/Layout/Groups.hs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'XMonad/Layout/Groups.hs') diff --git a/XMonad/Layout/Groups.hs b/XMonad/Layout/Groups.hs index 899ae62..4eaea40 100644 --- a/XMonad/Layout/Groups.hs +++ b/XMonad/Layout/Groups.hs @@ -352,6 +352,10 @@ refocus g = case getFocusZ $ gZipper $ W.focus $ groups g -- -- * Duplicate layouts (only one will be kept, the rest will -- 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 -> Zipper (Group l Window) -> Zipper (Group l Window) -- cgit v1.2.3