vanadium: move xmonad config

nix/configurations/vanadium/home/xmonad/lib/Leanamonad/GreekChar.hs

@@ -0,0 +1,40 @@
+module Leanamonad.GreekChar where
+
+import Data.List (find)
+
+toUpper :: Char -> Char
+toUpper c = maybe c fst (find ((== c) . snd) greekData)
+
+greekLower :: [Char]
+greekLower = fmap snd greekData
+
+greekUpper :: [Char]
+greekUpper = fmap fst greekData
+
+greekData :: [(Char, Char)]
+greekData =
+  [ ('Α', 'α')
+  , ('Β', 'β')
+  , ('Γ', 'γ')
+  , ('Δ', 'δ')
+  , ('Ε', 'ε')
+  , ('Ζ', 'ζ')
+  , ('Η', 'η')
+  , ('Θ', 'θ')
+  , ('Ι', 'ι')
+  , ('Κ', 'κ')
+  , ('Λ', 'λ')
+  , ('Μ', 'μ')
+  , ('Ν', 'ν')
+  , ('Ξ', 'ξ')
+  , ('Ο', 'ο')
+  , ('Π', 'π')
+  , ('Ρ', 'ρ')
+  , ('Σ', 'σ')
+  , ('Τ', 'τ')
+  , ('Υ', 'υ')
+  , ('Φ', 'φ')
+  , ('Χ', 'χ')
+  , ('Ψ', 'ψ')
+  , ('Ω', 'ω')
+  ]

nix/configurations/vanadium/home/xmonad/lib/Leanamonad/Layouts/ReflectMsg.hs

@@ -0,0 +1,28 @@
+{-# LANGUAGE NegativeLiterals #-}
+
+module Leanamonad.Layouts.ReflectMsg where
+
+import XMonad (
+  Resize (Expand, Shrink),
+  SomeMessage (SomeMessage),
+  fromMessage,
+ )
+
+import XMonad.Layout.LayoutModifier (
+  LayoutModifier (handleMess, handleMessOrMaybeModifyIt),
+  ModifiedLayout (ModifiedLayout),
+ )
+
+data ReflectMsg a = ReflectMsg deriving (Show, Read)
+
+reflectMsg :: l a -> ModifiedLayout ReflectMsg l a
+reflectMsg = ModifiedLayout ReflectMsg
+
+instance LayoutModifier ReflectMsg a where
+  handleMessOrMaybeModifyIt m mess
+    | Just Shrink <- fromMessage mess = return . Just . Right $ SomeMessage Expand
+    | Just Expand <- fromMessage mess = return . Just . Right $ SomeMessage Shrink
+    -- Handle the rest by passing it on
+    | otherwise = do
+        mm <- handleMess m mess
+        return (Left <$> mm)