在 xmonad 中以字串形式取得目前工作區名稱

在 xmonad 中以字串形式取得目前工作區名稱

我想以字串形式取得 xmonad 中當前活動的標籤。我已經導入了堆疊集

import qualified XMonad.StackSet as W

我可以使用 取得目前聚焦的工作區的標籤W.currentTag,但它的類型是StackSet i0 l0 a0 s0 sd0 -> i0

我如何將其轉換為字串?

答案1

i屬於類型http://hackage.haskell.org/package/xmonad-0.15/docs/XMonad-Core.html#t:WindowSet這是 的型別別名String

currentTagString如果您給它一個與 相關的參數, 則會計算 為StackSet

http://hackage.haskell.org/package/xmonad-0.15/docs/XMonad-Core.html#v:withWindowSet是你可以使用的。

所以我認為你可以這樣做:withWindowSet (pure . currentTag)這是類型的表達式X String


它也可以在這裡找到:https://hackage.haskell.org/package/xmonad-contrib-0.15/docs/XMonad-Util-Loggers.html#v:logCurrent

import XMonad.Util.Loggers
logCurrent :: X (Maybe String)

相關內容