module XMonad.Layout.DecorationMadness
(
circleSimpleDefault
, circleDefault
, circleSimpleDefaultResizable
, circleDefaultResizable
, circleSimpleDeco
, circleSimpleDecoResizable
, circleDeco
, circleDecoResizable
, circleSimpleDwmStyle
, circleDwmStyle
, circleSimpleTabbed
, circleTabbed
, accordionSimpleDefault
, accordionDefault
, accordionSimpleDefaultResizable
, accordionDefaultResizable
, accordionSimpleDeco
, accordionSimpleDecoResizable
, accordionDeco
, accordionDecoResizable
, accordionSimpleDwmStyle
, accordionDwmStyle
, accordionSimpleTabbed
, accordionTabbed
, tallSimpleDefault
, tallDefault
, tallSimpleDefaultResizable
, tallDefaultResizable
, tallSimpleDeco
, tallDeco
, tallSimpleDecoResizable
, tallDecoResizable
, tallSimpleDwmStyle
, tallDwmStyle
, tallSimpleTabbed
, tallTabbed
, mirrorTallSimpleDefault
, mirrorTallDefault
, mirrorTallSimpleDefaultResizable
, mirrorTallDefaultResizable
, mirrorTallSimpleDeco
, mirrorTallDeco
, mirrorTallSimpleDecoResizable
, mirrorTallDecoResizable
, mirrorTallSimpleDwmStyle
, mirrorTallDwmStyle
, mirrorTallSimpleTabbed
, mirrorTallTabbed
, floatSimpleSimple
, floatSimple
, floatSimpleDefault
, floatDefault
, floatSimpleDwmStyle
, floatDwmStyle
, floatSimpleTabbed
, floatTabbed
, def, shrinkText
) where
import XMonad
import XMonad.Actions.MouseResize
import XMonad.Layout.Decoration
import XMonad.Layout.DwmStyle
import XMonad.Layout.SimpleDecoration
import XMonad.Layout.TabBarDecoration
import XMonad.Layout.Accordion
import XMonad.Layout.Circle
import XMonad.Layout.WindowArranger
import XMonad.Layout.SimpleFloat
circleSimpleDefault :: ModifiedLayout (Decoration DefaultDecoration DefaultShrinker) Circle Window
circleSimpleDefault :: ModifiedLayout
(Decoration DefaultDecoration DefaultShrinker) Circle Window
circleSimpleDefault = DefaultShrinker
-> Theme
-> DefaultDecoration Window
-> Circle Window
-> ModifiedLayout
(Decoration DefaultDecoration DefaultShrinker) Circle Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration DefaultShrinker
shrinkText Theme
forall a. Default a => a
def DefaultDecoration Window
forall a. DefaultDecoration a
DefaultDecoration Circle Window
forall a. Circle a
Circle
circleDefault :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration DefaultDecoration s) Circle Window
circleDefault :: s
-> Theme
-> ModifiedLayout (Decoration DefaultDecoration s) Circle Window
circleDefault s
s Theme
t = s
-> Theme
-> DefaultDecoration Window
-> Circle Window
-> ModifiedLayout (Decoration DefaultDecoration s) Circle Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration s
s Theme
t DefaultDecoration Window
forall a. DefaultDecoration a
DefaultDecoration Circle Window
forall a. Circle a
Circle
circleSimpleDeco :: ModifiedLayout (Decoration SimpleDecoration DefaultShrinker) Circle Window
circleSimpleDeco :: ModifiedLayout
(Decoration SimpleDecoration DefaultShrinker) Circle Window
circleSimpleDeco = DefaultShrinker
-> Theme
-> SimpleDecoration Window
-> Circle Window
-> ModifiedLayout
(Decoration SimpleDecoration DefaultShrinker) Circle Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration DefaultShrinker
shrinkText Theme
forall a. Default a => a
def (Bool -> SimpleDecoration Window
forall a. Bool -> SimpleDecoration a
Simple Bool
True) Circle Window
forall a. Circle a
Circle
circleDeco :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration SimpleDecoration s) Circle Window
circleDeco :: s
-> Theme
-> ModifiedLayout (Decoration SimpleDecoration s) Circle Window
circleDeco s
s Theme
t = s
-> Theme
-> SimpleDecoration Window
-> Circle Window
-> ModifiedLayout (Decoration SimpleDecoration s) Circle Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration s
s Theme
t (Bool -> SimpleDecoration Window
forall a. Bool -> SimpleDecoration a
Simple Bool
True) Circle Window
forall a. Circle a
Circle
circleSimpleDefaultResizable :: ModifiedLayout (Decoration DefaultDecoration DefaultShrinker)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Circle)) Window
circleSimpleDefaultResizable :: ModifiedLayout
(Decoration DefaultDecoration DefaultShrinker)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Circle))
Window
circleSimpleDefaultResizable = DefaultShrinker
-> Theme
-> DefaultDecoration Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Circle) Window
-> ModifiedLayout
(Decoration DefaultDecoration DefaultShrinker)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Circle))
Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration DefaultShrinker
shrinkText Theme
forall a. Default a => a
def DefaultDecoration Window
forall a. DefaultDecoration a
DefaultDecoration (ModifiedLayout WindowArranger Circle Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Circle) Window
forall (l :: * -> *) a. l a -> ModifiedLayout MouseResize l a
mouseResize (ModifiedLayout WindowArranger Circle Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Circle) Window)
-> ModifiedLayout WindowArranger Circle Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Circle) Window
forall a b. (a -> b) -> a -> b
$ Circle Window -> ModifiedLayout WindowArranger Circle Window
forall (l :: * -> *) a. l a -> ModifiedLayout WindowArranger l a
windowArrange Circle Window
forall a. Circle a
Circle)
circleDefaultResizable :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration DefaultDecoration s)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Circle)) Window
circleDefaultResizable :: s
-> Theme
-> ModifiedLayout
(Decoration DefaultDecoration s)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Circle))
Window
circleDefaultResizable s
s Theme
t = s
-> Theme
-> DefaultDecoration Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Circle) Window
-> ModifiedLayout
(Decoration DefaultDecoration s)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Circle))
Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration s
s Theme
t DefaultDecoration Window
forall a. DefaultDecoration a
DefaultDecoration (ModifiedLayout WindowArranger Circle Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Circle) Window
forall (l :: * -> *) a. l a -> ModifiedLayout MouseResize l a
mouseResize (ModifiedLayout WindowArranger Circle Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Circle) Window)
-> ModifiedLayout WindowArranger Circle Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Circle) Window
forall a b. (a -> b) -> a -> b
$ Circle Window -> ModifiedLayout WindowArranger Circle Window
forall (l :: * -> *) a. l a -> ModifiedLayout WindowArranger l a
windowArrange Circle Window
forall a. Circle a
Circle)
circleSimpleDecoResizable :: ModifiedLayout (Decoration SimpleDecoration DefaultShrinker)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Circle)) Window
circleSimpleDecoResizable :: ModifiedLayout
(Decoration SimpleDecoration DefaultShrinker)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Circle))
Window
circleSimpleDecoResizable = DefaultShrinker
-> Theme
-> SimpleDecoration Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Circle) Window
-> ModifiedLayout
(Decoration SimpleDecoration DefaultShrinker)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Circle))
Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration DefaultShrinker
shrinkText Theme
forall a. Default a => a
def (Bool -> SimpleDecoration Window
forall a. Bool -> SimpleDecoration a
Simple Bool
True) (ModifiedLayout WindowArranger Circle Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Circle) Window
forall (l :: * -> *) a. l a -> ModifiedLayout MouseResize l a
mouseResize (ModifiedLayout WindowArranger Circle Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Circle) Window)
-> ModifiedLayout WindowArranger Circle Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Circle) Window
forall a b. (a -> b) -> a -> b
$ Circle Window -> ModifiedLayout WindowArranger Circle Window
forall (l :: * -> *) a. l a -> ModifiedLayout WindowArranger l a
windowArrange Circle Window
forall a. Circle a
Circle)
circleDecoResizable :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration SimpleDecoration s)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Circle)) Window
circleDecoResizable :: s
-> Theme
-> ModifiedLayout
(Decoration SimpleDecoration s)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Circle))
Window
circleDecoResizable s
s Theme
t = s
-> Theme
-> SimpleDecoration Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Circle) Window
-> ModifiedLayout
(Decoration SimpleDecoration s)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Circle))
Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration s
s Theme
t (Bool -> SimpleDecoration Window
forall a. Bool -> SimpleDecoration a
Simple Bool
True) (ModifiedLayout WindowArranger Circle Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Circle) Window
forall (l :: * -> *) a. l a -> ModifiedLayout MouseResize l a
mouseResize (ModifiedLayout WindowArranger Circle Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Circle) Window)
-> ModifiedLayout WindowArranger Circle Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Circle) Window
forall a b. (a -> b) -> a -> b
$ Circle Window -> ModifiedLayout WindowArranger Circle Window
forall (l :: * -> *) a. l a -> ModifiedLayout WindowArranger l a
windowArrange Circle Window
forall a. Circle a
Circle)
circleSimpleDwmStyle :: ModifiedLayout (Decoration DwmStyle DefaultShrinker) Circle Window
circleSimpleDwmStyle :: ModifiedLayout (Decoration DwmStyle DefaultShrinker) Circle Window
circleSimpleDwmStyle = DefaultShrinker
-> Theme
-> DwmStyle Window
-> Circle Window
-> ModifiedLayout
(Decoration DwmStyle DefaultShrinker) Circle Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration DefaultShrinker
shrinkText Theme
forall a. Default a => a
def DwmStyle Window
forall a. DwmStyle a
Dwm Circle Window
forall a. Circle a
Circle
circleDwmStyle :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration DwmStyle s) Circle Window
circleDwmStyle :: s -> Theme -> ModifiedLayout (Decoration DwmStyle s) Circle Window
circleDwmStyle s
s Theme
t = s
-> Theme
-> DwmStyle Window
-> Circle Window
-> ModifiedLayout (Decoration DwmStyle s) Circle Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration s
s Theme
t DwmStyle Window
forall a. DwmStyle a
Dwm Circle Window
forall a. Circle a
Circle
circleSimpleTabbed :: ModifiedLayout (Decoration TabBarDecoration DefaultShrinker) (ModifiedLayout ResizeScreen Circle) Window
circleSimpleTabbed :: ModifiedLayout
(Decoration TabBarDecoration DefaultShrinker)
(ModifiedLayout ResizeScreen Circle)
Window
circleSimpleTabbed = Circle Window
-> ModifiedLayout
(Decoration TabBarDecoration DefaultShrinker)
(ModifiedLayout ResizeScreen Circle)
Window
forall a (l :: * -> *).
Eq a =>
l a
-> ModifiedLayout
(Decoration TabBarDecoration DefaultShrinker)
(ModifiedLayout ResizeScreen l)
a
simpleTabBar Circle Window
forall a. Circle a
Circle
circleTabbed :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration TabBarDecoration s) (ModifiedLayout ResizeScreen Circle) Window
circleTabbed :: s
-> Theme
-> ModifiedLayout
(Decoration TabBarDecoration s)
(ModifiedLayout ResizeScreen Circle)
Window
circleTabbed s
s Theme
t = s
-> Theme
-> XPPosition
-> ModifiedLayout ResizeScreen Circle Window
-> ModifiedLayout
(Decoration TabBarDecoration s)
(ModifiedLayout ResizeScreen Circle)
Window
forall a s (l :: * -> *).
(Eq a, Shrinker s) =>
s
-> Theme
-> XPPosition
-> l a
-> ModifiedLayout (Decoration TabBarDecoration s) l a
tabBar s
s Theme
t XPPosition
Top (Int -> Circle Window -> ModifiedLayout ResizeScreen Circle Window
forall (l :: * -> *) a.
Int -> l a -> ModifiedLayout ResizeScreen l a
resizeVertical (Dimension -> Int
forall a b. (Integral a, Num b) => a -> b
fi (Dimension -> Int) -> Dimension -> Int
forall a b. (a -> b) -> a -> b
$ Theme -> Dimension
decoHeight Theme
t) Circle Window
forall a. Circle a
Circle)
accordionSimpleDefault :: ModifiedLayout (Decoration DefaultDecoration DefaultShrinker) Accordion Window
accordionSimpleDefault :: ModifiedLayout
(Decoration DefaultDecoration DefaultShrinker) Accordion Window
accordionSimpleDefault = DefaultShrinker
-> Theme
-> DefaultDecoration Window
-> Accordion Window
-> ModifiedLayout
(Decoration DefaultDecoration DefaultShrinker) Accordion Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration DefaultShrinker
shrinkText Theme
forall a. Default a => a
def DefaultDecoration Window
forall a. DefaultDecoration a
DefaultDecoration Accordion Window
forall a. Accordion a
Accordion
accordionDefault :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration DefaultDecoration s) Accordion Window
accordionDefault :: s
-> Theme
-> ModifiedLayout (Decoration DefaultDecoration s) Accordion Window
accordionDefault s
s Theme
t = s
-> Theme
-> DefaultDecoration Window
-> Accordion Window
-> ModifiedLayout (Decoration DefaultDecoration s) Accordion Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration s
s Theme
t DefaultDecoration Window
forall a. DefaultDecoration a
DefaultDecoration Accordion Window
forall a. Accordion a
Accordion
accordionSimpleDeco :: ModifiedLayout (Decoration SimpleDecoration DefaultShrinker) Accordion Window
accordionSimpleDeco :: ModifiedLayout
(Decoration SimpleDecoration DefaultShrinker) Accordion Window
accordionSimpleDeco = DefaultShrinker
-> Theme
-> SimpleDecoration Window
-> Accordion Window
-> ModifiedLayout
(Decoration SimpleDecoration DefaultShrinker) Accordion Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration DefaultShrinker
shrinkText Theme
forall a. Default a => a
def (Bool -> SimpleDecoration Window
forall a. Bool -> SimpleDecoration a
Simple Bool
True) Accordion Window
forall a. Accordion a
Accordion
accordionDeco :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration SimpleDecoration s) Accordion Window
accordionDeco :: s
-> Theme
-> ModifiedLayout (Decoration SimpleDecoration s) Accordion Window
accordionDeco s
s Theme
t = s
-> Theme
-> SimpleDecoration Window
-> Accordion Window
-> ModifiedLayout (Decoration SimpleDecoration s) Accordion Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration s
s Theme
t (Bool -> SimpleDecoration Window
forall a. Bool -> SimpleDecoration a
Simple Bool
True) Accordion Window
forall a. Accordion a
Accordion
accordionSimpleDefaultResizable :: ModifiedLayout (Decoration DefaultDecoration DefaultShrinker)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Accordion)) Window
accordionSimpleDefaultResizable :: ModifiedLayout
(Decoration DefaultDecoration DefaultShrinker)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion))
Window
accordionSimpleDefaultResizable = DefaultShrinker
-> Theme
-> DefaultDecoration Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion) Window
-> ModifiedLayout
(Decoration DefaultDecoration DefaultShrinker)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion))
Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration DefaultShrinker
shrinkText Theme
forall a. Default a => a
def DefaultDecoration Window
forall a. DefaultDecoration a
DefaultDecoration (ModifiedLayout WindowArranger Accordion Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion) Window
forall (l :: * -> *) a. l a -> ModifiedLayout MouseResize l a
mouseResize (ModifiedLayout WindowArranger Accordion Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion) Window)
-> ModifiedLayout WindowArranger Accordion Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion) Window
forall a b. (a -> b) -> a -> b
$ Accordion Window -> ModifiedLayout WindowArranger Accordion Window
forall (l :: * -> *) a. l a -> ModifiedLayout WindowArranger l a
windowArrange Accordion Window
forall a. Accordion a
Accordion)
accordionDefaultResizable :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration DefaultDecoration s)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Accordion)) Window
accordionDefaultResizable :: s
-> Theme
-> ModifiedLayout
(Decoration DefaultDecoration s)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion))
Window
accordionDefaultResizable s
s Theme
t = s
-> Theme
-> DefaultDecoration Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion) Window
-> ModifiedLayout
(Decoration DefaultDecoration s)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion))
Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration s
s Theme
t DefaultDecoration Window
forall a. DefaultDecoration a
DefaultDecoration (ModifiedLayout WindowArranger Accordion Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion) Window
forall (l :: * -> *) a. l a -> ModifiedLayout MouseResize l a
mouseResize (ModifiedLayout WindowArranger Accordion Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion) Window)
-> ModifiedLayout WindowArranger Accordion Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion) Window
forall a b. (a -> b) -> a -> b
$ Accordion Window -> ModifiedLayout WindowArranger Accordion Window
forall (l :: * -> *) a. l a -> ModifiedLayout WindowArranger l a
windowArrange Accordion Window
forall a. Accordion a
Accordion)
accordionSimpleDecoResizable :: ModifiedLayout (Decoration SimpleDecoration DefaultShrinker)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Accordion)) Window
accordionSimpleDecoResizable :: ModifiedLayout
(Decoration SimpleDecoration DefaultShrinker)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion))
Window
accordionSimpleDecoResizable = DefaultShrinker
-> Theme
-> SimpleDecoration Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion) Window
-> ModifiedLayout
(Decoration SimpleDecoration DefaultShrinker)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion))
Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration DefaultShrinker
shrinkText Theme
forall a. Default a => a
def (Bool -> SimpleDecoration Window
forall a. Bool -> SimpleDecoration a
Simple Bool
True) (ModifiedLayout WindowArranger Accordion Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion) Window
forall (l :: * -> *) a. l a -> ModifiedLayout MouseResize l a
mouseResize (ModifiedLayout WindowArranger Accordion Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion) Window)
-> ModifiedLayout WindowArranger Accordion Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion) Window
forall a b. (a -> b) -> a -> b
$ Accordion Window -> ModifiedLayout WindowArranger Accordion Window
forall (l :: * -> *) a. l a -> ModifiedLayout WindowArranger l a
windowArrange Accordion Window
forall a. Accordion a
Accordion)
accordionDecoResizable :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration SimpleDecoration s)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Accordion)) Window
accordionDecoResizable :: s
-> Theme
-> ModifiedLayout
(Decoration SimpleDecoration s)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion))
Window
accordionDecoResizable s
s Theme
t = s
-> Theme
-> SimpleDecoration Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion) Window
-> ModifiedLayout
(Decoration SimpleDecoration s)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion))
Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration s
s Theme
t (Bool -> SimpleDecoration Window
forall a. Bool -> SimpleDecoration a
Simple Bool
True) (ModifiedLayout WindowArranger Accordion Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion) Window
forall (l :: * -> *) a. l a -> ModifiedLayout MouseResize l a
mouseResize (ModifiedLayout WindowArranger Accordion Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion) Window)
-> ModifiedLayout WindowArranger Accordion Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Accordion) Window
forall a b. (a -> b) -> a -> b
$ Accordion Window -> ModifiedLayout WindowArranger Accordion Window
forall (l :: * -> *) a. l a -> ModifiedLayout WindowArranger l a
windowArrange Accordion Window
forall a. Accordion a
Accordion)
accordionSimpleDwmStyle :: ModifiedLayout (Decoration DwmStyle DefaultShrinker) Accordion Window
accordionSimpleDwmStyle :: ModifiedLayout
(Decoration DwmStyle DefaultShrinker) Accordion Window
accordionSimpleDwmStyle = DefaultShrinker
-> Theme
-> DwmStyle Window
-> Accordion Window
-> ModifiedLayout
(Decoration DwmStyle DefaultShrinker) Accordion Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration DefaultShrinker
shrinkText Theme
forall a. Default a => a
def DwmStyle Window
forall a. DwmStyle a
Dwm Accordion Window
forall a. Accordion a
Accordion
accordionDwmStyle :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration DwmStyle s) Accordion Window
accordionDwmStyle :: s
-> Theme -> ModifiedLayout (Decoration DwmStyle s) Accordion Window
accordionDwmStyle s
s Theme
t = s
-> Theme
-> DwmStyle Window
-> Accordion Window
-> ModifiedLayout (Decoration DwmStyle s) Accordion Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration s
s Theme
t DwmStyle Window
forall a. DwmStyle a
Dwm Accordion Window
forall a. Accordion a
Accordion
accordionSimpleTabbed :: ModifiedLayout (Decoration TabBarDecoration DefaultShrinker) (ModifiedLayout ResizeScreen Accordion) Window
accordionSimpleTabbed :: ModifiedLayout
(Decoration TabBarDecoration DefaultShrinker)
(ModifiedLayout ResizeScreen Accordion)
Window
accordionSimpleTabbed = Accordion Window
-> ModifiedLayout
(Decoration TabBarDecoration DefaultShrinker)
(ModifiedLayout ResizeScreen Accordion)
Window
forall a (l :: * -> *).
Eq a =>
l a
-> ModifiedLayout
(Decoration TabBarDecoration DefaultShrinker)
(ModifiedLayout ResizeScreen l)
a
simpleTabBar Accordion Window
forall a. Accordion a
Accordion
accordionTabbed :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration TabBarDecoration s) (ModifiedLayout ResizeScreen Accordion) Window
accordionTabbed :: s
-> Theme
-> ModifiedLayout
(Decoration TabBarDecoration s)
(ModifiedLayout ResizeScreen Accordion)
Window
accordionTabbed s
s Theme
t = s
-> Theme
-> XPPosition
-> ModifiedLayout ResizeScreen Accordion Window
-> ModifiedLayout
(Decoration TabBarDecoration s)
(ModifiedLayout ResizeScreen Accordion)
Window
forall a s (l :: * -> *).
(Eq a, Shrinker s) =>
s
-> Theme
-> XPPosition
-> l a
-> ModifiedLayout (Decoration TabBarDecoration s) l a
tabBar s
s Theme
t XPPosition
Top (Int
-> Accordion Window -> ModifiedLayout ResizeScreen Accordion Window
forall (l :: * -> *) a.
Int -> l a -> ModifiedLayout ResizeScreen l a
resizeVertical (Dimension -> Int
forall a b. (Integral a, Num b) => a -> b
fi (Dimension -> Int) -> Dimension -> Int
forall a b. (a -> b) -> a -> b
$ Theme -> Dimension
decoHeight Theme
t) Accordion Window
forall a. Accordion a
Accordion)
tall :: Tall Window
tall :: Tall Window
tall = Int -> Rational -> Rational -> Tall Window
forall a. Int -> Rational -> Rational -> Tall a
Tall Int
1 (Rational
3Rational -> Rational -> Rational
forall a. Fractional a => a -> a -> a
/Rational
100) (Rational
1Rational -> Rational -> Rational
forall a. Fractional a => a -> a -> a
/Rational
2)
tallSimpleDefault :: ModifiedLayout (Decoration DefaultDecoration DefaultShrinker) Tall Window
tallSimpleDefault :: ModifiedLayout
(Decoration DefaultDecoration DefaultShrinker) Tall Window
tallSimpleDefault = DefaultShrinker
-> Theme
-> DefaultDecoration Window
-> Tall Window
-> ModifiedLayout
(Decoration DefaultDecoration DefaultShrinker) Tall Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration DefaultShrinker
shrinkText Theme
forall a. Default a => a
def DefaultDecoration Window
forall a. DefaultDecoration a
DefaultDecoration Tall Window
tall
tallDefault :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration DefaultDecoration s) Tall Window
tallDefault :: s
-> Theme
-> ModifiedLayout (Decoration DefaultDecoration s) Tall Window
tallDefault s
s Theme
t = s
-> Theme
-> DefaultDecoration Window
-> Tall Window
-> ModifiedLayout (Decoration DefaultDecoration s) Tall Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration s
s Theme
t DefaultDecoration Window
forall a. DefaultDecoration a
DefaultDecoration Tall Window
tall
tallSimpleDeco :: ModifiedLayout (Decoration SimpleDecoration DefaultShrinker) Tall Window
tallSimpleDeco :: ModifiedLayout
(Decoration SimpleDecoration DefaultShrinker) Tall Window
tallSimpleDeco = DefaultShrinker
-> Theme
-> SimpleDecoration Window
-> Tall Window
-> ModifiedLayout
(Decoration SimpleDecoration DefaultShrinker) Tall Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration DefaultShrinker
shrinkText Theme
forall a. Default a => a
def (Bool -> SimpleDecoration Window
forall a. Bool -> SimpleDecoration a
Simple Bool
True) Tall Window
tall
tallDeco :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration SimpleDecoration s) Tall Window
tallDeco :: s
-> Theme
-> ModifiedLayout (Decoration SimpleDecoration s) Tall Window
tallDeco s
s Theme
t = s
-> Theme
-> SimpleDecoration Window
-> Tall Window
-> ModifiedLayout (Decoration SimpleDecoration s) Tall Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration s
s Theme
t (Bool -> SimpleDecoration Window
forall a. Bool -> SimpleDecoration a
Simple Bool
True) Tall Window
tall
tallSimpleDefaultResizable :: ModifiedLayout (Decoration DefaultDecoration DefaultShrinker)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Tall)) Window
tallSimpleDefaultResizable :: ModifiedLayout
(Decoration DefaultDecoration DefaultShrinker)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Tall))
Window
tallSimpleDefaultResizable = DefaultShrinker
-> Theme
-> DefaultDecoration Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Tall) Window
-> ModifiedLayout
(Decoration DefaultDecoration DefaultShrinker)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Tall))
Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration DefaultShrinker
shrinkText Theme
forall a. Default a => a
def DefaultDecoration Window
forall a. DefaultDecoration a
DefaultDecoration (ModifiedLayout WindowArranger Tall Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Tall) Window
forall (l :: * -> *) a. l a -> ModifiedLayout MouseResize l a
mouseResize (ModifiedLayout WindowArranger Tall Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Tall) Window)
-> ModifiedLayout WindowArranger Tall Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Tall) Window
forall a b. (a -> b) -> a -> b
$ Tall Window -> ModifiedLayout WindowArranger Tall Window
forall (l :: * -> *) a. l a -> ModifiedLayout WindowArranger l a
windowArrange Tall Window
tall)
tallDefaultResizable :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration DefaultDecoration s)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Tall)) Window
tallDefaultResizable :: s
-> Theme
-> ModifiedLayout
(Decoration DefaultDecoration s)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Tall))
Window
tallDefaultResizable s
s Theme
t = s
-> Theme
-> DefaultDecoration Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Tall) Window
-> ModifiedLayout
(Decoration DefaultDecoration s)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Tall))
Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration s
s Theme
t DefaultDecoration Window
forall a. DefaultDecoration a
DefaultDecoration (ModifiedLayout WindowArranger Tall Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Tall) Window
forall (l :: * -> *) a. l a -> ModifiedLayout MouseResize l a
mouseResize (ModifiedLayout WindowArranger Tall Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Tall) Window)
-> ModifiedLayout WindowArranger Tall Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Tall) Window
forall a b. (a -> b) -> a -> b
$ Tall Window -> ModifiedLayout WindowArranger Tall Window
forall (l :: * -> *) a. l a -> ModifiedLayout WindowArranger l a
windowArrange Tall Window
tall)
tallSimpleDecoResizable :: ModifiedLayout (Decoration SimpleDecoration DefaultShrinker)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Tall)) Window
tallSimpleDecoResizable :: ModifiedLayout
(Decoration SimpleDecoration DefaultShrinker)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Tall))
Window
tallSimpleDecoResizable = DefaultShrinker
-> Theme
-> SimpleDecoration Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Tall) Window
-> ModifiedLayout
(Decoration SimpleDecoration DefaultShrinker)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Tall))
Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration DefaultShrinker
shrinkText Theme
forall a. Default a => a
def (Bool -> SimpleDecoration Window
forall a. Bool -> SimpleDecoration a
Simple Bool
True) (ModifiedLayout WindowArranger Tall Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Tall) Window
forall (l :: * -> *) a. l a -> ModifiedLayout MouseResize l a
mouseResize (ModifiedLayout WindowArranger Tall Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Tall) Window)
-> ModifiedLayout WindowArranger Tall Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Tall) Window
forall a b. (a -> b) -> a -> b
$ Tall Window -> ModifiedLayout WindowArranger Tall Window
forall (l :: * -> *) a. l a -> ModifiedLayout WindowArranger l a
windowArrange Tall Window
tall)
tallDecoResizable :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration SimpleDecoration s)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Tall)) Window
tallDecoResizable :: s
-> Theme
-> ModifiedLayout
(Decoration SimpleDecoration s)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Tall))
Window
tallDecoResizable s
s Theme
t = s
-> Theme
-> SimpleDecoration Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Tall) Window
-> ModifiedLayout
(Decoration SimpleDecoration s)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger Tall))
Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration s
s Theme
t (Bool -> SimpleDecoration Window
forall a. Bool -> SimpleDecoration a
Simple Bool
True) (ModifiedLayout WindowArranger Tall Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Tall) Window
forall (l :: * -> *) a. l a -> ModifiedLayout MouseResize l a
mouseResize (ModifiedLayout WindowArranger Tall Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Tall) Window)
-> ModifiedLayout WindowArranger Tall Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger Tall) Window
forall a b. (a -> b) -> a -> b
$ Tall Window -> ModifiedLayout WindowArranger Tall Window
forall (l :: * -> *) a. l a -> ModifiedLayout WindowArranger l a
windowArrange Tall Window
tall)
tallSimpleDwmStyle :: ModifiedLayout (Decoration DwmStyle DefaultShrinker) Tall Window
tallSimpleDwmStyle :: ModifiedLayout (Decoration DwmStyle DefaultShrinker) Tall Window
tallSimpleDwmStyle = DefaultShrinker
-> Theme
-> DwmStyle Window
-> Tall Window
-> ModifiedLayout (Decoration DwmStyle DefaultShrinker) Tall Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration DefaultShrinker
shrinkText Theme
forall a. Default a => a
def DwmStyle Window
forall a. DwmStyle a
Dwm Tall Window
tall
tallDwmStyle :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration DwmStyle s) Tall Window
tallDwmStyle :: s -> Theme -> ModifiedLayout (Decoration DwmStyle s) Tall Window
tallDwmStyle s
s Theme
t = s
-> Theme
-> DwmStyle Window
-> Tall Window
-> ModifiedLayout (Decoration DwmStyle s) Tall Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration s
s Theme
t DwmStyle Window
forall a. DwmStyle a
Dwm Tall Window
tall
tallSimpleTabbed :: ModifiedLayout (Decoration TabBarDecoration DefaultShrinker) (ModifiedLayout ResizeScreen Tall) Window
tallSimpleTabbed :: ModifiedLayout
(Decoration TabBarDecoration DefaultShrinker)
(ModifiedLayout ResizeScreen Tall)
Window
tallSimpleTabbed = Tall Window
-> ModifiedLayout
(Decoration TabBarDecoration DefaultShrinker)
(ModifiedLayout ResizeScreen Tall)
Window
forall a (l :: * -> *).
Eq a =>
l a
-> ModifiedLayout
(Decoration TabBarDecoration DefaultShrinker)
(ModifiedLayout ResizeScreen l)
a
simpleTabBar Tall Window
tall
tallTabbed :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration TabBarDecoration s) (ModifiedLayout ResizeScreen Tall) Window
tallTabbed :: s
-> Theme
-> ModifiedLayout
(Decoration TabBarDecoration s)
(ModifiedLayout ResizeScreen Tall)
Window
tallTabbed s
s Theme
t = s
-> Theme
-> XPPosition
-> ModifiedLayout ResizeScreen Tall Window
-> ModifiedLayout
(Decoration TabBarDecoration s)
(ModifiedLayout ResizeScreen Tall)
Window
forall a s (l :: * -> *).
(Eq a, Shrinker s) =>
s
-> Theme
-> XPPosition
-> l a
-> ModifiedLayout (Decoration TabBarDecoration s) l a
tabBar s
s Theme
t XPPosition
Top (Int -> Tall Window -> ModifiedLayout ResizeScreen Tall Window
forall (l :: * -> *) a.
Int -> l a -> ModifiedLayout ResizeScreen l a
resizeVertical (Dimension -> Int
forall a b. (Integral a, Num b) => a -> b
fi (Dimension -> Int) -> Dimension -> Int
forall a b. (a -> b) -> a -> b
$ Theme -> Dimension
decoHeight Theme
t) Tall Window
tall)
mirrorTall :: Mirror Tall Window
mirrorTall :: Mirror Tall Window
mirrorTall = Tall Window -> Mirror Tall Window
forall (l :: * -> *) a. l a -> Mirror l a
Mirror Tall Window
tall
mirrorTallSimpleDefault :: ModifiedLayout (Decoration DefaultDecoration DefaultShrinker) (Mirror Tall) Window
mirrorTallSimpleDefault :: ModifiedLayout
(Decoration DefaultDecoration DefaultShrinker) (Mirror Tall) Window
mirrorTallSimpleDefault = DefaultShrinker
-> Theme
-> DefaultDecoration Window
-> Mirror Tall Window
-> ModifiedLayout
(Decoration DefaultDecoration DefaultShrinker) (Mirror Tall) Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration DefaultShrinker
shrinkText Theme
forall a. Default a => a
def DefaultDecoration Window
forall a. DefaultDecoration a
DefaultDecoration Mirror Tall Window
mirrorTall
mirrorTallDefault :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration DefaultDecoration s) (Mirror Tall) Window
mirrorTallDefault :: s
-> Theme
-> ModifiedLayout
(Decoration DefaultDecoration s) (Mirror Tall) Window
mirrorTallDefault s
s Theme
t = s
-> Theme
-> DefaultDecoration Window
-> Mirror Tall Window
-> ModifiedLayout
(Decoration DefaultDecoration s) (Mirror Tall) Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration s
s Theme
t DefaultDecoration Window
forall a. DefaultDecoration a
DefaultDecoration Mirror Tall Window
mirrorTall
mirrorTallSimpleDeco :: ModifiedLayout (Decoration SimpleDecoration DefaultShrinker) (Mirror Tall) Window
mirrorTallSimpleDeco :: ModifiedLayout
(Decoration SimpleDecoration DefaultShrinker) (Mirror Tall) Window
mirrorTallSimpleDeco = DefaultShrinker
-> Theme
-> SimpleDecoration Window
-> Mirror Tall Window
-> ModifiedLayout
(Decoration SimpleDecoration DefaultShrinker) (Mirror Tall) Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration DefaultShrinker
shrinkText Theme
forall a. Default a => a
def (Bool -> SimpleDecoration Window
forall a. Bool -> SimpleDecoration a
Simple Bool
True) Mirror Tall Window
mirrorTall
mirrorTallDeco :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration SimpleDecoration s) (Mirror Tall) Window
mirrorTallDeco :: s
-> Theme
-> ModifiedLayout
(Decoration SimpleDecoration s) (Mirror Tall) Window
mirrorTallDeco s
s Theme
t = s
-> Theme
-> SimpleDecoration Window
-> Mirror Tall Window
-> ModifiedLayout
(Decoration SimpleDecoration s) (Mirror Tall) Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration s
s Theme
t (Bool -> SimpleDecoration Window
forall a. Bool -> SimpleDecoration a
Simple Bool
True) Mirror Tall Window
mirrorTall
mirrorTallSimpleDefaultResizable :: ModifiedLayout (Decoration DefaultDecoration DefaultShrinker)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger (Mirror Tall))) Window
mirrorTallSimpleDefaultResizable :: ModifiedLayout
(Decoration DefaultDecoration DefaultShrinker)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)))
Window
mirrorTallSimpleDefaultResizable = DefaultShrinker
-> Theme
-> DefaultDecoration Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)) Window
-> ModifiedLayout
(Decoration DefaultDecoration DefaultShrinker)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)))
Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration DefaultShrinker
shrinkText Theme
forall a. Default a => a
def DefaultDecoration Window
forall a. DefaultDecoration a
DefaultDecoration (ModifiedLayout WindowArranger (Mirror Tall) Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)) Window
forall (l :: * -> *) a. l a -> ModifiedLayout MouseResize l a
mouseResize (ModifiedLayout WindowArranger (Mirror Tall) Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)) Window)
-> ModifiedLayout WindowArranger (Mirror Tall) Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)) Window
forall a b. (a -> b) -> a -> b
$ Mirror Tall Window
-> ModifiedLayout WindowArranger (Mirror Tall) Window
forall (l :: * -> *) a. l a -> ModifiedLayout WindowArranger l a
windowArrange Mirror Tall Window
mirrorTall)
mirrorTallDefaultResizable :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration DefaultDecoration s)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger (Mirror Tall))) Window
mirrorTallDefaultResizable :: s
-> Theme
-> ModifiedLayout
(Decoration DefaultDecoration s)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)))
Window
mirrorTallDefaultResizable s
s Theme
t = s
-> Theme
-> DefaultDecoration Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)) Window
-> ModifiedLayout
(Decoration DefaultDecoration s)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)))
Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration s
s Theme
t DefaultDecoration Window
forall a. DefaultDecoration a
DefaultDecoration (ModifiedLayout WindowArranger (Mirror Tall) Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)) Window
forall (l :: * -> *) a. l a -> ModifiedLayout MouseResize l a
mouseResize (ModifiedLayout WindowArranger (Mirror Tall) Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)) Window)
-> ModifiedLayout WindowArranger (Mirror Tall) Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)) Window
forall a b. (a -> b) -> a -> b
$ Mirror Tall Window
-> ModifiedLayout WindowArranger (Mirror Tall) Window
forall (l :: * -> *) a. l a -> ModifiedLayout WindowArranger l a
windowArrange Mirror Tall Window
mirrorTall)
mirrorTallSimpleDecoResizable :: ModifiedLayout (Decoration SimpleDecoration DefaultShrinker)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger (Mirror Tall))) Window
mirrorTallSimpleDecoResizable :: ModifiedLayout
(Decoration SimpleDecoration DefaultShrinker)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)))
Window
mirrorTallSimpleDecoResizable = DefaultShrinker
-> Theme
-> SimpleDecoration Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)) Window
-> ModifiedLayout
(Decoration SimpleDecoration DefaultShrinker)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)))
Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration DefaultShrinker
shrinkText Theme
forall a. Default a => a
def (Bool -> SimpleDecoration Window
forall a. Bool -> SimpleDecoration a
Simple Bool
True) (ModifiedLayout WindowArranger (Mirror Tall) Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)) Window
forall (l :: * -> *) a. l a -> ModifiedLayout MouseResize l a
mouseResize (ModifiedLayout WindowArranger (Mirror Tall) Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)) Window)
-> ModifiedLayout WindowArranger (Mirror Tall) Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)) Window
forall a b. (a -> b) -> a -> b
$ Mirror Tall Window
-> ModifiedLayout WindowArranger (Mirror Tall) Window
forall (l :: * -> *) a. l a -> ModifiedLayout WindowArranger l a
windowArrange Mirror Tall Window
mirrorTall)
mirrorTallDecoResizable :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration SimpleDecoration s)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger (Mirror Tall))) Window
mirrorTallDecoResizable :: s
-> Theme
-> ModifiedLayout
(Decoration SimpleDecoration s)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)))
Window
mirrorTallDecoResizable s
s Theme
t = s
-> Theme
-> SimpleDecoration Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)) Window
-> ModifiedLayout
(Decoration SimpleDecoration s)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)))
Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration s
s Theme
t (Bool -> SimpleDecoration Window
forall a. Bool -> SimpleDecoration a
Simple Bool
True) (ModifiedLayout WindowArranger (Mirror Tall) Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)) Window
forall (l :: * -> *) a. l a -> ModifiedLayout MouseResize l a
mouseResize (ModifiedLayout WindowArranger (Mirror Tall) Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)) Window)
-> ModifiedLayout WindowArranger (Mirror Tall) Window
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger (Mirror Tall)) Window
forall a b. (a -> b) -> a -> b
$ Mirror Tall Window
-> ModifiedLayout WindowArranger (Mirror Tall) Window
forall (l :: * -> *) a. l a -> ModifiedLayout WindowArranger l a
windowArrange Mirror Tall Window
mirrorTall)
mirrorTallSimpleDwmStyle :: ModifiedLayout (Decoration DwmStyle DefaultShrinker) (Mirror Tall) Window
mirrorTallSimpleDwmStyle :: ModifiedLayout
(Decoration DwmStyle DefaultShrinker) (Mirror Tall) Window
mirrorTallSimpleDwmStyle = DefaultShrinker
-> Theme
-> DwmStyle Window
-> Mirror Tall Window
-> ModifiedLayout
(Decoration DwmStyle DefaultShrinker) (Mirror Tall) Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration DefaultShrinker
shrinkText Theme
forall a. Default a => a
def DwmStyle Window
forall a. DwmStyle a
Dwm Mirror Tall Window
mirrorTall
mirrorTallDwmStyle :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration DwmStyle s) (Mirror Tall) Window
mirrorTallDwmStyle :: s
-> Theme
-> ModifiedLayout (Decoration DwmStyle s) (Mirror Tall) Window
mirrorTallDwmStyle s
s Theme
t = s
-> Theme
-> DwmStyle Window
-> Mirror Tall Window
-> ModifiedLayout (Decoration DwmStyle s) (Mirror Tall) Window
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration s
s Theme
t DwmStyle Window
forall a. DwmStyle a
Dwm Mirror Tall Window
mirrorTall
mirrorTallSimpleTabbed :: ModifiedLayout (Decoration TabBarDecoration DefaultShrinker) (ModifiedLayout ResizeScreen (Mirror Tall)) Window
mirrorTallSimpleTabbed :: ModifiedLayout
(Decoration TabBarDecoration DefaultShrinker)
(ModifiedLayout ResizeScreen (Mirror Tall))
Window
mirrorTallSimpleTabbed = Mirror Tall Window
-> ModifiedLayout
(Decoration TabBarDecoration DefaultShrinker)
(ModifiedLayout ResizeScreen (Mirror Tall))
Window
forall a (l :: * -> *).
Eq a =>
l a
-> ModifiedLayout
(Decoration TabBarDecoration DefaultShrinker)
(ModifiedLayout ResizeScreen l)
a
simpleTabBar Mirror Tall Window
mirrorTall
mirrorTallTabbed :: Shrinker s => s -> Theme
-> ModifiedLayout (Decoration TabBarDecoration s) (ModifiedLayout ResizeScreen (Mirror Tall)) Window
mirrorTallTabbed :: s
-> Theme
-> ModifiedLayout
(Decoration TabBarDecoration s)
(ModifiedLayout ResizeScreen (Mirror Tall))
Window
mirrorTallTabbed s
s Theme
t = s
-> Theme
-> XPPosition
-> ModifiedLayout ResizeScreen (Mirror Tall) Window
-> ModifiedLayout
(Decoration TabBarDecoration s)
(ModifiedLayout ResizeScreen (Mirror Tall))
Window
forall a s (l :: * -> *).
(Eq a, Shrinker s) =>
s
-> Theme
-> XPPosition
-> l a
-> ModifiedLayout (Decoration TabBarDecoration s) l a
tabBar s
s Theme
t XPPosition
Top (Int
-> Mirror Tall Window
-> ModifiedLayout ResizeScreen (Mirror Tall) Window
forall (l :: * -> *) a.
Int -> l a -> ModifiedLayout ResizeScreen l a
resizeVertical (Dimension -> Int
forall a b. (Integral a, Num b) => a -> b
fi (Dimension -> Int) -> Dimension -> Int
forall a b. (a -> b) -> a -> b
$ Theme -> Dimension
decoHeight Theme
t) Mirror Tall Window
mirrorTall)
floatSimpleSimple :: (Show a, Eq a) => ModifiedLayout (Decoration SimpleDecoration DefaultShrinker)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger SimpleFloat)) a
floatSimpleSimple :: ModifiedLayout
(Decoration SimpleDecoration DefaultShrinker)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat))
a
floatSimpleSimple = ModifiedLayout
(Decoration SimpleDecoration DefaultShrinker)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat))
a
forall a.
Eq a =>
ModifiedLayout
(Decoration SimpleDecoration DefaultShrinker)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat))
a
simpleFloat
floatSimple :: (Show a, Eq a, Shrinker s) => s -> Theme ->
ModifiedLayout (Decoration SimpleDecoration s)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger SimpleFloat)) a
floatSimple :: s
-> Theme
-> ModifiedLayout
(Decoration SimpleDecoration s)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat))
a
floatSimple = s
-> Theme
-> ModifiedLayout
(Decoration SimpleDecoration s)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat))
a
forall a s.
(Eq a, Shrinker s) =>
s
-> Theme
-> ModifiedLayout
(Decoration SimpleDecoration s)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat))
a
simpleFloat'
floatSimpleDefault :: (Show a, Eq a) => ModifiedLayout (Decoration DefaultDecoration DefaultShrinker)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger SimpleFloat)) a
floatSimpleDefault :: ModifiedLayout
(Decoration DefaultDecoration DefaultShrinker)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat))
a
floatSimpleDefault = DefaultShrinker
-> Theme
-> DefaultDecoration a
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a
-> ModifiedLayout
(Decoration DefaultDecoration DefaultShrinker)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat))
a
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration DefaultShrinker
shrinkText Theme
forall a. Default a => a
def DefaultDecoration a
forall a. DefaultDecoration a
DefaultDecoration (ModifiedLayout WindowArranger SimpleFloat a
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a
forall (l :: * -> *) a. l a -> ModifiedLayout MouseResize l a
mouseResize (ModifiedLayout WindowArranger SimpleFloat a
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a)
-> ModifiedLayout WindowArranger SimpleFloat a
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a
forall a b. (a -> b) -> a -> b
$ SimpleFloat a -> ModifiedLayout WindowArranger SimpleFloat a
forall (l :: * -> *) a. l a -> ModifiedLayout WindowArranger l a
windowArrangeAll (SimpleFloat a -> ModifiedLayout WindowArranger SimpleFloat a)
-> SimpleFloat a -> ModifiedLayout WindowArranger SimpleFloat a
forall a b. (a -> b) -> a -> b
$ Dimension -> SimpleFloat a
forall a. Dimension -> SimpleFloat a
SF Dimension
20)
floatDefault :: (Show a, Eq a, Shrinker s) => s -> Theme ->
ModifiedLayout (Decoration DefaultDecoration s)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger SimpleFloat)) a
floatDefault :: s
-> Theme
-> ModifiedLayout
(Decoration DefaultDecoration s)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat))
a
floatDefault s
s Theme
t = s
-> Theme
-> DefaultDecoration a
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a
-> ModifiedLayout
(Decoration DefaultDecoration s)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat))
a
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration s
s Theme
t DefaultDecoration a
forall a. DefaultDecoration a
DefaultDecoration (ModifiedLayout WindowArranger SimpleFloat a
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a
forall (l :: * -> *) a. l a -> ModifiedLayout MouseResize l a
mouseResize (ModifiedLayout WindowArranger SimpleFloat a
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a)
-> ModifiedLayout WindowArranger SimpleFloat a
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a
forall a b. (a -> b) -> a -> b
$ SimpleFloat a -> ModifiedLayout WindowArranger SimpleFloat a
forall (l :: * -> *) a. l a -> ModifiedLayout WindowArranger l a
windowArrangeAll (SimpleFloat a -> ModifiedLayout WindowArranger SimpleFloat a)
-> SimpleFloat a -> ModifiedLayout WindowArranger SimpleFloat a
forall a b. (a -> b) -> a -> b
$ Dimension -> SimpleFloat a
forall a. Dimension -> SimpleFloat a
SF (Theme -> Dimension
decoHeight Theme
t))
floatSimpleDwmStyle :: (Show a, Eq a) => ModifiedLayout (Decoration DwmStyle DefaultShrinker)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger SimpleFloat)) a
floatSimpleDwmStyle :: ModifiedLayout
(Decoration DwmStyle DefaultShrinker)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat))
a
floatSimpleDwmStyle = DefaultShrinker
-> Theme
-> DwmStyle a
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a
-> ModifiedLayout
(Decoration DwmStyle DefaultShrinker)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat))
a
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration DefaultShrinker
shrinkText Theme
forall a. Default a => a
def DwmStyle a
forall a. DwmStyle a
Dwm (ModifiedLayout WindowArranger SimpleFloat a
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a
forall (l :: * -> *) a. l a -> ModifiedLayout MouseResize l a
mouseResize (ModifiedLayout WindowArranger SimpleFloat a
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a)
-> ModifiedLayout WindowArranger SimpleFloat a
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a
forall a b. (a -> b) -> a -> b
$ SimpleFloat a -> ModifiedLayout WindowArranger SimpleFloat a
forall (l :: * -> *) a. l a -> ModifiedLayout WindowArranger l a
windowArrangeAll (SimpleFloat a -> ModifiedLayout WindowArranger SimpleFloat a)
-> SimpleFloat a -> ModifiedLayout WindowArranger SimpleFloat a
forall a b. (a -> b) -> a -> b
$ Dimension -> SimpleFloat a
forall a. Dimension -> SimpleFloat a
SF Dimension
20)
floatDwmStyle :: (Show a, Eq a, Shrinker s) => s -> Theme ->
ModifiedLayout (Decoration DwmStyle s)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger SimpleFloat)) a
floatDwmStyle :: s
-> Theme
-> ModifiedLayout
(Decoration DwmStyle s)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat))
a
floatDwmStyle s
s Theme
t = s
-> Theme
-> DwmStyle a
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a
-> ModifiedLayout
(Decoration DwmStyle s)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat))
a
forall (ds :: * -> *) a s (l :: * -> *).
(DecorationStyle ds a, Shrinker s) =>
s -> Theme -> ds a -> l a -> ModifiedLayout (Decoration ds s) l a
decoration s
s Theme
t DwmStyle a
forall a. DwmStyle a
Dwm (ModifiedLayout WindowArranger SimpleFloat a
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a
forall (l :: * -> *) a. l a -> ModifiedLayout MouseResize l a
mouseResize (ModifiedLayout WindowArranger SimpleFloat a
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a)
-> ModifiedLayout WindowArranger SimpleFloat a
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a
forall a b. (a -> b) -> a -> b
$ SimpleFloat a -> ModifiedLayout WindowArranger SimpleFloat a
forall (l :: * -> *) a. l a -> ModifiedLayout WindowArranger l a
windowArrangeAll (SimpleFloat a -> ModifiedLayout WindowArranger SimpleFloat a)
-> SimpleFloat a -> ModifiedLayout WindowArranger SimpleFloat a
forall a b. (a -> b) -> a -> b
$ Dimension -> SimpleFloat a
forall a. Dimension -> SimpleFloat a
SF (Theme -> Dimension
decoHeight Theme
t))
floatSimpleTabbed :: (Show a, Eq a) => ModifiedLayout (Decoration TabBarDecoration DefaultShrinker)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger SimpleFloat)) a
floatSimpleTabbed :: ModifiedLayout
(Decoration TabBarDecoration DefaultShrinker)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat))
a
floatSimpleTabbed = DefaultShrinker
-> Theme
-> XPPosition
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a
-> ModifiedLayout
(Decoration TabBarDecoration DefaultShrinker)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat))
a
forall a s (l :: * -> *).
(Eq a, Shrinker s) =>
s
-> Theme
-> XPPosition
-> l a
-> ModifiedLayout (Decoration TabBarDecoration s) l a
tabBar DefaultShrinker
shrinkText Theme
forall a. Default a => a
def XPPosition
Top (ModifiedLayout WindowArranger SimpleFloat a
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a
forall (l :: * -> *) a. l a -> ModifiedLayout MouseResize l a
mouseResize (ModifiedLayout WindowArranger SimpleFloat a
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a)
-> ModifiedLayout WindowArranger SimpleFloat a
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a
forall a b. (a -> b) -> a -> b
$ SimpleFloat a -> ModifiedLayout WindowArranger SimpleFloat a
forall (l :: * -> *) a. l a -> ModifiedLayout WindowArranger l a
windowArrangeAll (SimpleFloat a -> ModifiedLayout WindowArranger SimpleFloat a)
-> SimpleFloat a -> ModifiedLayout WindowArranger SimpleFloat a
forall a b. (a -> b) -> a -> b
$ Dimension -> SimpleFloat a
forall a. Dimension -> SimpleFloat a
SF Dimension
20)
floatTabbed :: (Show a, Eq a, Shrinker s) => s -> Theme ->
ModifiedLayout (Decoration TabBarDecoration s)
(ModifiedLayout MouseResize (ModifiedLayout WindowArranger SimpleFloat)) a
floatTabbed :: s
-> Theme
-> ModifiedLayout
(Decoration TabBarDecoration s)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat))
a
floatTabbed s
s Theme
t = s
-> Theme
-> XPPosition
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a
-> ModifiedLayout
(Decoration TabBarDecoration s)
(ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat))
a
forall a s (l :: * -> *).
(Eq a, Shrinker s) =>
s
-> Theme
-> XPPosition
-> l a
-> ModifiedLayout (Decoration TabBarDecoration s) l a
tabBar s
s Theme
t XPPosition
Top (ModifiedLayout WindowArranger SimpleFloat a
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a
forall (l :: * -> *) a. l a -> ModifiedLayout MouseResize l a
mouseResize (ModifiedLayout WindowArranger SimpleFloat a
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a)
-> ModifiedLayout WindowArranger SimpleFloat a
-> ModifiedLayout
MouseResize (ModifiedLayout WindowArranger SimpleFloat) a
forall a b. (a -> b) -> a -> b
$ SimpleFloat a -> ModifiedLayout WindowArranger SimpleFloat a
forall (l :: * -> *) a. l a -> ModifiedLayout WindowArranger l a
windowArrangeAll (SimpleFloat a -> ModifiedLayout WindowArranger SimpleFloat a)
-> SimpleFloat a -> ModifiedLayout WindowArranger SimpleFloat a
forall a b. (a -> b) -> a -> b
$ Dimension -> SimpleFloat a
forall a. Dimension -> SimpleFloat a
SF (Theme -> Dimension
decoHeight Theme
t))