在 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)

相关内容