{-# LANGUAGE ViewPatterns, MultiWayIf #-}

--------------------------------------------------------------------------------
-- |
-- Module       : XMonad.Actions.CycleWindows
-- Description  : Cycle windows while maintaining focus in place.
-- Copyright    : (c) Wirt Wolff <wirtwolff@gmail.com>
-- License      : BSD3-style (see LICENSE)
--
-- Maintainer   : Wirt Wolff <wirtwolff@gmail.com>
-- Stability    : unstable
-- Portability  : unportable
--
-- Provides bindings to cycle windows up or down on the current workspace
-- stack while maintaining focus in place.
--
-- Bindings are available to:
--
-- * Cycle nearby or nth windows into the focused frame
--
-- * Cycle a window halfway around the stack
--
-- * Cycle windows through the focused position.
--
-- * Cycle unfocused windows.
--
-- These bindings are especially useful with layouts that hide some of
-- the windows in the stack, such as Full, "XMonad.Layout.TwoPane" or
-- when using "XMonad.Layout.LimitWindows" to only show three or four
-- panes. See also "XMonad.Actions.RotSlaves" for related actions.
-----------------------------------------------------------------------------
module XMonad.Actions.CycleWindows (
        -- * Usage
        -- $usage

        -- * Cycling nearby or nth window into current frame
        -- $cycle
        cycleRecentWindows,
        cycleStacks',
        -- * Cycling half the stack to get rid of a boring window
        -- $opposite
        rotOpposite', rotOpposite,
        -- * Cycling windows through the current frame
        -- $focused
        rotFocused', rotFocusedUp, rotFocusedDown, shiftToFocus',
        -- * Cycling windows through other frames
        -- $unfocused
        rotUnfocused', rotUnfocusedUp, rotUnfocusedDown,
        -- * Updating the mouse pointer
        -- $pointer

        -- * Generic list rotations
        rotUp, rotDown
) where

import XMonad
import XMonad.Prelude
import qualified XMonad.StackSet as W
import qualified Data.List.NonEmpty as NE
import XMonad.Actions.RotSlaves
import XMonad.Actions.Repeatable (repeatableSt)

import Control.Arrow (second)
import Control.Monad.Trans (lift)

-- $usage
-- You can use this module with the following in your @xmonad.hs@ file:
--
-- > import XMonad.Actions.CycleWindows
-- >    -- config
-- >    -- other key bindings with x here your config
-- >
-- >              -- make sure mod matches keysym
-- >  , ((mod4Mask,  xK_s), cycleRecentWindows [xK_Super_L] xK_s xK_w)
-- >  , ((modm, xK_z), rotOpposite)
-- >  , ((modm                , xK_i), rotUnfocusedUp)
-- >  , ((modm                , xK_u), rotUnfocusedDown)
-- >  , ((modm .|. controlMask, xK_i), rotFocusedUp)
-- >  , ((modm .|. controlMask, xK_u), rotFocusedDown)
--
-- Also, if you use focus follows mouse, you will want to read the section
-- on updating the mouse pointer below.  For detailed instructions on
-- editing your key bindings, see <https://xmonad.org/TUTORIAL.html#customizing-xmonad the tutorial>.
{- $pointer
With FocusFollowsMouse == True, the focus is updated after binding
actions, possibly focusing a window you didn't intend to focus. Most
people using TwoPane probably already have a logHook causing the mouse
to follow focus. (See "XMonad.Actions.UpdatePointer", or "XMonad.Actions.Warp")

If you want this built into the key binding instead, use the appropriate
action from one of those modules to also have your bindings move the pointer
to the point of your choice on the current window:

> import XMonad.Actions.UpdatePointer -- or Actions.Warp

and either

> -- modify the window rotation bindings
> , ((modm .|. controlMask, xK_i   ), rotFocusedUp
>                                            >> updatePointer (Relative 1 1))
> , ((modm .|. controlMask, xK_u   ), rotFocusedDown
>                                            >> updatePointer (Relative 1 1))
>
>    -- or add to xmonad's logHook
>    , logHook = dynamicLogWithPP xmobarPP
>                    >> updatePointer Nearest -- or your preference

-}

-- $cycle
-- Cycle windows into focus from below or above the focused pane by pressing
-- a key while one or more modifier keys is held down. The window order isn't
-- changed until a modifier is released, leaving the previously focused window
-- just below the new one, (or above if the window just above is chosen.) For
-- best results use the same modifier + key combination as the one used to invoke
-- the \"bring from below\" action.  Also, once cycling, pressing a number key n
-- will focus the nth window, with 0 being the one originally focused.
cycleRecentWindows :: [KeySym] -- ^ A list of modifier keys used when invoking this action.
                               --   As soon as one of them is released, the final switch is made.
                    -> KeySym  -- ^ Key used to shift windows from below the current choice into the current frame.
                    -> KeySym  -- ^ Key used to shift windows from above the current choice into the current frame.
                               --   If it's the same as the first key, it is effectively ignored.
                    -> X ()
cycleRecentWindows :: [KeySym] -> KeySym -> KeySym -> X ()
cycleRecentWindows = (Stack KeySym -> [Stack KeySym])
-> [KeySym] -> KeySym -> KeySym -> X ()
cycleStacks' Stack KeySym -> [Stack KeySym]
forall {a}. (Eq a, Show a, Read a) => Stack a -> [Stack a]
stacks where
    stacks :: Stack a -> [Stack a]
stacks Stack a
s = (a -> Stack a) -> [a] -> [Stack a]
forall a b. (a -> b) -> [a] -> [b]
map (a -> Stack a -> Stack a
forall a. (Eq a, Show a, Read a) => a -> Stack a -> Stack a
`shiftToFocus'` Stack a
s) (Stack a -> [a]
forall {a}. Stack a -> [a]
wins Stack a
s)
    wins :: Stack a -> [a]
wins (W.Stack a
t [a]
l [a]
r) = a
t a -> [a] -> [a]
forall a. a -> [a] -> [a]
: [a]
r [a] -> [a] -> [a]
forall a. [a] -> [a] -> [a]
++ [a] -> [a]
forall a. [a] -> [a]
reverse [a]
l


-- | Cycle through a /finite/ list of window stacks with repeated presses
--   of a key while a modifier key is held down. For best results use the same
--   mod key + key combination as the one used to invoke the \"bring from below\"
--   action. You could use cycleStacks' with a different stack permutations
--   function to, for example, cycle from one below to one above to two below,
--   etc. instead of in order. You are responsible for having it generate a
--   finite list, though, or xmonad may hang seeking its length.
cycleStacks' :: (W.Stack Window -> [W.Stack Window]) -- ^ A function to a finite list of permutations of a given stack.
                                    -> [KeySym]  -- ^ A list of modifier keys used to invoke 'cycleStacks''.
                                                 --   As soon as any is released, we're no longer cycling on the [Stack Window]
                                    -> KeySym    -- ^ Key used to select a \"next\" stack.
                                    -> KeySym    -- ^ Key used to select a \"previous\" stack.
                                    -> X ()
cycleStacks' :: (Stack KeySym -> [Stack KeySym])
-> [KeySym] -> KeySym -> KeySym -> X ()
cycleStacks' Stack KeySym -> [Stack KeySym]
filteredPerms [KeySym]
mods KeySym
keyNext KeySym
keyPrev = do
  [Stack KeySym]
stacks <- (XState -> [Stack KeySym]) -> X [Stack KeySym]
forall s (m :: * -> *) a. MonadState s m => (s -> a) -> m a
gets ((XState -> [Stack KeySym]) -> X [Stack KeySym])
-> (XState -> [Stack KeySym]) -> X [Stack KeySym]
forall a b. (a -> b) -> a -> b
$ [Stack KeySym]
-> (Stack KeySym -> [Stack KeySym])
-> Maybe (Stack KeySym)
-> [Stack KeySym]
forall b a. b -> (a -> b) -> Maybe a -> b
maybe [] Stack KeySym -> [Stack KeySym]
filteredPerms
                 (Maybe (Stack KeySym) -> [Stack KeySym])
-> (XState -> Maybe (Stack KeySym)) -> XState -> [Stack KeySym]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Workspace WorkspaceId (Layout KeySym) KeySym
-> Maybe (Stack KeySym)
forall i l a. Workspace i l a -> Maybe (Stack a)
W.stack (Workspace WorkspaceId (Layout KeySym) KeySym
 -> Maybe (Stack KeySym))
-> (XState -> Workspace WorkspaceId (Layout KeySym) KeySym)
-> XState
-> Maybe (Stack KeySym)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Screen WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
-> Workspace WorkspaceId (Layout KeySym) KeySym
forall i l a sid sd. Screen i l a sid sd -> Workspace i l a
W.workspace (Screen WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
 -> Workspace WorkspaceId (Layout KeySym) KeySym)
-> (XState
    -> Screen WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail)
-> XState
-> Workspace WorkspaceId (Layout KeySym) KeySym
forall b c a. (b -> c) -> (a -> b) -> a -> c
. StackSet WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
-> Screen WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
forall i l a sid sd. StackSet i l a sid sd -> Screen i l a sid sd
W.current (StackSet WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
 -> Screen WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail)
-> (XState
    -> StackSet
         WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail)
-> XState
-> Screen WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
forall b c a. (b -> c) -> (a -> b) -> a -> c
. XState
-> StackSet
     WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
windowset
  let
    preview :: StateT Int X ()
preview = do
      Int
i <- StateT Int X Int
forall s (m :: * -> *). MonadState s m => m s
get
      X () -> StateT Int X ()
forall (m :: * -> *) a. Monad m => m a -> StateT Int m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (X () -> StateT Int X ())
-> (Stack KeySym -> X ()) -> Stack KeySym -> StateT Int X ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (StackSet WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
 -> StackSet
      WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail)
-> X ()
windows ((StackSet WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
  -> StackSet
       WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail)
 -> X ())
-> (Stack KeySym
    -> StackSet
         WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
    -> StackSet
         WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail)
-> Stack KeySym
-> X ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Stack KeySym -> Stack KeySym)
-> StackSet
     WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
-> StackSet
     WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
forall a i l s sd.
(Stack a -> Stack a) -> StackSet i l a s sd -> StackSet i l a s sd
W.modify' ((Stack KeySym -> Stack KeySym)
 -> StackSet
      WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
 -> StackSet
      WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail)
-> (Stack KeySym -> Stack KeySym -> Stack KeySym)
-> Stack KeySym
-> StackSet
     WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
-> StackSet
     WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Stack KeySym -> Stack KeySym -> Stack KeySym
forall a b. a -> b -> a
const (Stack KeySym -> StateT Int X ())
-> Stack KeySym -> StateT Int X ()
forall a b. (a -> b) -> a -> b
$ [Stack KeySym]
stacks [Stack KeySym] -> Int -> Stack KeySym
forall a. HasCallStack => [a] -> Int -> a
!! (Int
i Int -> Int -> Int
forall a. Integral a => a -> a -> a
`mod` Int
n)
      where n :: Int
n = [Stack KeySym] -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [Stack KeySym]
stacks
  X ((), Int) -> X ()
forall (f :: * -> *) a. Functor f => f a -> f ()
void (X ((), Int) -> X ()) -> X ((), Int) -> X ()
forall a b. (a -> b) -> a -> b
$ Int
-> [KeySym]
-> KeySym
-> (EventType -> KeySym -> StateT Int X ())
-> X ((), Int)
forall a s.
Monoid a =>
s
-> [KeySym]
-> KeySym
-> (EventType -> KeySym -> StateT s X a)
-> X (a, s)
repeatableSt Int
0 [KeySym]
mods KeySym
keyNext ((EventType -> KeySym -> StateT Int X ()) -> X ((), Int))
-> (EventType -> KeySym -> StateT Int X ()) -> X ((), Int)
forall a b. (a -> b) -> a -> b
$ \EventType
t KeySym
s -> if
    | EventType
t EventType -> EventType -> Bool
forall a. Eq a => a -> a -> Bool
== EventType
keyPress Bool -> Bool -> Bool
&& KeySym
s KeySym -> KeySym -> Bool
forall a. Eq a => a -> a -> Bool
== KeySym
keyNext          -> (Int -> Int) -> StateT Int X ()
forall s (m :: * -> *). MonadState s m => (s -> s) -> m ()
modify Int -> Int
forall a. Enum a => a -> a
succ
    | EventType
t EventType -> EventType -> Bool
forall a. Eq a => a -> a -> Bool
== EventType
keyPress Bool -> Bool -> Bool
&& KeySym
s KeySym -> KeySym -> Bool
forall a. Eq a => a -> a -> Bool
== KeySym
keyPrev          -> (Int -> Int) -> StateT Int X ()
forall s (m :: * -> *). MonadState s m => (s -> s) -> m ()
modify Int -> Int
forall a. Enum a => a -> a
pred
    | EventType
t EventType -> EventType -> Bool
forall a. Eq a => a -> a -> Bool
== EventType
keyPress Bool -> Bool -> Bool
&& KeySym
s KeySym -> [KeySym] -> Bool
forall a. Eq a => a -> [a] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`elem` [KeySym
xK_0..KeySym
xK_9] -> Int -> StateT Int X ()
forall s (m :: * -> *). MonadState s m => s -> m ()
put (KeySym -> Int
numKeyToN KeySym
s)
    | Bool
otherwise                              -> StateT Int X ()
preview
  where numKeyToN :: KeySym -> Int
numKeyToN = Int -> Int -> Int
forall a. Num a => a -> a -> a
subtract Int
48 (Int -> Int) -> (KeySym -> Int) -> KeySym -> Int
forall b c a. (b -> c) -> (a -> b) -> a -> c
. WorkspaceId -> Int
forall a. Read a => WorkspaceId -> a
read (WorkspaceId -> Int) -> (KeySym -> WorkspaceId) -> KeySym -> Int
forall b c a. (b -> c) -> (a -> b) -> a -> c
. KeySym -> WorkspaceId
forall a. Show a => a -> WorkspaceId
show

-- | Given a stack element and a stack, shift or insert the element (window)
--   at the currently focused position.
shiftToFocus' :: (Eq a, Show a, Read a) => a -> W.Stack a -> W.Stack a
shiftToFocus' :: forall a. (Eq a, Show a, Read a) => a -> Stack a -> Stack a
shiftToFocus' a
w s :: Stack a
s@(W.Stack a
_ [a]
ls [a]
_) = a -> [a] -> [a] -> Stack a
forall a. a -> [a] -> [a] -> Stack a
W.Stack a
w ([a] -> [a]
forall a. [a] -> [a]
reverse [a]
revls') [a]
rs'
  where ([a]
revls', [a]
rs') = Int -> [a] -> ([a], [a])
forall a. Int -> [a] -> ([a], [a])
splitAt ([a] -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [a]
ls) ([a] -> ([a], [a])) -> ([a] -> [a]) -> [a] -> ([a], [a])
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (a -> Bool) -> [a] -> [a]
forall a. (a -> Bool) -> [a] -> [a]
filter (a -> a -> Bool
forall a. Eq a => a -> a -> Bool
/= a
w) ([a] -> ([a], [a])) -> [a] -> ([a], [a])
forall a b. (a -> b) -> a -> b
$ Stack a -> [a]
forall {a}. Stack a -> [a]
W.integrate Stack a
s


-- $opposite
-- Shifts the focused window as far as possible from the current focus,
-- i.e. halfway around the stack. Windows above the focus up to the \"opposite\"
-- position remain in place, while those above the insertion shift toward
-- the current focus. This is useful for people who use lots of windows in Full,
-- TwoPane, etc., to get rid of boring windows while cycling and swapping
-- near the focus.
rotOpposite :: X()
rotOpposite :: X ()
rotOpposite = (StackSet WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
 -> StackSet
      WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail)
-> X ()
windows ((StackSet WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
  -> StackSet
       WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail)
 -> X ())
-> (StackSet
      WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
    -> StackSet
         WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail)
-> X ()
forall a b. (a -> b) -> a -> b
$ (Stack KeySym -> Stack KeySym)
-> StackSet
     WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
-> StackSet
     WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
forall a i l s sd.
(Stack a -> Stack a) -> StackSet i l a s sd -> StackSet i l a s sd
W.modify' Stack KeySym -> Stack KeySym
forall a. Stack a -> Stack a
rotOpposite'

-- | The opposite rotation on a Stack.
rotOpposite' :: W.Stack a -> W.Stack a
rotOpposite' :: forall a. Stack a -> Stack a
rotOpposite' (W.Stack a
t [a]
l [a]
r) = a -> [a] -> [a] -> Stack a
forall a. a -> [a] -> [a] -> Stack a
W.Stack a
t' [a]
l' [a]
r'
  where rrvl :: [a]
rrvl = [a]
r [a] -> [a] -> [a]
forall a. [a] -> [a] -> [a]
++ [a] -> [a]
forall a. [a] -> [a]
reverse [a]
l
        part :: Int
part = ([a] -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [a]
rrvl Int -> Int -> Int
forall a. Num a => a -> a -> a
+ Int
1) Int -> Int -> Int
forall a. Integral a => a -> a -> a
`div` Int
2
        ([a]
l', [a] -> NonEmpty a
forall a. HasCallStack => [a] -> NonEmpty a
notEmpty -> a
t' :| [a]
r') = ([a] -> [a]) -> ([a], [a]) -> ([a], [a])
forall b c d. (b -> c) -> (d, b) -> (d, c)
forall (a :: * -> * -> *) b c d.
Arrow a =>
a b c -> a (d, b) (d, c)
second [a] -> [a]
forall a. [a] -> [a]
reverse (([a], [a]) -> ([a], [a]))
-> ([a] -> ([a], [a])) -> [a] -> ([a], [a])
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Int -> [a] -> ([a], [a])
forall a. Int -> [a] -> ([a], [a])
splitAt ([a] -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [a]
l) ([a] -> ([a], [a])) -> [a] -> ([a], [a])
forall a b. (a -> b) -> a -> b
$
                                [a] -> [a]
forall a. [a] -> [a]
reverse (Int -> [a] -> [a]
forall a. Int -> [a] -> [a]
take Int
part [a]
rrvl [a] -> [a] -> [a]
forall a. [a] -> [a] -> [a]
++ a
t a -> [a] -> [a]
forall a. a -> [a] -> [a]
: Int -> [a] -> [a]
forall a. Int -> [a] -> [a]
drop Int
part [a]
rrvl)


-- $focused
-- Most people will want the @rotAllUp@ or @rotAllDown@ actions from
-- "XMonad.Actions.RotSlaves" to cycle all windows in the stack.
--
-- The following actions keep the \"next\" window stable, which is
-- mostly useful in two window layouts, or when you have a log viewer or
-- buffer window you want to keep next to the cycled window.

-- | Rotate windows through the focused frame, excluding the \"next\" window.
-- With, e.g. TwoPane, this allows cycling windows through either the
-- master or slave pane, without changing the other frame. When the master
-- is focused, the window below is skipped, when a non-master window is
-- focused, the master is skipped.
rotFocusedUp :: X ()
rotFocusedUp :: X ()
rotFocusedUp = (StackSet WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
 -> StackSet
      WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail)
-> X ()
windows ((StackSet WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
  -> StackSet
       WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail)
 -> X ())
-> ((Stack KeySym -> Stack KeySym)
    -> StackSet
         WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
    -> StackSet
         WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail)
-> (Stack KeySym -> Stack KeySym)
-> X ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Stack KeySym -> Stack KeySym)
-> StackSet
     WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
-> StackSet
     WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
forall a i l s sd.
(Stack a -> Stack a) -> StackSet i l a s sd -> StackSet i l a s sd
W.modify' ((Stack KeySym -> Stack KeySym) -> X ())
-> (Stack KeySym -> Stack KeySym) -> X ()
forall a b. (a -> b) -> a -> b
$ ([KeySym] -> [KeySym]) -> Stack KeySym -> Stack KeySym
forall a. ([a] -> [a]) -> Stack a -> Stack a
rotFocused' [KeySym] -> [KeySym]
forall a. [a] -> [a]
rotUp
rotFocusedDown :: X ()
rotFocusedDown :: X ()
rotFocusedDown = (StackSet WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
 -> StackSet
      WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail)
-> X ()
windows ((StackSet WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
  -> StackSet
       WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail)
 -> X ())
-> ((Stack KeySym -> Stack KeySym)
    -> StackSet
         WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
    -> StackSet
         WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail)
-> (Stack KeySym -> Stack KeySym)
-> X ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Stack KeySym -> Stack KeySym)
-> StackSet
     WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
-> StackSet
     WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
forall a i l s sd.
(Stack a -> Stack a) -> StackSet i l a s sd -> StackSet i l a s sd
W.modify' ((Stack KeySym -> Stack KeySym) -> X ())
-> (Stack KeySym -> Stack KeySym) -> X ()
forall a b. (a -> b) -> a -> b
$ ([KeySym] -> [KeySym]) -> Stack KeySym -> Stack KeySym
forall a. ([a] -> [a]) -> Stack a -> Stack a
rotFocused' [KeySym] -> [KeySym]
forall a. [a] -> [a]
rotDown

-- | The focused rotation on a stack.
rotFocused' :: ([a] -> [a]) -> W.Stack a -> W.Stack a
rotFocused' :: forall a. ([a] -> [a]) -> Stack a -> Stack a
rotFocused' [a] -> [a]
_ s :: Stack a
s@(W.Stack a
_ [] []) = Stack a
s
rotFocused' [a] -> [a]
f   (W.Stack a
t [] (a
r:[a]
rs)) = a -> [a] -> [a] -> Stack a
forall a. a -> [a] -> [a] -> Stack a
W.Stack a
t' [] (a
ra -> [a] -> [a]
forall a. a -> [a] -> [a]
:[a]
rs') -- Master has focus
    where ([a] -> NonEmpty a
forall a. HasCallStack => [a] -> NonEmpty a
notEmpty -> a
t' :| [a]
rs') = [a] -> [a]
f (a
ta -> [a] -> [a]
forall a. a -> [a] -> [a]
:[a]
rs)
rotFocused' [a] -> [a]
f s :: Stack a
s@W.Stack{} = ([a] -> [a]) -> Stack a -> Stack a
forall a. ([a] -> [a]) -> Stack a -> Stack a
rotSlaves' [a] -> [a]
f Stack a
s                    -- otherwise


-- $unfocused
-- Rotate windows through the unfocused frames. This is similar to
-- @rotSlaves@, from "XMonad.Actions.RotSlaves", but excludes the current
-- frame rather than master.
rotUnfocusedUp :: X ()
rotUnfocusedUp :: X ()
rotUnfocusedUp = (StackSet WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
 -> StackSet
      WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail)
-> X ()
windows ((StackSet WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
  -> StackSet
       WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail)
 -> X ())
-> ((Stack KeySym -> Stack KeySym)
    -> StackSet
         WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
    -> StackSet
         WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail)
-> (Stack KeySym -> Stack KeySym)
-> X ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Stack KeySym -> Stack KeySym)
-> StackSet
     WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
-> StackSet
     WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
forall a i l s sd.
(Stack a -> Stack a) -> StackSet i l a s sd -> StackSet i l a s sd
W.modify' ((Stack KeySym -> Stack KeySym) -> X ())
-> (Stack KeySym -> Stack KeySym) -> X ()
forall a b. (a -> b) -> a -> b
$ ([KeySym] -> [KeySym]) -> Stack KeySym -> Stack KeySym
forall a. ([a] -> [a]) -> Stack a -> Stack a
rotUnfocused' [KeySym] -> [KeySym]
forall a. [a] -> [a]
rotUp
rotUnfocusedDown :: X ()
rotUnfocusedDown :: X ()
rotUnfocusedDown = (StackSet WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
 -> StackSet
      WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail)
-> X ()
windows ((StackSet WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
  -> StackSet
       WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail)
 -> X ())
-> ((Stack KeySym -> Stack KeySym)
    -> StackSet
         WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
    -> StackSet
         WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail)
-> (Stack KeySym -> Stack KeySym)
-> X ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Stack KeySym -> Stack KeySym)
-> StackSet
     WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
-> StackSet
     WorkspaceId (Layout KeySym) KeySym ScreenId ScreenDetail
forall a i l s sd.
(Stack a -> Stack a) -> StackSet i l a s sd -> StackSet i l a s sd
W.modify' ((Stack KeySym -> Stack KeySym) -> X ())
-> (Stack KeySym -> Stack KeySym) -> X ()
forall a b. (a -> b) -> a -> b
$ ([KeySym] -> [KeySym]) -> Stack KeySym -> Stack KeySym
forall a. ([a] -> [a]) -> Stack a -> Stack a
rotUnfocused' [KeySym] -> [KeySym]
forall a. [a] -> [a]
rotDown

-- | The unfocused rotation on a stack.
rotUnfocused' :: ([a] -> [a]) -> W.Stack a -> W.Stack a
rotUnfocused' :: forall a. ([a] -> [a]) -> Stack a -> Stack a
rotUnfocused' [a] -> [a]
_ s :: Stack a
s@(W.Stack a
_ [] []) = Stack a
s
rotUnfocused' [a] -> [a]
f s :: Stack a
s@(W.Stack a
_ [] [a]
_ ) = ([a] -> [a]) -> Stack a -> Stack a
forall a. ([a] -> [a]) -> Stack a -> Stack a
rotSlaves' [a] -> [a]
f Stack a
s                 -- Master has focus
rotUnfocused' [a] -> [a]
f   (W.Stack a
t [a]
ls [a]
rs) = a -> [a] -> [a] -> Stack a
forall a. a -> [a] -> [a] -> Stack a
W.Stack a
t ([a] -> [a]
forall a. [a] -> [a]
reverse [a]
revls') [a]
rs' -- otherwise
    where  (a
master :| [a]
revls) = NonEmpty a -> NonEmpty a
forall a. NonEmpty a -> NonEmpty a
NE.reverse (let a
l:[a]
ll = [a]
ls in a
l a -> [a] -> NonEmpty a
forall a. a -> [a] -> NonEmpty a
:| [a]
ll)
           ([a]
revls',[a]
rs') = Int -> [a] -> ([a], [a])
forall a. Int -> [a] -> ([a], [a])
splitAt ([a] -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [a]
ls) ([a] -> [a]
f ([a] -> [a]) -> [a] -> [a]
forall a b. (a -> b) -> a -> b
$ a
mastera -> [a] -> [a]
forall a. a -> [a] -> [a]
:[a]
revls [a] -> [a] -> [a]
forall a. [a] -> [a] -> [a]
++ [a]
rs)