xmonad-extras-0.9.1: Third party extensions for xmonad with wacky dependencies

Portabilityunportable
Stabilityunstable
MaintainerAdam Vogt <vogt.adam@gmail.com>

XMonad.Config.Alt.Internal

Contents

Description

Synopsis

Documentation

Running

runConfig :: (LayoutClass l Window, Read (l Window), HCompose (HCons t t1) (HNil -> l1), HMap Snd l1 l', Monad m, HCompose l' (m (XConfig (Choose Tall (Choose (Mirror Tall) Full))) -> Config (XConfig l))) => HCons t t1 -> IO ()Source

runConfig' :: (HCompose (HCons t t1) (HNil -> l), HMap Snd l l', Monad m, HCompose l' (m a -> Config b)) => a -> HCons t t1 -> IO bSource

Actions

Use set, add, modify, modifyIO for most predefined fields in XConfig.

For constructing things to modify a config:

 insertInto action hold prec field v
  • action is an instance of Mode so you only need to write ModifyIO to describe how to access this field.
  • hold is HTrue if you don't want to overwrite a preexisting value at the same prec. This is for things that should be applied once-only.
  • field used with the Mode
  • v the value that is being updated (or a function if you use Modify or similar)

set :: (Mode Set field e x y, HLength l ll, HLt ll (HSucc (HSucc (HSucc (HSucc HZero)))) b, Ins2 b (HSucc (HSucc (HSucc (HSucc HZero)))) HFalse (Config (XConfig x) -> Config (XConfig y)) l l') => field -> e -> l -> l'Source

add :: (Mode Add field e x y, HLength l ll, HLt ll (HSucc (HSucc (HSucc (HSucc HZero)))) b, Ins2 b (HSucc (HSucc (HSucc (HSucc HZero)))) HFalse (Config (XConfig x) -> Config (XConfig y)) l l') => field -> e -> l -> l'Source

modify :: (Mode Modify field e x y, HLength l ll, HLt ll (HSucc (HSucc (HSucc (HSucc HZero)))) b, Ins2 b (HSucc (HSucc (HSucc (HSucc HZero)))) HFalse (Config (XConfig x) -> Config (XConfig y)) l l') => field -> e -> l -> l'Source

modifyIO :: (Mode ModifyIO field e x y, HLength l ll, HLt ll (HSucc (HSucc (HSucc (HSucc HZero)))) b, Ins2 b (HSucc (HSucc (HSucc (HSucc HZero)))) HFalse (Config (XConfig x) -> Config (XConfig y)) l l') => field -> e -> l -> l'Source

less useful

modifyIO' :: (Mode ModifyIO field e x y, HLength l ll, HLt ll n b, Ins2 b n hold (Config (XConfig x) -> Config (XConfig y)) l l') => hold -> n -> field -> e -> l -> l'Source

insertInto :: (Mode action field e x y, HLength l ll, HLt ll n b, Ins2 b n hold (Config (XConfig x) -> Config (XConfig y)) l l') => action -> hold -> n -> field -> e -> l -> l'Source

Things to modify

Special

data LayoutHook Source

Represent setting layouts and layout modifiers

Constructors

LayoutHook 

Instances

LayoutClass l' Window => Mode Set LayoutHook (l' Window) l l' 
(LayoutClass l Window, LayoutClass l' Window) => Mode Add LayoutHook (l' Window) l (Choose l' l)

Add means something else for layoutHook because there's no suitable mempty for the general instance of LayoutClass

Mode ModifyIO LayoutHook (l Window -> Config (m Window)) l m 
(Read (l Window), LayoutClass l Window, Read (l' Window), LayoutClass l' Window) => Mode Modify LayoutHook (l Window -> l' Window) l l' 

Others

data FocusFollowsMouse Source

Constructors

FocusFollowsMouse 

Instances

Fail (Expected Bool) => Mode ModifyIO FocusFollowsMouse x[adyw] l[adyv] l[adyv] 
Fail (Expected Bool) => Mode Modify FocusFollowsMouse x[adyx] l[adyv] l[adyv] 
Mode Set FocusFollowsMouse Bool l[adyv] l[adyv] 
Fail (Expected Bool) => Mode Set FocusFollowsMouse x[adyy] l[adyv] l[adyv] 
Mode ModifyIO FocusFollowsMouse (Bool -> Config Bool) l[adyv] l[adyv] 
Mode Modify FocusFollowsMouse (Bool -> Bool) l[adyv] l[adyv] 

data StartupHook Source

Constructors

StartupHook 

Instances

Fail (Expected (X ())) => Mode ModifyIO StartupHook x[adyj] l[adyi] l[adyi] 
Fail (Expected (X ())) => Mode Modify StartupHook x[adyk] l[adyi] l[adyi] 
Fail (Expected (X ())) => Mode Set StartupHook x[adyl] l[adyi] l[adyi] 
Mode Set StartupHook (X ()) l[adyi] l[adyi] 
Mode ModifyIO StartupHook (X () -> Config (X ())) l[adyi] l[adyi] 
Mode Modify StartupHook (X () -> X ()) l[adyi] l[adyi] 

data LogHook Source

Constructors

LogHook 

Instances

Fail (Expected (X ())) => Mode ModifyIO LogHook x[ady6] l[ady5] l[ady5] 
Fail (Expected (X ())) => Mode Modify LogHook x[ady7] l[ady5] l[ady5] 
Fail (Expected (X ())) => Mode Set LogHook x[ady8] l[ady5] l[ady5] 
Mode Set LogHook (X ()) l[ady5] l[ady5] 
Mode ModifyIO LogHook (X () -> Config (X ())) l[ady5] l[ady5] 
Mode Modify LogHook (X () -> X ()) l[ady5] l[ady5] 

data BorderWidth Source

Constructors

BorderWidth 

Instances

Fail (Expected Dimension) => Mode ModifyIO BorderWidth x[adxT] l[adxS] l[adxS] 
Fail (Expected Dimension) => Mode Modify BorderWidth x[adxU] l[adxS] l[adxS] 
Fail (Expected Dimension) => Mode Set BorderWidth x[adxV] l[adxS] l[adxS] 
Mode Set BorderWidth Dimension l[adxS] l[adxS] 
Mode ModifyIO BorderWidth (Dimension -> Config Dimension) l[adxS] l[adxS] 
Mode Modify BorderWidth (Dimension -> Dimension) l[adxS] l[adxS] 

data MouseBindings Source

Constructors

MouseBindings 

Instances

Fail (Expected (XConfig Layout -> Map (ButtonMask, Button) (Window -> X ()))) => Mode ModifyIO MouseBindings x[adxG] l[adxF] l[adxF] 
Fail (Expected (XConfig Layout -> Map (ButtonMask, Button) (Window -> X ()))) => Mode Modify MouseBindings x[adxH] l[adxF] l[adxF] 
Fail (Expected (XConfig Layout -> Map (ButtonMask, Button) (Window -> X ()))) => Mode Set MouseBindings x[adxI] l[adxF] l[adxF] 
Mode ModifyIO MouseBindings ((XConfig Layout -> Map (ButtonMask, Button) (Window -> X ())) -> Config (XConfig Layout -> Map (ButtonMask, Button) (Window -> X ()))) l[adxF] l[adxF] 
Mode Modify MouseBindings ((XConfig Layout -> Map (ButtonMask, Button) (Window -> X ())) -> XConfig Layout -> Map (ButtonMask, Button) (Window -> X ())) l[adxF] l[adxF] 
Mode Set MouseBindings (XConfig Layout -> Map (ButtonMask, Button) (Window -> X ())) l[adxF] l[adxF] 

data Keys Source

Constructors

Keys 

Instances

Fail (Expected (XConfig Layout -> Map (ButtonMask, KeySym) (X ()))) => Mode ModifyIO Keys x[adxt] l[adxs] l[adxs] 
Fail (Expected (XConfig Layout -> Map (ButtonMask, KeySym) (X ()))) => Mode Modify Keys x[adxu] l[adxs] l[adxs] 
Fail (Expected (XConfig Layout -> Map (ButtonMask, KeySym) (X ()))) => Mode Set Keys x[adxv] l[adxs] l[adxs] 
Mode ModifyIO Keys ((XConfig Layout -> Map (ButtonMask, KeySym) (X ())) -> Config (XConfig Layout -> Map (ButtonMask, KeySym) (X ()))) l[adxs] l[adxs] 
Mode Modify Keys ((XConfig Layout -> Map (ButtonMask, KeySym) (X ())) -> XConfig Layout -> Map (ButtonMask, KeySym) (X ())) l[adxs] l[adxs] 
Mode Set Keys (XConfig Layout -> Map (ButtonMask, KeySym) (X ())) l[adxs] l[adxs] 

data ModMask Source

Constructors

ModMask 

Instances

Fail (Expected KeyMask) => Mode ModifyIO ModMask x[adxg] l[adxf] l[adxf] 
Fail (Expected KeyMask) => Mode Modify ModMask x[adxh] l[adxf] l[adxf] 
Fail (Expected KeyMask) => Mode Set ModMask x[adxi] l[adxf] l[adxf] 
Mode Set ModMask KeyMask l[adxf] l[adxf] 
Mode ModifyIO ModMask (KeyMask -> Config KeyMask) l[adxf] l[adxf] 
Mode Modify ModMask (KeyMask -> KeyMask) l[adxf] l[adxf] 

data Workspaces Source

Constructors

Workspaces 

Instances

Fail (Expected [String]) => Mode ModifyIO Workspaces x[adx3] l[adx2] l[adx2] 
Fail (Expected [String]) => Mode Modify Workspaces x[adx4] l[adx2] l[adx2] 
Fail (Expected [String]) => Mode Set Workspaces x[adx5] l[adx2] l[adx2] 
Mode Set Workspaces [String] l[adx2] l[adx2] 
Mode ModifyIO Workspaces ([String] -> Config [String]) l[adx2] l[adx2] 
Mode Modify Workspaces ([String] -> [String]) l[adx2] l[adx2] 

data HandleEventHook Source

Constructors

HandleEventHook 

Instances

Fail (Expected (Event -> X All)) => Mode ModifyIO HandleEventHook x[adwQ] l[adwP] l[adwP] 
Fail (Expected (Event -> X All)) => Mode Modify HandleEventHook x[adwR] l[adwP] l[adwP] 
Fail (Expected (Event -> X All)) => Mode Set HandleEventHook x[adwS] l[adwP] l[adwP] 
Mode ModifyIO HandleEventHook ((Event -> X All) -> Config (Event -> X All)) l[adwP] l[adwP] 
Mode Modify HandleEventHook ((Event -> X All) -> Event -> X All) l[adwP] l[adwP] 
Mode Set HandleEventHook (Event -> X All) l[adwP] l[adwP] 

data ManageHook Source

Constructors

ManageHook 

Instances

Fail (Expected ManageHook) => Mode ModifyIO ManageHook x[adwD] l[adwC] l[adwC] 
Fail (Expected ManageHook) => Mode Modify ManageHook x[adwE] l[adwC] l[adwC] 
Fail (Expected ManageHook) => Mode Set ManageHook x[adwF] l[adwC] l[adwC] 
Mode Set ManageHook ManageHook l[adwC] l[adwC] 
Mode ModifyIO ManageHook (ManageHook -> Config ManageHook) l[adwC] l[adwC] 
Mode Modify ManageHook (ManageHook -> ManageHook) l[adwC] l[adwC] 

data Terminal Source

Constructors

Terminal 

Instances

Fail (Expected String) => Mode ModifyIO Terminal x[adwq] l[adwp] l[adwp] 
Fail (Expected String) => Mode Modify Terminal x[adwr] l[adwp] l[adwp] 
Mode Set Terminal String l[adwp] l[adwp] 
Fail (Expected String) => Mode Set Terminal x[adws] l[adwp] l[adwp] 
Mode ModifyIO Terminal (String -> Config String) l[adwp] l[adwp] 
Mode Modify Terminal (String -> String) l[adwp] l[adwp] 

data FocusedBorderColor Source

Constructors

FocusedBorderColor 

Instances

Fail (Expected String) => Mode ModifyIO FocusedBorderColor x[adwd] l[adwc] l[adwc] 
Fail (Expected String) => Mode Modify FocusedBorderColor x[adwe] l[adwc] l[adwc] 
Mode Set FocusedBorderColor String l[adwc] l[adwc] 
Fail (Expected String) => Mode Set FocusedBorderColor x[adwf] l[adwc] l[adwc] 
Mode ModifyIO FocusedBorderColor (String -> Config String) l[adwc] l[adwc] 
Mode Modify FocusedBorderColor (String -> String) l[adwc] l[adwc] 

data NormalBorderColor Source

Constructors

NormalBorderColor 

Instances

Fail (Expected String) => Mode ModifyIO NormalBorderColor x[adw0] l[advZ] l[advZ] 
Fail (Expected String) => Mode Modify NormalBorderColor x[adw1] l[advZ] l[advZ] 
Mode Set NormalBorderColor String l[advZ] l[advZ] 
Fail (Expected String) => Mode Set NormalBorderColor x[adw2] l[advZ] l[advZ] 
Mode ModifyIO NormalBorderColor (String -> Config String) l[advZ] l[advZ] 
Mode Modify NormalBorderColor (String -> String) l[advZ] l[advZ] 

Relatively private

You probably don't need these

Ordered Insertion into HLists like [(Nat,a)]

insLt :: (HLength l n, HSubtract a n c, HReplicateF c Id l1, HAppend l l1 l'', HAppend l'' (HCons (t, t1) HNil) l''1) => a -> t -> t1 -> l -> l''1Source

insGeq :: (HCond t (t, a -> b) (t1, a -> c) z, HUpdateAtHNat n z l l', HLookupByHNat n l (t, a -> b)) => n -> t1 -> (b -> c) -> l -> l'Source

class HBool hold => Ins2 b n hold f l l' | b n hold f l -> l' whereSource

utility class, so that we can use contexts that may not be satisfied, depending on the length of the accumulated list.

Methods

ins2 :: b -> n -> hold -> f -> l -> l'Source

Instances

(HLength l n, HSubtract a1 n a, HReplicateF a Id l', HAppend l l' l'', HAppend l'' (HCons (hold, e) HNil) l''1, HBool hold) => Ins2 HTrue a1 hold e l l''1

when l needs to be padded with id

(HLookupByHNat n l (t, a -> b), HUpdateAtHNat n z l l', HCond t (t, a -> b) (t1, a -> c) z, HBool t1) => Ins2 HFalse n t1 (b -> c) l l'

when l already has enough elements, just compose. Only when the existing HBool is HFalse

class Ins' n hold f l l' | n hold f l -> l' whereSource

Methods

ins' :: n -> hold -> f -> l -> l'Source

Instances

(HLength l ll, HLt ll n b, Ins2 b n hold f l l') => Ins' n hold f l l' 

ins :: (Monad m, HLength l ll, HLt ll n b1, Ins2 b1 n HFalse (m a -> m b) l l') => n -> (a -> m b) -> l -> l'Source

Useful functions

class HCompose l f | l -> f whereSource

like foldr (.) id, but for a heteregenous list.

Methods

hComp :: l -> fSource

Instances

HCompose HNil (a -> a) 
HCompose r (a -> b) => HCompose (:*: (b -> c) r) (a -> c) 

data Snd Source

Constructors

Snd 

Instances

Apply Snd (a, b) b 

class HSubtract a b c | a b -> c whereSource

The difference between HNats. Clamped to HZero

Methods

hSubtract :: a -> b -> cSource

Instances

HNat a => HSubtract a HZero a 
HSubtract HZero b HZero 
(HNat a, HNat b, HSubtract a b c) => HSubtract (HSucc a) (HSucc b) c 

class HNat n => HReplicateF n e l | n e -> l whereSource

Methods

hReplicateF :: n -> e -> lSource

Instances

HReplicateF HZero e HNil 
(Apply e x y, HReplicateF n e r) => HReplicateF (HSucc n) e (:*: (HFalse, x -> y) r) 

class HPred' n n' | n -> n' whereSource

exactly like hPred, but accept HZero too

Methods

hPred' :: n -> n'Source

Instances

For overloading

class Mode action field e x y | action field e x -> y, action field x y -> e whereSource

Methods

m :: action -> field -> e -> XConfig x -> Config (XConfig y)Source

Instances

Fail (Expected Bool) => Mode ModifyIO FocusFollowsMouse x[adyw] l[adyv] l[adyv] 
Fail (Expected (X ())) => Mode ModifyIO StartupHook x[adyj] l[adyi] l[adyi] 
Fail (Expected (X ())) => Mode ModifyIO LogHook x[ady6] l[ady5] l[ady5] 
Fail (Expected Dimension) => Mode ModifyIO BorderWidth x[adxT] l[adxS] l[adxS] 
Fail (Expected (XConfig Layout -> Map (ButtonMask, Button) (Window -> X ()))) => Mode ModifyIO MouseBindings x[adxG] l[adxF] l[adxF] 
Fail (Expected (XConfig Layout -> Map (ButtonMask, KeySym) (X ()))) => Mode ModifyIO Keys x[adxt] l[adxs] l[adxs] 
Fail (Expected KeyMask) => Mode ModifyIO ModMask x[adxg] l[adxf] l[adxf] 
Fail (Expected [String]) => Mode ModifyIO Workspaces x[adx3] l[adx2] l[adx2] 
Fail (Expected (Event -> X All)) => Mode ModifyIO HandleEventHook x[adwQ] l[adwP] l[adwP] 
Fail (Expected ManageHook) => Mode ModifyIO ManageHook x[adwD] l[adwC] l[adwC] 
Fail (Expected String) => Mode ModifyIO Terminal x[adwq] l[adwp] l[adwp] 
Fail (Expected String) => Mode ModifyIO FocusedBorderColor x[adwd] l[adwc] l[adwc] 
Fail (Expected String) => Mode ModifyIO NormalBorderColor x[adw0] l[advZ] l[advZ] 
Fail (Expected Bool) => Mode Modify FocusFollowsMouse x[adyx] l[adyv] l[adyv] 
Fail (Expected (X ())) => Mode Modify StartupHook x[adyk] l[adyi] l[adyi] 
Fail (Expected (X ())) => Mode Modify LogHook x[ady7] l[ady5] l[ady5] 
Fail (Expected Dimension) => Mode Modify BorderWidth x[adxU] l[adxS] l[adxS] 
Fail (Expected (XConfig Layout -> Map (ButtonMask, Button) (Window -> X ()))) => Mode Modify MouseBindings x[adxH] l[adxF] l[adxF] 
Fail (Expected (XConfig Layout -> Map (ButtonMask, KeySym) (X ()))) => Mode Modify Keys x[adxu] l[adxs] l[adxs] 
Fail (Expected KeyMask) => Mode Modify ModMask x[adxh] l[adxf] l[adxf] 
Fail (Expected [String]) => Mode Modify Workspaces x[adx4] l[adx2] l[adx2] 
Fail (Expected (Event -> X All)) => Mode Modify HandleEventHook x[adwR] l[adwP] l[adwP] 
Fail (Expected ManageHook) => Mode Modify ManageHook x[adwE] l[adwC] l[adwC] 
Fail (Expected String) => Mode Modify Terminal x[adwr] l[adwp] l[adwp] 
Fail (Expected String) => Mode Modify FocusedBorderColor x[adwe] l[adwc] l[adwc] 
Fail (Expected String) => Mode Modify NormalBorderColor x[adw1] l[advZ] l[advZ] 
Mode Set FocusFollowsMouse Bool l[adyv] l[adyv] 
Fail (Expected Bool) => Mode Set FocusFollowsMouse x[adyy] l[adyv] l[adyv] 
Fail (Expected (X ())) => Mode Set StartupHook x[adyl] l[adyi] l[adyi] 
Fail (Expected (X ())) => Mode Set LogHook x[ady8] l[ady5] l[ady5] 
Fail (Expected Dimension) => Mode Set BorderWidth x[adxV] l[adxS] l[adxS] 
Mode Set BorderWidth Dimension l[adxS] l[adxS] 
Fail (Expected (XConfig Layout -> Map (ButtonMask, Button) (Window -> X ()))) => Mode Set MouseBindings x[adxI] l[adxF] l[adxF] 
Fail (Expected (XConfig Layout -> Map (ButtonMask, KeySym) (X ()))) => Mode Set Keys x[adxv] l[adxs] l[adxs] 
Fail (Expected KeyMask) => Mode Set ModMask x[adxi] l[adxf] l[adxf] 
Mode Set ModMask KeyMask l[adxf] l[adxf] 
Fail (Expected [String]) => Mode Set Workspaces x[adx5] l[adx2] l[adx2] 
Fail (Expected (Event -> X All)) => Mode Set HandleEventHook x[adwS] l[adwP] l[adwP] 
Fail (Expected ManageHook) => Mode Set ManageHook x[adwF] l[adwC] l[adwC] 
Mode Set ManageHook ManageHook l[adwC] l[adwC] 
Mode Set Terminal String l[adwp] l[adwp] 
Fail (Expected String) => Mode Set Terminal x[adws] l[adwp] l[adwp] 
Mode Set FocusedBorderColor String l[adwc] l[adwc] 
Fail (Expected String) => Mode Set FocusedBorderColor x[adwf] l[adwc] l[adwc] 
Mode Set NormalBorderColor String l[advZ] l[advZ] 
Fail (Expected String) => Mode Set NormalBorderColor x[adw2] l[advZ] l[advZ] 
LayoutClass l' Window => Mode Set LayoutHook (l' Window) l l' 
Mode Set StartupHook (X ()) l[adyi] l[adyi] 
Mode Set LogHook (X ()) l[ady5] l[ady5] 
Mode Set Workspaces [String] l[adx2] l[adx2] 
(LayoutClass l Window, LayoutClass l' Window) => Mode Add LayoutHook (l' Window) l (Choose l' l)

Add means something else for layoutHook because there's no suitable mempty for the general instance of LayoutClass

Mode ModifyIO LayoutHook (l Window -> Config (m Window)) l m 
Mode ModifyIO FocusFollowsMouse (Bool -> Config Bool) l[adyv] l[adyv] 
Mode ModifyIO StartupHook (X () -> Config (X ())) l[adyi] l[adyi] 
Mode ModifyIO LogHook (X () -> Config (X ())) l[ady5] l[ady5] 
Mode ModifyIO BorderWidth (Dimension -> Config Dimension) l[adxS] l[adxS] 
Mode ModifyIO MouseBindings ((XConfig Layout -> Map (ButtonMask, Button) (Window -> X ())) -> Config (XConfig Layout -> Map (ButtonMask, Button) (Window -> X ()))) l[adxF] l[adxF] 
Mode ModifyIO Keys ((XConfig Layout -> Map (ButtonMask, KeySym) (X ())) -> Config (XConfig Layout -> Map (ButtonMask, KeySym) (X ()))) l[adxs] l[adxs] 
Mode ModifyIO ModMask (KeyMask -> Config KeyMask) l[adxf] l[adxf] 
Mode ModifyIO Workspaces ([String] -> Config [String]) l[adx2] l[adx2] 
Mode ModifyIO HandleEventHook ((Event -> X All) -> Config (Event -> X All)) l[adwP] l[adwP] 
Mode ModifyIO ManageHook (ManageHook -> Config ManageHook) l[adwC] l[adwC] 
Mode ModifyIO Terminal (String -> Config String) l[adwp] l[adwp] 
Mode ModifyIO FocusedBorderColor (String -> Config String) l[adwc] l[adwc] 
Mode ModifyIO NormalBorderColor (String -> Config String) l[advZ] l[advZ] 
(Read (l Window), LayoutClass l Window, Read (l' Window), LayoutClass l' Window) => Mode Modify LayoutHook (l Window -> l' Window) l l' 
Mode Modify FocusFollowsMouse (Bool -> Bool) l[adyv] l[adyv] 
Mode Modify StartupHook (X () -> X ()) l[adyi] l[adyi] 
Mode Modify LogHook (X () -> X ()) l[ady5] l[ady5] 
Mode Modify BorderWidth (Dimension -> Dimension) l[adxS] l[adxS] 
Mode Modify MouseBindings ((XConfig Layout -> Map (ButtonMask, Button) (Window -> X ())) -> XConfig Layout -> Map (ButtonMask, Button) (Window -> X ())) l[adxF] l[adxF] 
Mode Modify Keys ((XConfig Layout -> Map (ButtonMask, KeySym) (X ())) -> XConfig Layout -> Map (ButtonMask, KeySym) (X ())) l[adxs] l[adxs] 
Mode Modify ModMask (KeyMask -> KeyMask) l[adxf] l[adxf] 
Mode Modify Workspaces ([String] -> [String]) l[adx2] l[adx2] 
Mode Modify HandleEventHook ((Event -> X All) -> Event -> X All) l[adwP] l[adwP] 
Mode Modify ManageHook (ManageHook -> ManageHook) l[adwC] l[adwC] 
Mode Modify Terminal (String -> String) l[adwp] l[adwp] 
Mode Modify FocusedBorderColor (String -> String) l[adwc] l[adwc] 
Mode Modify NormalBorderColor (String -> String) l[advZ] l[advZ] 
Mode Set MouseBindings (XConfig Layout -> Map (ButtonMask, Button) (Window -> X ())) l[adxF] l[adxF] 
Mode Set Keys (XConfig Layout -> Map (ButtonMask, KeySym) (X ())) l[adxs] l[adxs] 
Mode Set HandleEventHook (Event -> X All) l[adwP] l[adwP] 

data Add Source

Constructors

Add

the Mode instance combines the old value like new mappend old

Instances

(LayoutClass l Window, LayoutClass l' Window) => Mode Add LayoutHook (l' Window) l (Choose l' l)

Add means something else for layoutHook because there's no suitable mempty for the general instance of LayoutClass

data Set Source

Constructors

Set 

Instances

Mode Set FocusFollowsMouse Bool l[adyv] l[adyv] 
Fail (Expected Bool) => Mode Set FocusFollowsMouse x[adyy] l[adyv] l[adyv] 
Fail (Expected (X ())) => Mode Set StartupHook x[adyl] l[adyi] l[adyi] 
Fail (Expected (X ())) => Mode Set LogHook x[ady8] l[ady5] l[ady5] 
Fail (Expected Dimension) => Mode Set BorderWidth x[adxV] l[adxS] l[adxS] 
Mode Set BorderWidth Dimension l[adxS] l[adxS] 
Fail (Expected (XConfig Layout -> Map (ButtonMask, Button) (Window -> X ()))) => Mode Set MouseBindings x[adxI] l[adxF] l[adxF] 
Fail (Expected (XConfig Layout -> Map (ButtonMask, KeySym) (X ()))) => Mode Set Keys x[adxv] l[adxs] l[adxs] 
Fail (Expected KeyMask) => Mode Set ModMask x[adxi] l[adxf] l[adxf] 
Mode Set ModMask KeyMask l[adxf] l[adxf] 
Fail (Expected [String]) => Mode Set Workspaces x[adx5] l[adx2] l[adx2] 
Fail (Expected (Event -> X All)) => Mode Set HandleEventHook x[adwS] l[adwP] l[adwP] 
Fail (Expected ManageHook) => Mode Set ManageHook x[adwF] l[adwC] l[adwC] 
Mode Set ManageHook ManageHook l[adwC] l[adwC] 
Mode Set Terminal String l[adwp] l[adwp] 
Fail (Expected String) => Mode Set Terminal x[adws] l[adwp] l[adwp] 
Mode Set FocusedBorderColor String l[adwc] l[adwc] 
Fail (Expected String) => Mode Set FocusedBorderColor x[adwf] l[adwc] l[adwc] 
Mode Set NormalBorderColor String l[advZ] l[advZ] 
Fail (Expected String) => Mode Set NormalBorderColor x[adw2] l[advZ] l[advZ] 
LayoutClass l' Window => Mode Set LayoutHook (l' Window) l l' 
Mode Set StartupHook (X ()) l[adyi] l[adyi] 
Mode Set LogHook (X ()) l[ady5] l[ady5] 
Mode Set Workspaces [String] l[adx2] l[adx2] 
Mode Set MouseBindings (XConfig Layout -> Map (ButtonMask, Button) (Window -> X ())) l[adxF] l[adxF] 
Mode Set Keys (XConfig Layout -> Map (ButtonMask, KeySym) (X ())) l[adxs] l[adxs] 
Mode Set HandleEventHook (Event -> X All) l[adwP] l[adwP] 

data Modify Source

Constructors

Modify 

Instances

Fail (Expected Bool) => Mode Modify FocusFollowsMouse x[adyx] l[adyv] l[adyv] 
Fail (Expected (X ())) => Mode Modify StartupHook x[adyk] l[adyi] l[adyi] 
Fail (Expected (X ())) => Mode Modify LogHook x[ady7] l[ady5] l[ady5] 
Fail (Expected Dimension) => Mode Modify BorderWidth x[adxU] l[adxS] l[adxS] 
Fail (Expected (XConfig Layout -> Map (ButtonMask, Button) (Window -> X ()))) => Mode Modify MouseBindings x[adxH] l[adxF] l[adxF] 
Fail (Expected (XConfig Layout -> Map (ButtonMask, KeySym) (X ()))) => Mode Modify Keys x[adxu] l[adxs] l[adxs] 
Fail (Expected KeyMask) => Mode Modify ModMask x[adxh] l[adxf] l[adxf] 
Fail (Expected [String]) => Mode Modify Workspaces x[adx4] l[adx2] l[adx2] 
Fail (Expected (Event -> X All)) => Mode Modify HandleEventHook x[adwR] l[adwP] l[adwP] 
Fail (Expected ManageHook) => Mode Modify ManageHook x[adwE] l[adwC] l[adwC] 
Fail (Expected String) => Mode Modify Terminal x[adwr] l[adwp] l[adwp] 
Fail (Expected String) => Mode Modify FocusedBorderColor x[adwe] l[adwc] l[adwc] 
Fail (Expected String) => Mode Modify NormalBorderColor x[adw1] l[advZ] l[advZ] 
(Read (l Window), LayoutClass l Window, Read (l' Window), LayoutClass l' Window) => Mode Modify LayoutHook (l Window -> l' Window) l l' 
Mode Modify FocusFollowsMouse (Bool -> Bool) l[adyv] l[adyv] 
Mode Modify StartupHook (X () -> X ()) l[adyi] l[adyi] 
Mode Modify LogHook (X () -> X ()) l[ady5] l[ady5] 
Mode Modify BorderWidth (Dimension -> Dimension) l[adxS] l[adxS] 
Mode Modify MouseBindings ((XConfig Layout -> Map (ButtonMask, Button) (Window -> X ())) -> XConfig Layout -> Map (ButtonMask, Button) (Window -> X ())) l[adxF] l[adxF] 
Mode Modify Keys ((XConfig Layout -> Map (ButtonMask, KeySym) (X ())) -> XConfig Layout -> Map (ButtonMask, KeySym) (X ())) l[adxs] l[adxs] 
Mode Modify ModMask (KeyMask -> KeyMask) l[adxf] l[adxf] 
Mode Modify Workspaces ([String] -> [String]) l[adx2] l[adx2] 
Mode Modify HandleEventHook ((Event -> X All) -> Event -> X All) l[adwP] l[adwP] 
Mode Modify ManageHook (ManageHook -> ManageHook) l[adwC] l[adwC] 
Mode Modify Terminal (String -> String) l[adwp] l[adwp] 
Mode Modify FocusedBorderColor (String -> String) l[adwc] l[adwc] 
Mode Modify NormalBorderColor (String -> String) l[advZ] l[advZ] 

data ModifyIO Source

Constructors

ModifyIO 

Instances

Fail (Expected Bool) => Mode ModifyIO FocusFollowsMouse x[adyw] l[adyv] l[adyv] 
Fail (Expected (X ())) => Mode ModifyIO StartupHook x[adyj] l[adyi] l[adyi] 
Fail (Expected (X ())) => Mode ModifyIO LogHook x[ady6] l[ady5] l[ady5] 
Fail (Expected Dimension) => Mode ModifyIO BorderWidth x[adxT] l[adxS] l[adxS] 
Fail (Expected (XConfig Layout -> Map (ButtonMask, Button) (Window -> X ()))) => Mode ModifyIO MouseBindings x[adxG] l[adxF] l[adxF] 
Fail (Expected (XConfig Layout -> Map (ButtonMask, KeySym) (X ()))) => Mode ModifyIO Keys x[adxt] l[adxs] l[adxs] 
Fail (Expected KeyMask) => Mode ModifyIO ModMask x[adxg] l[adxf] l[adxf] 
Fail (Expected [String]) => Mode ModifyIO Workspaces x[adx3] l[adx2] l[adx2] 
Fail (Expected (Event -> X All)) => Mode ModifyIO HandleEventHook x[adwQ] l[adwP] l[adwP] 
Fail (Expected ManageHook) => Mode ModifyIO ManageHook x[adwD] l[adwC] l[adwC] 
Fail (Expected String) => Mode ModifyIO Terminal x[adwq] l[adwp] l[adwp] 
Fail (Expected String) => Mode ModifyIO FocusedBorderColor x[adwd] l[adwc] l[adwc] 
Fail (Expected String) => Mode ModifyIO NormalBorderColor x[adw0] l[advZ] l[advZ] 
Mode ModifyIO LayoutHook (l Window -> Config (m Window)) l m 
Mode ModifyIO FocusFollowsMouse (Bool -> Config Bool) l[adyv] l[adyv] 
Mode ModifyIO StartupHook (X () -> Config (X ())) l[adyi] l[adyi] 
Mode ModifyIO LogHook (X () -> Config (X ())) l[ady5] l[ady5] 
Mode ModifyIO BorderWidth (Dimension -> Config Dimension) l[adxS] l[adxS] 
Mode ModifyIO MouseBindings ((XConfig Layout -> Map (ButtonMask, Button) (Window -> X ())) -> Config (XConfig Layout -> Map (ButtonMask, Button) (Window -> X ()))) l[adxF] l[adxF] 
Mode ModifyIO Keys ((XConfig Layout -> Map (ButtonMask, KeySym) (X ())) -> Config (XConfig Layout -> Map (ButtonMask, KeySym) (X ()))) l[adxs] l[adxs] 
Mode ModifyIO ModMask (KeyMask -> Config KeyMask) l[adxf] l[adxf] 
Mode ModifyIO Workspaces ([String] -> Config [String]) l[adx2] l[adx2] 
Mode ModifyIO HandleEventHook ((Event -> X All) -> Config (Event -> X All)) l[adwP] l[adwP] 
Mode ModifyIO ManageHook (ManageHook -> Config ManageHook) l[adwC] l[adwC] 
Mode ModifyIO Terminal (String -> Config String) l[adwp] l[adwp] 
Mode ModifyIO FocusedBorderColor (String -> Config String) l[adwc] l[adwc] 
Mode ModifyIO NormalBorderColor (String -> Config String) l[advZ] l[advZ] 

newtype Config a Source

Constructors

Config (WriterT Warnings IO a) 

Instances

Monad Config 
MonadIO Config 
MonadWriter Warnings Config 
Mode ModifyIO LayoutHook (l Window -> Config (m Window)) l m 
Mode ModifyIO FocusFollowsMouse (Bool -> Config Bool) l[adyv] l[adyv] 
Mode ModifyIO StartupHook (X () -> Config (X ())) l[adyi] l[adyi] 
Mode ModifyIO LogHook (X () -> Config (X ())) l[ady5] l[ady5] 
Mode ModifyIO BorderWidth (Dimension -> Config Dimension) l[adxS] l[adxS] 
Mode ModifyIO MouseBindings ((XConfig Layout -> Map (ButtonMask, Button) (Window -> X ())) -> Config (XConfig Layout -> Map (ButtonMask, Button) (Window -> X ()))) l[adxF] l[adxF] 
Mode ModifyIO Keys ((XConfig Layout -> Map (ButtonMask, KeySym) (X ())) -> Config (XConfig Layout -> Map (ButtonMask, KeySym) (X ()))) l[adxs] l[adxs] 
Mode ModifyIO ModMask (KeyMask -> Config KeyMask) l[adxf] l[adxf] 
Mode ModifyIO Workspaces ([String] -> Config [String]) l[adx2] l[adx2] 
Mode ModifyIO HandleEventHook ((Event -> X All) -> Config (Event -> X All)) l[adwP] l[adwP] 
Mode ModifyIO ManageHook (ManageHook -> Config ManageHook) l[adwC] l[adwC] 
Mode ModifyIO Terminal (String -> Config String) l[adwp] l[adwp] 
Mode ModifyIO FocusedBorderColor (String -> Config String) l[adwc] l[adwc] 
Mode ModifyIO NormalBorderColor (String -> Config String) l[advZ] l[advZ] 

test :: IO ()Source

Verification that insertions happen in order

 (T1 (),"3")
 (T2 (T1 ()),"31")
 (T2 (T3 (T1 ())),"321")
 (T2 (T3a (T3 (T1 ()))),"3221")

module Data.HList