module XMonad.Actions.Promote (
promote
) where
import XMonad
import XMonad.StackSet
promote :: X ()
promote :: X ()
promote = (WindowSet -> WindowSet) -> X ()
windows ((WindowSet -> WindowSet) -> X ())
-> (WindowSet -> WindowSet) -> X ()
forall a b. (a -> b) -> a -> b
$ (Stack Window -> Stack Window) -> WindowSet -> WindowSet
forall a i l s sd.
(Stack a -> Stack a) -> StackSet i l a s sd -> StackSet i l a s sd
modify' ((Stack Window -> Stack Window) -> WindowSet -> WindowSet)
-> (Stack Window -> Stack Window) -> WindowSet -> WindowSet
forall a b. (a -> b) -> a -> b
$
\c :: Stack Window
c -> case Stack Window
c of
Stack _ [] [] -> Stack Window
c
Stack t :: Window
t [] (x :: Window
x:rs :: [Window]
rs) -> Window -> [Window] -> [Window] -> Stack Window
forall a. a -> [a] -> [a] -> Stack a
Stack Window
x [] (Window
tWindow -> [Window] -> [Window]
forall a. a -> [a] -> [a]
:[Window]
rs)
Stack t :: Window
t ls :: [Window]
ls rs :: [Window]
rs -> Window -> [Window] -> [Window] -> Stack Window
forall a. a -> [a] -> [a] -> Stack a
Stack Window
t [] ([Window] -> [Window]
forall a. [a] -> [a]
reverse [Window]
ls [Window] -> [Window] -> [Window]
forall a. [a] -> [a] -> [a]
++ [Window]
rs)