lib/Data/Internal/XIO.hs

@@ -320,6 +320,7 @@ data DBusDependency_ c
   = Bus [Fulfillment] BusName
   | Endpoint [Fulfillment] BusName ObjectPath InterfaceName DBusMember
   | DBusIO IODependency_
+  deriving (Generic)
 
 -- | A dependency that only requires IO to evaluate (no payload)
 data IODependency_
@@ -334,23 +335,23 @@ data SystemDependency
   | AccessiblePath FilePath Bool Bool
   | Systemd UnitType T.Text
   | Process T.Text
-  deriving (Eq, Show)
+  deriving (Eq, Show, Generic)
 
 -- | The type of a systemd service
-data UnitType = SystemUnit | UserUnit deriving (Eq, Show)
+data UnitType = SystemUnit | UserUnit deriving (Eq, Show, Generic)
 
 -- | Wrapper type to describe and endpoint
 data DBusMember
   = Method_ MemberName
   | Signal_ MemberName
   | Property_ T.Text
-  deriving (Eq, Show)
+  deriving (Eq, Show, Generic)
 
 -- | A means to fulfill a dependency
 -- For now this is just the name of an Arch Linux package (AUR or official)
 data Fulfillment = Package ArchPkg T.Text deriving (Eq, Show, Ord)
 
-data ArchPkg = Official | AUR | Custom deriving (Eq, Show, Ord)
+data ArchPkg = Official | AUR | Custom deriving (Eq, Show, Generic, Ord)
 
 --------------------------------------------------------------------------------
 -- Tested dependency tree

lib/XMonad/Internal/DBus/Brightness/ClevoKeyboard.hs

@@ -46,34 +46,34 @@ backlightDir = "/sys/devices/platform/tuxedo_keyboard"
 stateFile :: FilePath
 stateFile = backlightDir </> "state"
 
-stateChange :: MonadUnliftIO m => Bool -> m ()
+stateChange :: Bool -> IO ()
 stateChange = writeBool stateFile
 
-stateOn :: MonadUnliftIO m => m ()
+stateOn :: IO ()
 stateOn = stateChange True
 
-stateOff :: MonadUnliftIO m => m ()
+stateOff :: IO ()
 stateOff = stateChange False
 
 brightnessFile :: FilePath
 brightnessFile = backlightDir </> "brightness"
 
-getBrightness :: MonadUnliftIO m => RawBounds -> m Brightness
+getBrightness :: RawBounds -> IO Brightness
 getBrightness bounds = readPercent bounds brightnessFile
 
-minBrightness :: MonadUnliftIO m => RawBounds -> m Brightness
+minBrightness :: RawBounds -> IO Brightness
 minBrightness bounds = do
   b <- writePercentMin bounds brightnessFile
   stateOff
   return b
 
-maxBrightness :: MonadUnliftIO m => RawBounds -> m Brightness
+maxBrightness :: RawBounds -> IO Brightness
 maxBrightness bounds = stateOn >> writePercentMax bounds brightnessFile
 
-incBrightness :: MonadUnliftIO m => RawBounds -> m Brightness
+incBrightness :: RawBounds -> IO Brightness
 incBrightness bounds = stateOn >> incPercent steps brightnessFile bounds
 
-decBrightness :: MonadUnliftIO m => RawBounds -> m Brightness
+decBrightness :: RawBounds -> IO Brightness
 decBrightness bounds = do
   b <- decPercent steps brightnessFile bounds
   when (b == 0) stateOff
@@ -88,7 +88,7 @@ blPath = objectPath_ "/clevo_keyboard"
 interface :: InterfaceName
 interface = interfaceName_ "org.xmonad.Brightness"
 
-clevoKeyboardConfig :: MonadUnliftIO m => BrightnessConfig m RawBrightness Brightness
+clevoKeyboardConfig :: BrightnessConfig RawBrightness Brightness
 clevoKeyboardConfig =
   BrightnessConfig
     { bcMin = minBrightness
@@ -113,9 +113,7 @@ brightnessFileDep :: IODependency_
 brightnessFileDep = pathR brightnessFile [Package AUR "tuxedo-keyboard"]
 
 clevoKeyboardSignalDep :: DBusDependency_ SesClient
-clevoKeyboardSignalDep =
-  -- TODO do I need to get rid of the IO here?
-  signalDep (clevoKeyboardConfig :: BrightnessConfig IO RawBrightness Brightness)
+clevoKeyboardSignalDep = signalDep clevoKeyboardConfig
 
 exportClevoKeyboard
   :: (MonadReader env m, HasLogFunc env, MonadUnliftIO m)

lib/XMonad/Internal/DBus/Brightness/Common.hs

@@ -1,5 +1,4 @@
 {-# LANGUAGE OverloadedStrings #-}
-{-# LANGUAGE TupleSections #-}
 
 --------------------------------------------------------------------------------
 -- DBus module for DBus brightness controls
@@ -33,14 +32,14 @@ import XMonad.Internal.DBus.Common
 -- integer and emit a signal with the same brightness value. Additionally, there
 -- is one method to get the current brightness.
 
-data BrightnessConfig m a b = BrightnessConfig
-  { bcMin :: (a, a) -> m b
-  , bcMax :: (a, a) -> m b
-  , bcDec :: (a, a) -> m b
-  , bcInc :: (a, a) -> m b
-  , bcGet :: (a, a) -> m b
+data BrightnessConfig a b = BrightnessConfig
+  { bcMin :: (a, a) -> IO b
+  , bcMax :: (a, a) -> IO b
+  , bcDec :: (a, a) -> IO b
+  , bcInc :: (a, a) -> IO b
+  , bcGet :: (a, a) -> IO b
   , bcMinRaw :: a
-  , bcGetMax :: m a
+  , bcGetMax :: IO a
   , bcPath :: ObjectPath
   , bcInterface :: InterfaceName
   , bcName :: T.Text
@@ -56,7 +55,7 @@ data BrightnessControls m = BrightnessControls
 brightnessControls
   :: MonadUnliftIO m
   => XPQuery
-  -> BrightnessConfig m a b
+  -> BrightnessConfig a b
   -> Maybe SesClient
   -> BrightnessControls m
 brightnessControls q bc cl =
@@ -71,20 +70,20 @@ brightnessControls q bc cl =
 
 callGetBrightness
   :: (MonadUnliftIO m, SafeClient c, Num n)
-  => BrightnessConfig m a b
+  => BrightnessConfig a b
   -> c
   -> m (Maybe n)
 callGetBrightness BrightnessConfig {bcPath = p, bcInterface = i} client =
   either (const Nothing) bodyGetBrightness
     <$> callMethod client xmonadBusName p i memGet
 
-signalDep :: BrightnessConfig m a b -> DBusDependency_ SesClient
+signalDep :: BrightnessConfig a b -> DBusDependency_ SesClient
 signalDep BrightnessConfig {bcPath = p, bcInterface = i} =
   Endpoint [] xmonadBusName p i $ Signal_ memCur
 
 matchSignal
   :: (MonadUnliftIO m, SafeClient c, Num n)
-  => BrightnessConfig m a b
+  => BrightnessConfig a b
   -> (Maybe n -> m ())
   -> c
   -> m ()
@@ -107,7 +106,7 @@ brightnessExporter
   => XPQuery
   -> [Fulfillment]
   -> [IODependency_]
-  -> BrightnessConfig m a b
+  -> BrightnessConfig a b
   -> Maybe SesClient
   -> Sometimes (m (), m ())
 brightnessExporter q ful deps bc@BrightnessConfig {bcName = n} cl =
@@ -118,19 +117,21 @@ brightnessExporter q ful deps bc@BrightnessConfig {bcName = n} cl =
 
 exportBrightnessControlsInner
   :: (MonadReader env m, HasLogFunc env, MonadUnliftIO m, RealFrac b)
-  => BrightnessConfig m a b
+  => BrightnessConfig a b
   -> SesClient
   -> (m (), m ())
 exportBrightnessControlsInner bc = cmd
   where
     cmd = exportPair (bcPath bc) $ \cl_ -> do
-      -- assume the max value will never change
-      bounds <- (bcMinRaw bc,) <$> bcGetMax bc
-      runIO <- askRunInIO
-      let autoMethod' m f = autoMethod m $ runIO $ do
-            val <- f bc bounds
-            emitBrightness bc cl_ val
-      funget <- toIO $ bcGet bc bounds
+      -- up = liftIO $ do
+      -- let ses = toClient cl
+      maxval <- liftIO $ bcGetMax bc -- assume the max value will never change
+      let bounds = (bcMinRaw bc, maxval)
+      let autoMethod' m f = autoMethod m $ emitBrightness bc cl_ =<< f bc bounds
+      let funget = bcGet bc
+      -- export
+      --   ses
+      --   (bcPath bc)
       return $
         defaultInterface
           { interfaceName = bcInterface bc
@@ -139,10 +140,11 @@ exportBrightnessControlsInner bc = cmd
               , autoMethod' memMin bcMin
               , autoMethod' memInc bcInc
               , autoMethod' memDec bcDec
-              , autoMethod memGet (round <$> funget :: IO Int32)
+              , autoMethod memGet (round <$> funget bounds :: IO Int32)
               ]
           , interfaceSignals = [sig]
           }
+    -- down = liftIO $ unexport (toClient cl) (bcPath bc)
     sig =
       I.Signal
         { I.signalName = memCur
@@ -156,7 +158,7 @@ exportBrightnessControlsInner bc = cmd
 
 emitBrightness
   :: (MonadUnliftIO m, RealFrac b)
-  => BrightnessConfig m a b
+  => BrightnessConfig a b
   -> Client
   -> b
   -> m ()
@@ -169,7 +171,7 @@ callBacklight
   :: MonadUnliftIO m
   => XPQuery
   -> Maybe SesClient
-  -> BrightnessConfig m a b
+  -> BrightnessConfig a b
   -> T.Text
   -> MemberName
   -> Sometimes (m ())

lib/XMonad/Internal/DBus/Brightness/IntelBacklight.hs

@@ -45,22 +45,22 @@ maxFile = backlightDir </> "max_brightness"
 curFile :: FilePath
 curFile = backlightDir </> "brightness"
 
-getMaxRawBrightness :: MonadUnliftIO m => m RawBrightness
+getMaxRawBrightness :: IO RawBrightness
 getMaxRawBrightness = readInt maxFile
 
-getBrightness :: MonadUnliftIO m => RawBounds -> m Brightness
+getBrightness :: RawBounds -> IO Brightness
 getBrightness bounds = readPercent bounds curFile
 
-minBrightness :: MonadUnliftIO m => RawBounds -> m Brightness
+minBrightness :: RawBounds -> IO Brightness
 minBrightness bounds = writePercentMin bounds curFile
 
-maxBrightness :: MonadUnliftIO m => RawBounds -> m Brightness
+maxBrightness :: RawBounds -> IO Brightness
 maxBrightness bounds = writePercentMax bounds curFile
 
-incBrightness :: MonadUnliftIO m => RawBounds -> m Brightness
+incBrightness :: RawBounds -> IO Brightness
 incBrightness = incPercent steps curFile
 
-decBrightness :: MonadUnliftIO m => RawBounds -> m Brightness
+decBrightness :: RawBounds -> IO Brightness
 decBrightness = decPercent steps curFile
 
 --------------------------------------------------------------------------------
@@ -72,9 +72,7 @@ blPath = objectPath_ "/intelbacklight"
 interface :: InterfaceName
 interface = interfaceName_ "org.xmonad.Brightness"
 
-intelBacklightConfig
-  :: MonadUnliftIO m
-  => BrightnessConfig m RawBrightness Brightness
+intelBacklightConfig :: BrightnessConfig RawBrightness Brightness
 intelBacklightConfig =
   BrightnessConfig
     { bcMin = minBrightness
@@ -99,9 +97,7 @@ maxFileDep :: IODependency_
 maxFileDep = pathR maxFile []
 
 intelBacklightSignalDep :: DBusDependency_ SesClient
-intelBacklightSignalDep =
-  -- TODO do I need to get rid of the IO here?
-  signalDep (intelBacklightConfig :: BrightnessConfig IO RawBrightness Brightness)
+intelBacklightSignalDep = signalDep intelBacklightConfig
 
 exportIntelBacklight
   :: (MonadReader env m, HasLogFunc env, MonadUnliftIO m)