make xmonad state persistent

Author: WeissP

src/WeissScratchpad.hs

@@ -86,9 +86,10 @@ niceFloating = do
     (True, True, _, _) -> r (1 / 50) (26 / 50) (46 / 50) (20 / 50)
     (True, False, _, _) -> r (1 / 50) (3 / 50) (46 / 50) (20 / 50)
 
-newtype CurrentScratchpadName = CurrentScratchpadName String
+newtype CurrentScratchpadName = CurrentScratchpadName String deriving newtype (Show, Read)
 instance ExtensionClass CurrentScratchpadName where
   initialValue = CurrentScratchpadName (head myScratchpadNames)
+  extensionType = PersistentExtension
 
 findNSP :: Window -> X (Maybe NamedScratchpad)
 findNSP w = findM (\(NS {..}) -> runQuery query w) myScratchPads

src/WeissWindowOperations.hs

@@ -120,9 +120,10 @@ mySwitchableWindows = do
 weissSwitchRecent :: X ()
 weissSwitchRecent = nextMatch History mySwitchableWindows
 
-newtype NextSwitchWindow = NextSwitchWindow (Maybe Window)
+newtype NextSwitchWindow = NextSwitchWindow (Maybe Window) deriving newtype (Show, Read)
 instance ExtensionClass NextSwitchWindow where
   initialValue = NextSwitchWindow Nothing
+  extensionType = PersistentExtension
 
 updateNextSwitchWindow :: Window -> X ()
 updateNextSwitchWindow w = do

src/WorkspaceFamily.hs

@@ -43,7 +43,7 @@ type Key = String
 type FamilyName = String
 type FamilyNum = Int
 
-newtype NumberedFamily = NumberedFamily Int deriving newtype (Show, Eq)
+newtype NumberedFamily = NumberedFamily Int deriving newtype (Show, Eq, Read)
 allNumberedFamilies = NumberedFamily <$> [1 .. 9]
 instance Family NumberedFamily where
   fName = show
@@ -112,7 +112,7 @@ currentFamily = fromMaybeM (pure $ head allFamilies) $ runMaybeT $ do
   ws <- MaybeT logCurrent
   MaybeT $ pure $ find (`hasWorkspace` ws) allFamilies
 
-newtype FamilyMember = FamilyMember Int deriving newtype (Show)
+newtype FamilyMember = FamilyMember Int deriving newtype (Show, Read)
 allFamilyMembers = FamilyMember <$> [1 .. 9]
 instance Node FamilyMember where
   workspaceID m = currentFamily <&> (`idWithMember` m)
@@ -145,13 +145,15 @@ instance Semigroup WsEffect where
 
 type FamilyOrder = Int -- zero based
 newtype OrderedNumFamilies = OrderedNumFamilies [NumberedFamily]
-  deriving newtype (Show)
+  deriving newtype (Show, Read)
 instance ExtensionClass OrderedNumFamilies where
   initialValue = OrderedNumFamilies allNumberedFamilies
+  extensionType = PersistentExtension
 
-newtype FamilyStore = FamilyStore (HashMap FamilyName FamilyMember)
+newtype FamilyStore = FamilyStore (HashMap FamilyName FamilyMember) deriving newtype (Show, Read)
 instance ExtensionClass FamilyStore where
   initialValue = FamilyStore $ M.fromList ((,FamilyMember 1) <$> allFamiliyNames)
+  extensionType = PersistentExtension
 
 workspaceKeys' :: [([String], X ())]
 workspaceKeys' =