{-# LANGUAGE FlexibleInstances, MultiParamTypeClasses #-}
module XMonad.Layout.Reflect (
reflectHoriz, reflectVert,
REFLECTX(..), REFLECTY(..),
Reflect
) where
import XMonad.Prelude (fi)
import Graphics.X11 (Rectangle(..), Window)
import Control.Arrow (second)
import XMonad.Layout.LayoutModifier
import XMonad.Layout.MultiToggle
reflectHoriz :: l a -> ModifiedLayout Reflect l a
reflectHoriz :: forall (l :: * -> *) a. l a -> ModifiedLayout Reflect l a
reflectHoriz = forall (m :: * -> *) (l :: * -> *) a.
m a -> l a -> ModifiedLayout m l a
ModifiedLayout (forall a. ReflectDir -> Reflect a
Reflect ReflectDir
Horiz)
reflectVert :: l a -> ModifiedLayout Reflect l a
reflectVert :: forall (l :: * -> *) a. l a -> ModifiedLayout Reflect l a
reflectVert = forall (m :: * -> *) (l :: * -> *) a.
m a -> l a -> ModifiedLayout m l a
ModifiedLayout (forall a. ReflectDir -> Reflect a
Reflect ReflectDir
Vert)
data ReflectDir = Horiz | Vert
deriving (ReadPrec [ReflectDir]
ReadPrec ReflectDir
Int -> ReadS ReflectDir
ReadS [ReflectDir]
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
readListPrec :: ReadPrec [ReflectDir]
$creadListPrec :: ReadPrec [ReflectDir]
readPrec :: ReadPrec ReflectDir
$creadPrec :: ReadPrec ReflectDir
readList :: ReadS [ReflectDir]
$creadList :: ReadS [ReflectDir]
readsPrec :: Int -> ReadS ReflectDir
$creadsPrec :: Int -> ReadS ReflectDir
Read, Int -> ReflectDir -> ShowS
[ReflectDir] -> ShowS
ReflectDir -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [ReflectDir] -> ShowS
$cshowList :: [ReflectDir] -> ShowS
show :: ReflectDir -> String
$cshow :: ReflectDir -> String
showsPrec :: Int -> ReflectDir -> ShowS
$cshowsPrec :: Int -> ReflectDir -> ShowS
Show)
reflectRect :: ReflectDir -> Rectangle -> Rectangle -> Rectangle
reflectRect :: ReflectDir -> Rectangle -> Rectangle -> Rectangle
reflectRect ReflectDir
Horiz (Rectangle Position
sx Position
_ Dimension
sw Dimension
_) (Rectangle Position
rx Position
ry Dimension
rw Dimension
rh) =
Position -> Position -> Dimension -> Dimension -> Rectangle
Rectangle (Position
2forall a. Num a => a -> a -> a
*Position
sx forall a. Num a => a -> a -> a
+ forall a b. (Integral a, Num b) => a -> b
fi Dimension
sw forall a. Num a => a -> a -> a
- Position
rx forall a. Num a => a -> a -> a
- forall a b. (Integral a, Num b) => a -> b
fi Dimension
rw) Position
ry Dimension
rw Dimension
rh
reflectRect ReflectDir
Vert (Rectangle Position
_ Position
sy Dimension
_ Dimension
sh) (Rectangle Position
rx Position
ry Dimension
rw Dimension
rh) =
Position -> Position -> Dimension -> Dimension -> Rectangle
Rectangle Position
rx (Position
2forall a. Num a => a -> a -> a
*Position
sy forall a. Num a => a -> a -> a
+ forall a b. (Integral a, Num b) => a -> b
fi Dimension
sh forall a. Num a => a -> a -> a
- Position
ry forall a. Num a => a -> a -> a
- forall a b. (Integral a, Num b) => a -> b
fi Dimension
rh) Dimension
rw Dimension
rh
newtype Reflect a = Reflect ReflectDir deriving (Int -> Reflect a -> ShowS
forall a. Int -> Reflect a -> ShowS
forall a. [Reflect a] -> ShowS
forall a. Reflect a -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Reflect a] -> ShowS
$cshowList :: forall a. [Reflect a] -> ShowS
show :: Reflect a -> String
$cshow :: forall a. Reflect a -> String
showsPrec :: Int -> Reflect a -> ShowS
$cshowsPrec :: forall a. Int -> Reflect a -> ShowS
Show, ReadPrec [Reflect a]
ReadPrec (Reflect a)
ReadS [Reflect a]
forall a. ReadPrec [Reflect a]
forall a. ReadPrec (Reflect a)
forall a. Int -> ReadS (Reflect a)
forall a. ReadS [Reflect a]
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
readListPrec :: ReadPrec [Reflect a]
$creadListPrec :: forall a. ReadPrec [Reflect a]
readPrec :: ReadPrec (Reflect a)
$creadPrec :: forall a. ReadPrec (Reflect a)
readList :: ReadS [Reflect a]
$creadList :: forall a. ReadS [Reflect a]
readsPrec :: Int -> ReadS (Reflect a)
$creadsPrec :: forall a. Int -> ReadS (Reflect a)
Read)
instance LayoutModifier Reflect a where
pureModifier :: Reflect a
-> Rectangle
-> Maybe (Stack a)
-> [(a, Rectangle)]
-> ([(a, Rectangle)], Maybe (Reflect a))
pureModifier (Reflect ReflectDir
d) Rectangle
r Maybe (Stack a)
_ [(a, Rectangle)]
wrs = (forall a b. (a -> b) -> [a] -> [b]
map (forall (a :: * -> * -> *) b c d.
Arrow a =>
a b c -> a (d, b) (d, c)
second forall a b. (a -> b) -> a -> b
$ ReflectDir -> Rectangle -> Rectangle -> Rectangle
reflectRect ReflectDir
d Rectangle
r) [(a, Rectangle)]
wrs, forall a. a -> Maybe a
Just forall a b. (a -> b) -> a -> b
$ forall a. ReflectDir -> Reflect a
Reflect ReflectDir
d)
modifierDescription :: Reflect a -> String
modifierDescription (Reflect ReflectDir
d) = String
"Reflect" forall a. [a] -> [a] -> [a]
++ String
xy
where xy :: String
xy = case ReflectDir
d of { ReflectDir
Horiz -> String
"X" ; ReflectDir
Vert -> String
"Y" }
data REFLECTX = REFLECTX deriving (ReadPrec [REFLECTX]
ReadPrec REFLECTX
Int -> ReadS REFLECTX
ReadS [REFLECTX]
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
readListPrec :: ReadPrec [REFLECTX]
$creadListPrec :: ReadPrec [REFLECTX]
readPrec :: ReadPrec REFLECTX
$creadPrec :: ReadPrec REFLECTX
readList :: ReadS [REFLECTX]
$creadList :: ReadS [REFLECTX]
readsPrec :: Int -> ReadS REFLECTX
$creadsPrec :: Int -> ReadS REFLECTX
Read, Int -> REFLECTX -> ShowS
[REFLECTX] -> ShowS
REFLECTX -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [REFLECTX] -> ShowS
$cshowList :: [REFLECTX] -> ShowS
show :: REFLECTX -> String
$cshow :: REFLECTX -> String
showsPrec :: Int -> REFLECTX -> ShowS
$cshowsPrec :: Int -> REFLECTX -> ShowS
Show, REFLECTX -> REFLECTX -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: REFLECTX -> REFLECTX -> Bool
$c/= :: REFLECTX -> REFLECTX -> Bool
== :: REFLECTX -> REFLECTX -> Bool
$c== :: REFLECTX -> REFLECTX -> Bool
Eq)
data REFLECTY = REFLECTY deriving (ReadPrec [REFLECTY]
ReadPrec REFLECTY
Int -> ReadS REFLECTY
ReadS [REFLECTY]
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
readListPrec :: ReadPrec [REFLECTY]
$creadListPrec :: ReadPrec [REFLECTY]
readPrec :: ReadPrec REFLECTY
$creadPrec :: ReadPrec REFLECTY
readList :: ReadS [REFLECTY]
$creadList :: ReadS [REFLECTY]
readsPrec :: Int -> ReadS REFLECTY
$creadsPrec :: Int -> ReadS REFLECTY
Read, Int -> REFLECTY -> ShowS
[REFLECTY] -> ShowS
REFLECTY -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [REFLECTY] -> ShowS
$cshowList :: [REFLECTY] -> ShowS
show :: REFLECTY -> String
$cshow :: REFLECTY -> String
showsPrec :: Int -> REFLECTY -> ShowS
$cshowsPrec :: Int -> REFLECTY -> ShowS
Show, REFLECTY -> REFLECTY -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: REFLECTY -> REFLECTY -> Bool
$c/= :: REFLECTY -> REFLECTY -> Bool
== :: REFLECTY -> REFLECTY -> Bool
$c== :: REFLECTY -> REFLECTY -> Bool
Eq)
instance Transformer REFLECTX Window where
transform :: forall (l :: * -> *) b.
LayoutClass l Window =>
REFLECTX
-> l Window
-> (forall (l' :: * -> *).
LayoutClass l' Window =>
l' Window -> (l' Window -> l Window) -> b)
-> b
transform REFLECTX
REFLECTX l Window
x forall (l' :: * -> *).
LayoutClass l' Window =>
l' Window -> (l' Window -> l Window) -> b
k = forall (l' :: * -> *).
LayoutClass l' Window =>
l' Window -> (l' Window -> l Window) -> b
k (forall (l :: * -> *) a. l a -> ModifiedLayout Reflect l a
reflectHoriz l Window
x) (\(ModifiedLayout Reflect Window
_ l Window
x') -> l Window
x')
instance Transformer REFLECTY Window where
transform :: forall (l :: * -> *) b.
LayoutClass l Window =>
REFLECTY
-> l Window
-> (forall (l' :: * -> *).
LayoutClass l' Window =>
l' Window -> (l' Window -> l Window) -> b)
-> b
transform REFLECTY
REFLECTY l Window
x forall (l' :: * -> *).
LayoutClass l' Window =>
l' Window -> (l' Window -> l Window) -> b
k = forall (l' :: * -> *).
LayoutClass l' Window =>
l' Window -> (l' Window -> l Window) -> b
k (forall (l :: * -> *) a. l a -> ModifiedLayout Reflect l a
reflectVert l Window
x) (\(ModifiedLayout Reflect Window
_ l Window
x') -> l Window
x')