xmonad-contrib-0.18.1: Community-maintained extensions for xmonad
CopyrightDevin Mullins <devin.mullins@gmail.com>
LicenseBSD-style (see LICENSE)
MaintainerDevin Mullins <devin.mullins@gmail.com>
Stabilityunstable
Portabilityunportable
Safe HaskellNone
LanguageHaskell2010

XMonad.Config.Prime

Description

Deprecated: This module is a perpetual draft and will therefore be removed from xmonad-contrib in the near future.

This is a draft of a brand new config syntax for xmonad. It aims to be:

  • easier to copy/paste snippets from the docs
  • easier to get the gist for what's going on, for you imperative programmers

It's brand new, so it's pretty much guaranteed to break or change syntax. But what's the worst that could happen? Xmonad crashes and logs you out? It probably won't do that. Give it a try.

Synopsis

Start here

To start with, create a xmonad.hs that looks like this:

{-# LANGUAGE RebindableSyntax #-}
import XMonad.Config.Prime

-- Imports go here.

main = xmonad $ do
  nothing
  -- Configs go here.

This will give you a default xmonad install, with room to grow. The lines starting with double dashes are comments. You may delete them. Note that Haskell is a bit precise about indentation. Make sure all the statements in your do-block start at the same column, and make sure that any multi-line statements are formatted with a hanging indent. (For an example, see the 'keys =+' statement in the Example config section, below.)

After changing your config file, restart xmonad with mod-q (where, by default, "mod" == "alt").

xmonad :: forall a (l :: Type -> Type). (Default a, Read (l Window), LayoutClass l Window) => (a -> IO (XConfig l)) -> IO () Source #

This is the xmonad main function. It passes def (the default XConfig) into your do-block, takes the modified config out of your do-block, and then runs xmonad.

The do-block is a Prime. Advanced readers can skip right to that definition.

nothing :: forall (l :: Type -> Type). Prime l l Source #

This doesn't modify the config in any way. It's just here for your initial config because Haskell doesn't allow empty do-blocks. Feel free to delete it once you've added other stuff.

Attributes you can set

These are a bunch of attributes that you can set. Syntax looks like this:

  terminal =: "urxvt"

Strings are double quoted, Dimensions are unquoted integers, booleans are True or False (case-sensitive), and modMask is usually mod1Mask or mod4Mask.

normalBorderColor :: forall (l :: Type -> Type). Settable String (XConfig l) Source #

Non-focused windows border color. Default: "#dddddd"

focusedBorderColor :: forall (l :: Type -> Type). Settable String (XConfig l) Source #

Focused windows border color. Default: "#ff0000"

terminal :: forall (l :: Type -> Type). Settable String (XConfig l) Source #

The preferred terminal application. Default: "xterm"

modMask :: forall (l :: Type -> Type). Settable KeyMask (XConfig l) Source #

The mod modifier, as used by key bindings. Default: mod1Mask (which is probably alt on your computer).

borderWidth :: forall (l :: Type -> Type). Settable Dimension (XConfig l) Source #

The border width (in pixels). Default: 1

focusFollowsMouse :: forall (l :: Type -> Type). Settable Bool (XConfig l) Source #

Whether window focus follows the mouse cursor on move, or requires a mouse click. (Mouse? What's that?) Default: True

clickJustFocuses :: forall (l :: Type -> Type). Settable Bool (XConfig l) Source #

If True, a mouse click on an inactive window focuses it, but the click is not passed to the window. If False, the click is also passed to the window. Default True

class SettableClass (s :: Type -> Type) x y | s -> x y where Source #

Methods

(=:) :: s c -> y -> Arr c c Source #

This lets you modify an attribute.

Instances

Instances details
UpdateableClass s x y => SettableClass s x y Source # 
Instance details

Defined in XMonad.Config.Prime

Methods

(=:) :: s c -> y -> Arr c c Source #

class UpdateableClass (s :: Type -> Type) x y | s -> x y where Source #

Methods

(=.) :: s c -> (x -> y) -> Arr c c Source #

This lets you apply a function to an attribute (i.e. read, modify, write).

Attributes you can add to

In addition to being able to set these attributes, they have a special syntax for being able to add to them. The operator is =+ (the plus comes after the equals), but each attribute has a different syntax for what comes after the operator.

manageHook :: forall (l :: Type -> Type). Summable ManageHook ManageHook (XConfig l) Source #

The action to run when a new window is opened. Default:

  manageHook =: composeAll [className =? "MPlayer" --> doFloat, className =? "Gimp" --> doFloat]

To add more rules to this list, you can say, for instance:

import XMonad.StackSet
...
  manageHook =+ (className =? "Emacs" --> doF kill)
  manageHook =+ (className =? "Vim" --> doF shiftMaster)

Note that operator precedence mandates the parentheses here.

handleEventHook :: forall (l :: Type -> Type). Summable (Event -> X All) (Event -> X All) (XConfig l) Source #

Custom X event handler. Return All True if the default handler should also be run afterwards. Default does nothing. To add an event handler:

import XMonad.Hooks.ServerMode
...
  handleEventHook =+ serverModeEventHook

workspaces :: forall (l :: Type -> Type). Summable [String] [String] (XConfig l) Source #

List of workspaces' names. Default: map show [1 .. 9 :: Int]. Adding appends to the end:

  workspaces =+ ["0"]

This is useless unless you also create keybindings for this.

logHook :: forall (l :: Type -> Type). Summable (X ()) (X ()) (XConfig l) Source #

The action to perform when the windows set is changed. This happens whenever focus change, a window is moved, etc. logHook =+ takes an X () and appends it via (>>). For instance:

import XMonad.Hooks.ICCCMFocus
...
  logHook =+ takeTopFocus

Note that if your expression is parametrically typed (e.g. of type MonadIO m => m ()), you'll need to explicitly annotate it, like so:

  logHook =+ (io $ putStrLn "Hello, world!" :: X ())

startupHook :: forall (l :: Type -> Type). Summable (X ()) (X ()) (XConfig l) Source #

The action to perform on startup. startupHook =+ takes an X () and appends it via (>>). For instance:

import XMonad.Hooks.SetWMName
...
  startupHook =+ setWMName "LG3D"

Note that if your expression is parametrically typed (e.g. of type MonadIO m => m ()), you'll need to explicitly annotate it, as documented in logHook.

clientMask :: forall (l :: Type -> Type). Summable EventMask EventMask (XConfig l) Source #

The client events that xmonad is interested in. This is useful in combination with handleEventHook. Default: structureNotifyMask .|. enterWindowMask .|. propertyChangeMask

  clientMask =+ keyPressMask .|. keyReleaseMask

rootMask :: forall (l :: Type -> Type). Summable EventMask EventMask (XConfig l) Source #

The root events that xmonad is interested in. This is useful in combination with handleEventHook. Default: substructureRedirectMask .|. substructureNotifyMask .|. enterWindowMask .|. leaveWindowMask .|. structureNotifyMask .|. buttonPressMask

class SummableClass (s :: Type -> Type) y | s -> y where Source #

Methods

(=+) :: s c -> y -> Arr c c infix 0 Source #

This lets you add to an attribute.

Attributes you can add to or remove from

The following support the the =+ for adding items and the =- operator for removing items.

keys :: forall (l :: Type -> Type). Keys (XConfig l) Source #

Key bindings to X actions. Default: see `man xmonad`. keys takes a list of keybindings specified emacs-style, as documented in mkKeyMap. For example, to change the "kill window" key:

  keys =- ["M-S-c"]
  keys =+ [("M-M1-x", kill)]

mouseBindings :: forall (l :: Type -> Type). MouseBindings (XConfig l) Source #

Mouse button bindings to an X actions on a window. Default: see `man xmonad`. To make mod-<scrollwheel> switch workspaces:

import XMonad.Actions.CycleWS (nextWS, prevWS)
...
  mouseBindings =+ [((mod4Mask, button4), const prevWS),
                    ((mod4Mask, button5), const nextWS)]

Note that you need to specify the numbered mod-mask e.g. mod4Mask instead of just modMask.

class RemovableClass (r :: Type -> Type) y | r -> y where Source #

Methods

(=-) :: r c -> y -> Arr c c infix 0 Source #

This lets you remove from an attribute.

Modifying the list of workspaces

Workspaces can be configured through workspaces, but then the keys need to be set, and this can be a bit laborious. withWorkspaces provides a convenient mechanism for common workspace updates.

withWorkspaces :: forall (l :: Type -> Type). Arr WorkspaceConfig WorkspaceConfig -> Prime l l Source #

Configure workspaces through a Prime-like interface. Example:

  withWorkspaces $ do
    wsKeys =+ ["0"]
    wsActions =+ [("M-M1-", windows . swapWithCurrent)]
    wsSetName 1 "mail"

This will set workspaces and add the necessary keybindings to keys. Note that it won't remove old keybindings; it's just not that clever.

wsNames :: Settable [String] WorkspaceConfig Source #

The list of workspace names, like workspaces but with two differences:

  1. If any entry is the empty string, it'll be replaced with the corresponding entry in wsKeys.
  2. The list is truncated to the size of wsKeys.

The default value is repeat "".

If you'd like to create workspaces without associated keyspecs, you can do that afterwards, outside the withWorkspaces block, with workspaces =+.

wsKeys :: Summable [String] [String] WorkspaceConfig Source #

The list of workspace keys. These are combined with the modifiers in wsActions to form the keybindings for navigating to workspaces. Default: ["1","2",...,"9"].

wsActions :: Summable [(String, String -> X ())] [(String, String -> X ())] WorkspaceConfig Source #

Mapping from key prefix to command. Its type is [(String, String -> X())]. The key prefix may be a modifier such as "M-", or a submap prefix such as "M-a ", or both, as in "M-a M-". The command is a function that takes a workspace name and returns an X (). withWorkspaces creates keybindings for the cartesian product of wsKeys and wsActions.

Default:

[("M-", windows . W.greedyView),
 ("M-S-", windows . W.shift)]

wsSetName :: Int -> String -> Arr WorkspaceConfig WorkspaceConfig Source #

A convenience for just modifying one entry in wsNames, in case you only want a few named workspaces. Example:

    wsSetName 1 "mail"
    wsSetName 2 "web"

Modifying the screen keybindings

withScreens provides a convenient mechanism to set keybindings for moving between screens, much like withWorkspaces.

withScreens :: forall (l :: Type -> Type). Arr ScreenConfig ScreenConfig -> Prime l l Source #

Configure screen keys through a Prime-like interface:

  withScreens $ do
    sKeys =: ["e", "r"]

This will add the necessary keybindings to keys. Note that it won't remove old keybindings; it's just not that clever.

sKeys :: Summable [String] [String] ScreenConfig Source #

The list of screen keys. These are combined with the modifiers in sActions to form the keybindings for navigating to workspaces. Default: ["w","e","r"].

sActions :: Summable [(String, ScreenId -> X ())] [(String, ScreenId -> X ())] ScreenConfig Source #

Mapping from key prefix to command. Its type is [(String, ScreenId -> X())]. Works the same as wsActions except for a different function type.

Default:

[("M-", windows . onScreens W.view),
 ("M-S-", windows . onScreens W.shift)]

onScreens :: Eq s => (i -> StackSet i l a s sd -> StackSet i l a s sd) -> s -> StackSet i l a s sd -> StackSet i l a s sd Source #

Converts a stackset transformer parameterized on the workspace type into one parameterized on the screen type. For example, you can use onScreens W.view 0 to navigate to the workspace on the 0th screen. If the screen id is not recognized, the returned transformer acts as an identity function.

Modifying the layoutHook

Layouts are special. You can't modify them using the =: or =. operator. You need to use the following functions.

addLayout :: forall (l :: Type -> Type) r. (LayoutClass l Window, LayoutClass r Window) => r Window -> Prime l (Choose l r) Source #

Add a layout to the list of layouts choosable with mod-space. For instance:

import XMonad.Layout.Tabbed
...
  addLayout simpleTabbed

resetLayout :: forall r (l :: Type -> Type). LayoutClass r Window => r Window -> Prime l r Source #

Reset the layoutHook from scratch. For instance, to get rid of the wide layout:

  resetLayout $ Tall 1 (3/100) (1/2) ||| Full

(The dollar is like an auto-closing parenthesis, so all the stuff to the right of it is treated like an argument to resetLayout.)

modifyLayout :: LayoutClass r Window => (l Window -> r Window) -> Prime l r Source #

Modify your layoutHook with some wrapper function. You probably want to call this after you're done calling addLayout. Example:

import XMonad.Layout.NoBorders
...
  modifyLayout smartBorders

Updating the XConfig en masse

Finally, there are a few contrib modules that bundle multiple attribute updates together. There are three types: 1) wholesale replacements for the default config, 2) pure functions on the config, and 3) IO actions on the config. The syntax for each is different. Examples:

1) To start with a gnomeConfig instead of the default, we use startWith:

import XMonad.Config.Gnome
...
  startWith gnomeConfig

2) withUrgencyHook is a pure function, so we need to use apply:

import XMonad.Hooks.UrgencyHook
...
  apply $ withUrgencyHook dzenUrgencyHook

3) xmobar returns an IO (XConfig l), so we need to use applyIO:

import XMonad.Hooks.DynamicLog
...
  applyIO xmobar

startWith :: forall (l' :: Type -> Type) (l :: Type -> Type). XConfig l' -> Prime l l' Source #

Replace the current XConfig with the given one. If you use this, you probably want it to be the first line of your config.

apply :: forall (l :: Type -> Type) (l' :: Type -> Type). (XConfig l -> XConfig l') -> Prime l l' Source #

Turns a pure function on XConfig into a Prime.

applyIO :: forall (l :: Type -> Type) (l' :: Type -> Type). (XConfig l -> IO (XConfig l')) -> Prime l l' Source #

Turns an IO function on XConfig into a Prime.

The rest of the world

Everything you know and love from the core XMonad module is available for use in your config file, too.

type Place = CInt Source #

Place of window relative to siblings (used in Circulation requests or events)

type Font = XID Source #

badGC :: ErrorCode Source #

Xlib functions with return values of type Status return zero on failure and nonzero on success.

data Color Source #

counterpart of an X11 XColor structure

Instances

Instances details
Data Color 
Instance details

Defined in Graphics.X11.Xlib.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Color -> c Color Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Color Source #

toConstr :: Color -> Constr Source #

dataTypeOf :: Color -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Color) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Color) Source #

gmapT :: (forall b. Data b => b -> b) -> Color -> Color Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Color -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Color -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Color -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Color -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Color -> m Color Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Color -> m Color Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Color -> m Color Source #

Storable Color 
Instance details

Defined in Graphics.X11.Xlib.Types

Show Color 
Instance details

Defined in Graphics.X11.Xlib.Types

Eq Color 
Instance details

Defined in Graphics.X11.Xlib.Types

Methods

(==) :: Color -> Color -> Bool Source #

(/=) :: Color -> Color -> Bool Source #

data Segment Source #

counterpart of an X11 XSegment structure

Constructors

Segment 

Instances

Instances details
Data Segment 
Instance details

Defined in Graphics.X11.Xlib.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Segment -> c Segment Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Segment Source #

toConstr :: Segment -> Constr Source #

dataTypeOf :: Segment -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Segment) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Segment) Source #

gmapT :: (forall b. Data b => b -> b) -> Segment -> Segment Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Segment -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Segment -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Segment -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Segment -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Segment -> m Segment Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Segment -> m Segment Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Segment -> m Segment Source #

Storable Segment 
Instance details

Defined in Graphics.X11.Xlib.Types

Show Segment 
Instance details

Defined in Graphics.X11.Xlib.Types

Eq Segment 
Instance details

Defined in Graphics.X11.Xlib.Types

data Arc Source #

counterpart of an X11 XArc structure

Instances

Instances details
Storable Arc 
Instance details

Defined in Graphics.X11.Xlib.Types

Show Arc 
Instance details

Defined in Graphics.X11.Xlib.Types

Eq Arc 
Instance details

Defined in Graphics.X11.Xlib.Types

Methods

(==) :: Arc -> Arc -> Bool Source #

(/=) :: Arc -> Arc -> Bool Source #

data Rectangle Source #

counterpart of an X11 XRectangle structure

Instances

Instances details
Data Rectangle 
Instance details

Defined in Graphics.X11.Xlib.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Rectangle -> c Rectangle Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Rectangle Source #

toConstr :: Rectangle -> Constr Source #

dataTypeOf :: Rectangle -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Rectangle) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Rectangle) Source #

gmapT :: (forall b. Data b => b -> b) -> Rectangle -> Rectangle Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Rectangle -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Rectangle -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Rectangle -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Rectangle -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Rectangle -> m Rectangle Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Rectangle -> m Rectangle Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Rectangle -> m Rectangle Source #

Storable Rectangle 
Instance details

Defined in Graphics.X11.Xlib.Types

Read Rectangle 
Instance details

Defined in Graphics.X11.Xlib.Types

Show Rectangle 
Instance details

Defined in Graphics.X11.Xlib.Types

Eq Rectangle 
Instance details

Defined in Graphics.X11.Xlib.Types

PPrint Rectangle Source # 
Instance details

Defined in XMonad.Config.Dmwit

Methods

pprint :: Int -> Rectangle -> String Source #

data Point Source #

counterpart of an X11 XPoint structure

Constructors

Point 

Fields

Instances

Instances details
Data Point 
Instance details

Defined in Graphics.X11.Xlib.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Point -> c Point Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Point Source #

toConstr :: Point -> Constr Source #

dataTypeOf :: Point -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Point) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Point) Source #

gmapT :: (forall b. Data b => b -> b) -> Point -> Point Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Point -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Point -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Point -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Point -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Point -> m Point Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Point -> m Point Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Point -> m Point Source #

Storable Point 
Instance details

Defined in Graphics.X11.Xlib.Types

Show Point 
Instance details

Defined in Graphics.X11.Xlib.Types

Eq Point 
Instance details

Defined in Graphics.X11.Xlib.Types

Methods

(==) :: Point -> Point -> Bool Source #

(/=) :: Point -> Point -> Bool Source #

data Image Source #

pointer to an X11 XImage structure

Instances

Instances details
Data Image 
Instance details

Defined in Graphics.X11.Xlib.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Image -> c Image Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Image Source #

toConstr :: Image -> Constr Source #

dataTypeOf :: Image -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Image) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Image) Source #

gmapT :: (forall b. Data b => b -> b) -> Image -> Image Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Image -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Image -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Image -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Image -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Image -> m Image Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Image -> m Image Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Image -> m Image Source #

Show Image 
Instance details

Defined in Graphics.X11.Xlib.Types

Eq Image 
Instance details

Defined in Graphics.X11.Xlib.Types

Methods

(==) :: Image -> Image -> Bool Source #

(/=) :: Image -> Image -> Bool Source #

Ord Image 
Instance details

Defined in Graphics.X11.Xlib.Types

data SetWindowAttributes Source #

pointer to an X11 XSetWindowAttributes structure

Instances

Instances details
Data SetWindowAttributes 
Instance details

Defined in Graphics.X11.Xlib.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SetWindowAttributes -> c SetWindowAttributes Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SetWindowAttributes Source #

toConstr :: SetWindowAttributes -> Constr Source #

dataTypeOf :: SetWindowAttributes -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SetWindowAttributes) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SetWindowAttributes) Source #

gmapT :: (forall b. Data b => b -> b) -> SetWindowAttributes -> SetWindowAttributes Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SetWindowAttributes -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SetWindowAttributes -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> SetWindowAttributes -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SetWindowAttributes -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SetWindowAttributes -> m SetWindowAttributes Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SetWindowAttributes -> m SetWindowAttributes Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SetWindowAttributes -> m SetWindowAttributes Source #

Show SetWindowAttributes 
Instance details

Defined in Graphics.X11.Xlib.Types

Eq SetWindowAttributes 
Instance details

Defined in Graphics.X11.Xlib.Types

Ord SetWindowAttributes 
Instance details

Defined in Graphics.X11.Xlib.Types

data GC Source #

pointer to an X11 GC structure

Instances

Instances details
Data GC 
Instance details

Defined in Graphics.X11.Xlib.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GC -> c GC Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c GC Source #

toConstr :: GC -> Constr Source #

dataTypeOf :: GC -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c GC) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c GC) Source #

gmapT :: (forall b. Data b => b -> b) -> GC -> GC Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> GC -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> GC -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> GC -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> GC -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> GC -> m GC Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> GC -> m GC Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> GC -> m GC Source #

Show GC 
Instance details

Defined in Graphics.X11.Xlib.Types

Eq GC 
Instance details

Defined in Graphics.X11.Xlib.Types

Methods

(==) :: GC -> GC -> Bool Source #

(/=) :: GC -> GC -> Bool Source #

Ord GC 
Instance details

Defined in Graphics.X11.Xlib.Types

Methods

compare :: GC -> GC -> Ordering Source #

(<) :: GC -> GC -> Bool Source #

(<=) :: GC -> GC -> Bool Source #

(>) :: GC -> GC -> Bool Source #

(>=) :: GC -> GC -> Bool Source #

max :: GC -> GC -> GC Source #

min :: GC -> GC -> GC Source #

data Visual Source #

pointer to an X11 Visual structure

Instances

Instances details
Data Visual 
Instance details

Defined in Graphics.X11.Xlib.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Visual -> c Visual Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Visual Source #

toConstr :: Visual -> Constr Source #

dataTypeOf :: Visual -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Visual) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Visual) Source #

gmapT :: (forall b. Data b => b -> b) -> Visual -> Visual Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Visual -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Visual -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Visual -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Visual -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Visual -> m Visual Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Visual -> m Visual Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Visual -> m Visual Source #

Show Visual 
Instance details

Defined in Graphics.X11.Xlib.Types

Eq Visual 
Instance details

Defined in Graphics.X11.Xlib.Types

Ord Visual 
Instance details

Defined in Graphics.X11.Xlib.Types

data Screen Source #

pointer to an X11 Screen structure

Instances

Instances details
Data Screen 
Instance details

Defined in Graphics.X11.Xlib.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Screen -> c Screen Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Screen Source #

toConstr :: Screen -> Constr Source #

dataTypeOf :: Screen -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Screen) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Screen) Source #

gmapT :: (forall b. Data b => b -> b) -> Screen -> Screen Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Screen -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Screen -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Screen -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Screen -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Screen -> m Screen Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Screen -> m Screen Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Screen -> m Screen Source #

Show Screen 
Instance details

Defined in Graphics.X11.Xlib.Types

Eq Screen 
Instance details

Defined in Graphics.X11.Xlib.Types

Ord Screen 
Instance details

Defined in Graphics.X11.Xlib.Types

PPrint Screen Source # 
Instance details

Defined in XMonad.Config.Dmwit

Methods

pprint :: Int -> Screen -> String Source #

newtype Display Source #

pointer to an X11 Display structure

Constructors

Display (Ptr Display) 

Instances

Instances details
Data Display 
Instance details

Defined in Graphics.X11.Xlib.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Display -> c Display Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Display Source #

toConstr :: Display -> Constr Source #

dataTypeOf :: Display -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Display) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Display) Source #

gmapT :: (forall b. Data b => b -> b) -> Display -> Display Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Display -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Display -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Display -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Display -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Display -> m Display Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Display -> m Display Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Display -> m Display Source #

Show Display 
Instance details

Defined in Graphics.X11.Xlib.Types

Eq Display 
Instance details

Defined in Graphics.X11.Xlib.Types

Ord Display 
Instance details

Defined in Graphics.X11.Xlib.Types

screenNumberOfScreen :: Screen -> ScreenNumber Source #

interface to the X11 library function XScreenNumberOfScreen().

planesOfScreen :: Screen -> CInt Source #

interface to the X11 library function XPlanesOfScreen().

heightMMOfScreen :: Screen -> Dimension Source #

interface to the X11 library function XHeightMMOfScreen().

heightOfScreen :: Screen -> Dimension Source #

interface to the X11 library function XHeightOfScreen().

widthMMOfScreen :: Screen -> Dimension Source #

interface to the X11 library function XWidthMMOfScreen().

widthOfScreen :: Screen -> Dimension Source #

interface to the X11 library function XWidthOfScreen().

rootWindowOfScreen :: Screen -> Window Source #

interface to the X11 library function XRootWindowOfScreen().

maxCmapsOfScreen :: Screen -> CInt Source #

interface to the X11 library function XMaxCmapsOfScreen().

minCmapsOfScreen :: Screen -> CInt Source #

interface to the X11 library function XMinCmapsOfScreen().

eventMaskOfScreen :: Screen -> EventMask Source #

interface to the X11 library function XEventMaskOfScreen(). Event mask at connection setup time - not current event mask!

displayOfScreen :: Screen -> Display Source #

interface to the X11 library function XDisplayOfScreen().

doesSaveUnders :: Screen -> Bool Source #

interface to the X11 library function XDoesSaveUnders().

doesBackingStore :: Screen -> Bool Source #

interface to the X11 library function XDoesBackingStore().

defaultVisualOfScreen :: Screen -> Visual Source #

interface to the X11 library function XDefaultVisualOfScreen().

defaultGCOfScreen :: Screen -> GC Source #

interface to the X11 library function XDefaultGCOfScreen().

defaultDepthOfScreen :: Screen -> CInt Source #

interface to the X11 library function XDefaultDepthOfScreen().

defaultColormapOfScreen :: Screen -> Colormap Source #

interface to the X11 library function XDefaultColormapOfScreen().

cellsOfScreen :: Screen -> CInt Source #

interface to the X11 library function XCellsOfScreen().

whitePixelOfScreen :: Screen -> Pixel Source #

interface to the X11 library function XWhitePixelOfScreen().

blackPixelOfScreen :: Screen -> Pixel Source #

interface to the X11 library function XBlackPixelOfScreen().

data Region Source #

Instances

Instances details
Data Region 
Instance details

Defined in Graphics.X11.Xlib.Region

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Region -> c Region Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Region Source #

toConstr :: Region -> Constr Source #

dataTypeOf :: Region -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Region) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Region) Source #

gmapT :: (forall b. Data b => b -> b) -> Region -> Region Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Region -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Region -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Region -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Region -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Region -> m Region Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Region -> m Region Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Region -> m Region Source #

Show Region 
Instance details

Defined in Graphics.X11.Xlib.Region

Eq Region 
Instance details

Defined in Graphics.X11.Xlib.Region

Ord Region 
Instance details

Defined in Graphics.X11.Xlib.Region

createRegion :: IO Region Source #

interface to the X11 library function XCreateRegion().

blackPixelOfScreen :: Screen -> Pixel IO Bool

  • Region -> Rectangle -> Region -> Prime">BoolPrime.html#t:Pixel" title="XMonad.Config.Prime">Pixel -> IO ()
  • storeColor"XMonad-Config-Prime.html#t:QueryBestSizeClass" title="XMonad.Confitml#t:Point" title="XMonad.Config.Prime">Point -> clojureDocs -- Documentation and examples repository for Clojure.
  • Bool storeColoa> -- Documentation and examples repository for Clojure.storeColor"href="file:///use CInt #

    interface to the X11 lictions.WorkspaceCursors">Cursors title="XMon/libraries/basr"href="file:///use CInt Region -> Da92c/Data-Da:SummableClass" class="selflink">#

    Methods

    (=+) :: s c -> y -> Arr c c infix 0 Source #

    This lets you add to an atg-Prime.html#t:EventType" title="XMonad.Config.Prime">EventType

  • Source gravityNotify :: EventType
  • resizeRequest :: EventType
  • expose :: EventType
  • KeySym expose :: EventType
  • KeySym KeyMask, KeySym) (CloseDownModeEventType
  • ModifiedLayout (Decoratioig-Prime.ht> (KeySyle="XMonad.Config.Prime">CloseDownModeEventType
  • screenNumberOfScreen :: screenNumberOfScreen :: KeySym Source forall d e. (Region -> m Region KeySym Source forall d e. (Source #

    gmapT :: (forall b. Data b => b -> b) -> Renad.Config.PrimeF‘&LÞ”xï従¦Ù+|æ17Ûº¢mbÆuh¸'çK¬ó)%‰$ɆAÒåôázž‘b‚p˜Ã_%"#ñì2¼fV ]èÜrüRÒXCª 92c/Data-Data.html#t:Data" title="Data.Data">Data b => b -> b) -> Renad.ConÑ}ÎÛ©81ó¸T¨aÀŠïK¸g‡ÜáÑéþ¾œžÖÆ¢ &Þ—o{h,{pñÙ†‡%ýO0\ßë¦`É7ÏæÏõ"2?žMæÀ˜Í,Ò]ó!£žÐ!-f~*»RåÇõ⤡U¦\гKé*/tÑ9d1FÌTŠÕÞå"@¦ÚÑV†ŽáÛðÈu¦ÉóF¹Ô:ó©SêíX.U'‘r÷ùwƒB·IO ()

  • <Ïõ"2?žMæÀ˜Í,Ò]ó!£žÐ!-f~*»RåÇõ⤡U¦\гKé*/tÑ9d1FÌTŠÕÞå"@¦ÚÑV†ŽáÛðÈu¦ÉóF¹Ô:ó©SêíX.U'‘ -> Window -> Position -> Position -> Dimension -> IO ()
  • createWindow :: xm.html#t:Map" titlysym">looku.Strict">Map String Window)
  • bringWindow :: GraphiMonad-Confi"keyword">fd.Config.PeateWindow -> IO ()
  • createWindow :: xm.html#t:Map" titlysym">looku.Strict">Map String String looku.Sair">xC_crosshair :: ef="#v:gmapQ">gmapQ :: (forall d. PixelapQ :: (forall d.

    blackPixelOfScreen :: Screen ->

    The do-block is a Prime. Advanced readers canok when it opens.

  • shellPromptHere :: XPConfig -> Type -> Position -> Position ->

    shellPromptOn :: VisualInfoMask -> VisualInfo -> IO [String xK_Yacute :: ->

    shellPromptOn :: VisualInfoMask -> VisualInfo -> Position -> IO () -> <"XMonad-Config-Prime.html#t:IO" title=ayoutClass" title="XMonad.Config.Pri./usr/share/doc/libghc-xmonad-IO ()Rearies/base-4.20.2.0-d92c/Data-Data.hion -> IO () -> <"XMonad-Config-Prime.html#t:IO" title=ayoutClass" title="XMonad.Config.Priase-4.20.2.0-d92c/Data-Word.html#t:Word64" title="Data.Word">Word64}

  • data WindowAttributes = WindowAttribtegy is used.ü3 next to each other, without having to move individual windows.

  • Synopsis