我想以字符串形式获取 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
。
currentTag
String
如果您给它一个与 相关的参数, 则会计算 为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)