
Ich möchte den aktuell aktiven Tag in xmonad als String erhalten. Ich habe das Stackset importiert mit
import qualified XMonad.StackSet as W
Ich kann das Tag des aktuell fokussierten Arbeitsbereichs mit abrufen W.currentTag
, aber sein Typ istStackSet i0 l0 a0 s0 sd0 -> i0
Wie konvertiere ich dies in eine Zeichenfolge?
Antwort1
i
ist vom Typhttp://hackage.haskell.org/package/xmonad-0.15/docs/XMonad-Core.html#t:WindowSetDies ist ein Typalias für String
.
currentTag
wird zu ausgewertet String
, wenn Sie ihm einen Parameter in Bezug auf geben StackSet
.
http://hackage.haskell.org/package/xmonad-0.15/docs/XMonad-Core.html#v:withWindowSetist das, was Sie gebrauchen könnten.
Ich denke also, Sie können Folgendes tun: withWindowSet (pure . currentTag)
Dies ist ein Ausdruck vom TypX String
Es ist auch hier verfügbar:https://hackage.haskell.org/package/xmonad-contrib-0.15/docs/XMonad-Util-Loggers.html#v:logCurrent
import XMonad.Util.Loggers
logCurrent :: X (Maybe String)