Ord -package:basic-prelude -package:numeric-prelude package:xmonad-contrib

The Ord class is used for totally ordered datatypes. Instances of Ord can be derived for any user-defined datatype whose constituent types are in Ord. The declared order of the constructors in the data declaration determines the ordering in derived Ord instances. The Ordering datatype allows a single comparison to determine the precise ordering of two objects. The Haskell Report defines no laws for Ord. However, <= is customarily expected to implement a non-strict partial order and have the following properties:

• Transitivity if x <= y && y <= z = True, then x <= z = True
• Reflexivity x <= x = True
• Antisymmetry if x <= y && y <= x = True, then x == y = True

Note that the following operator interactions are expected to hold:

1. x >= y = y <= x
2. x < y = x <= y && x /= y
3. x > y = y < x
4. x < y = compare x y == LT
5. x > y = compare x y == GT
6. x == y = compare x y == EQ
7. min x y == if x <= y then x else y = True
8. max x y == if x >= y then x else y = True

Note that (7.) and (8.) do not require min and max to return either of their arguments. The result is merely required to equal one of the arguments in terms of (==). Minimal complete definition: either compare or <=. Using compare can be more efficient for complex types.

Allows ignoring listed workspace tags (such as scratchpad's "NSP"), and running other actions such as view, shift, etc. For example:

import qualified XMonad.StackSet as W
import XMonad.Actions.CycleWS

-- toggleOrView for people who prefer view to greedyView
toggleOrView' = toggleOrDoSkip [] W.view

-- toggleOrView ignoring scratchpad and named scratchpad workspace
toggleOrViewNoSP = toggleOrDoSkip ["NSP"] W.greedyView

Remember a dynamically updateable ordering on workspaces, together with tools for using this ordering with XMonad.Actions.CycleWS and XMonad.Hooks.StatusBar.PP.

Sort workspaces according to the stored dynamic ordering.

A comparison function which orders workspaces according to the stored dynamic ordering.

Swap the two given workspaces in the dynamic order.

Maps keys to windows. AnyKeys maps keys to windows regardless which screen they're on. PerScreenKeys maps keys to screens to windows. See Usage for more examples.

Color of the overlay window borders

Width of border in pixels

Maximum chord length. Use 0 for no maximum.

Focuses the next window that matches the given boolean query. If there is no such window, perform the given action instead.

Deprecated: Use tryInOrderWithNoRefreshToCurrentB instead.

Apply the dispatch function in order to each message of the list until one is handled. Returns True if so, False otherwise.

Variant of tryInOrderWithNoRefreshToCurrent that discards the results.

Variant of tryInOrderB that sends messages to the current layout without refresh using sendSomeMessageWithNoRefreshToCurrentB.

Deprecated: Use tryInOrderWithNoRefreshToCurrent instead.

This module provides helper functions for dealing with window borders.

Toggle the border of the currently focused window. To use it, add a keybinding like so:

, ((modm,  xK_g ),   withFocused toggleBorder)

orders screens by the upper-left-most corner, from left-to-right

orders screens by the upper-left-most corner, from top-to-bottom